Travelled to:1 × Austria
1 × Estonia
1 × Russia
2 × France
2 × Japan
Collaborated with:J.Ouaknine S.Göller S.Kiefer ∅ J.Worrell S.Ishtiaq M.J.Parkinson M.Blondin A.Finkel P.McKenzie T.Antonopoulos N.Gorogiannis M.I.Kanovich
Talks about:parametr (2) automata (2) counter (2) separ (2) model (2) logic (2) check (2) one (2) hierarchi (1) dimension (1)
Person: Christoph Haase
DBLP: Haase:Christoph
Contributed to:
2015
2015
20142014
201320122010Wrote 7 papers:
- ICALP-v2-2015-HaaseK
- The Odds of Staying on Budget (CH, SK), pp. 234–246.
- LICS-2015-BlondinFGHM #2d #reachability
- Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete (MB, AF, SG, CH, PM), pp. 32–43.
- FoSSaCS-2014-AntonopoulosGHKO #induction #logic #problem
- Foundations for Decision Problems in Separation Logic with General Inductive Predicates (TA, NG, CH, MIK, JO), pp. 411–425.
- LICS-CSL-2014-Haase #subclass
- Subclasses of presburger arithmetic and the weak EXP hierarchy (CH), p. 10.
- CAV-2013-HaaseIOP #graph #logic #named #reasoning
- SeLoger: A Tool for Graph-Based Reasoning in Separation Logic (CH, SI, JO, MJP), pp. 790–795.
- FoSSaCS-2012-GollerHOW #automaton #model checking #parametricity
- Branching-Time Model Checking of Parametric One-Counter Automata (SG, CH, JO, JW), pp. 406–420.
- ICALP-v2-2010-GollerHOW #automaton #model checking #parametricity
- Model Checking Succinct and Parametric One-Counter Automata (SG, CH, JO, JW), pp. 575–586.