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: Fritz:Christian
Contributed to:
2015
2014
20082006Wrote 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.
- KR-2006-BienvenuFM
- Planning with Qualitative Temporal Preferences (MB, CF, SAM), pp. 134–144.
- KR-2006-FritzM
- Decision-Theoretic GOLOG with Qualitative Preferences (CF, SAM), pp. 153–163.