BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Sweden
1 × United Kingdom
Collaborated with:
S.A.McIlraith J.A.Baier M.Bienvenu S.Nelaturi G.Burton T.Kurtoglu S.Arzt S.Rasthofer E.Bodden A.Bartel J.Klein Y.L.Traon D.Octeau P.McDaniel
Talks about:
golog (3) plan (3) qualit (2) prefer (2) flow (2) con (2) lifecycl (1) theoret (1) spatial (1) context (1)

Person: Christian Fritz

DBLP DBLP: Fritz:Christian

Contributed to:

CASE 20152015
PLDI 20142014
KR 20082008
KR 20062006

Wrote 5 papers:

CASE-2015-NelaturiB0K #automation
Automatic spatial planning for machining operations (SN, GB, CF, TK), pp. 677–682.
PLDI-2014-ArztRFBBKTOM #analysis #android #named #precise
FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps (SA, SR, CF, EB, AB, JK, YLT, DO, PM), p. 29.
KR-2008-FritzBM #compilation
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond (CF, JAB, SAM), pp. 600–610.
Planning with Qualitative Temporal Preferences (MB, CF, SAM), pp. 134–144.
Decision-Theoretic GOLOG with Qualitative Preferences (CF, SAM), pp. 153–163.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.