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 × 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 DBLP: Haase:Christoph

Contributed to:

ICALP (2) 20152015
LICS 20152015
FoSSaCS 20142014
CSL-LICS 20142014
CAV 20132013
FOSSACS 20122012
ICALP (2) 20102010

Wrote 7 papers:

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.

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.