Christoph Haase : Publications
Book chapters
-
[1]
On Process−Algebraic Extensions of Metric Temporal Logic
Christoph Haase‚ Joël Ouaknine and James Worrell
In Reflections on the Work of C. A. R. Hoare.. Pages 283–300. Springer. 2010.
Details about On Process−Algebraic Extensions of Metric Temporal Logic | BibTeX data for On Process−Algebraic Extensions of Metric Temporal Logic | DOI (10.1007/978-1-84882-912-1\_13)
Journal papers
-
[1]
Context−free commutative grammars with integer counters and resets
Dmitry Chistikov‚ Christoph Haase and Simon Halfon
In Theor. Comput. Sci.. Vol. 735. Pages 147–161. 2018.
Details about Context−free commutative grammars with integer counters and resets | BibTeX data for Context−free commutative grammars with integer counters and resets | DOI (10.1016/j.tcs.2016.06.017)
-
[2]
A survival guide to Presburger arithmetic
Christoph Haase
In SIGLOG News. Vol. 5. No. 3. Pages 67–82. 2018.
Details about A survival guide to Presburger arithmetic | BibTeX data for A survival guide to Presburger arithmetic | DOI (10.1145/3242953.3242964)
-
[3]
The Logical View on Continuous Petri Nets
Michael Blondin‚ Alain Finkel‚ Christoph Haase and Serge Haddad
In ACM Trans. Comput. Log.. Vol. 18. No. 3. Pages 24:1–24:28. 2017.
Details about The Logical View on Continuous Petri Nets | BibTeX data for The Logical View on Continuous Petri Nets | DOI (10.1145/3105908)
-
[4]
Relating Reachability Problems in Timed and Counter Automata
Christoph Haase‚ Joël Ouaknine and James Worrell
In Fundam. Inform.. Vol. 143. No. 3−4. Pages 317–338. 2016.
Details about Relating Reachability Problems in Timed and Counter Automata | BibTeX data for Relating Reachability Problems in Timed and Counter Automata | DOI (10.3233/FI-2016-1316)
-
[5]
The complexity of the Kth largest subset problem and related problems
Christoph Haase and Stefan Kiefer
In Inf. Process. Lett.. Vol. 116. No. 2. Pages 111–115. 2016.
Details about The complexity of the Kth largest subset problem and related problems | BibTeX data for The complexity of the Kth largest subset problem and related problems | DOI (10.1016/j.ipl.2015.09.015)
-
[6]
The Power of Priority Channel Systems
Christoph Haase‚ Sylvain Schmitz and Philippe Schnoebelen
In Log. Methods Comput. Sci.. Vol. 10. No. 4. 2014.
Details about The Power of Priority Channel Systems | BibTeX data for The Power of Priority Channel Systems | DOI (10.2168/LMCS-10(4:4)2014)
Conference papers
-
[1]
Directed Reachability for Infinite−State Systems
Michael Blondin‚ Christoph Haase and Philip Offtermatt
In Tools and Algorithms for the Construction and Analysis of Systems‚ TACAS. Springer. 2021.
To appear
Details about Directed Reachability for Infinite−State Systems | BibTeX data for Directed Reachability for Infinite−State Systems
-
[2]
On the Expressiveness of Büchi Arithmetic
Christoph Haase and Jakub Różycki
In Foundations of Software Science and Computation Structures‚ FOSSACS. Springer. 2021.
To appear
Details about On the Expressiveness of Büchi Arithmetic | BibTeX data for On the Expressiveness of Büchi Arithmetic
-
[3]
Approaching Arithmetic Theories with Finite−State Automata
Christoph Haase
In Language and Automata Theory and Applications‚ LATA. Vol. 12038 of Lect. Notes Comp. Sci.. Pages 1–11. Springer. 2020.
Details about Approaching Arithmetic Theories with Finite−State Automata | BibTeX data for Approaching Arithmetic Theories with Finite−State Automata | DOI (10.1007/978-3-030-40608-0_3)
-
[4]
On the power of ordering in linear arithmetic theories
Dmitry Chistikov and Christoph Haase
In Automata‚ Languages‚ and Programming‚ ICALP. Vol. 168 of LIPIcs. Pages 119:1–119:15. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2020.
Details about On the power of ordering in linear arithmetic theories | BibTeX data for On the power of ordering in linear arithmetic theories | DOI (10.4230/LIPIcs.ICALP.2020.119)
-
[5]
On the Size of Finite Rational Matrix Semigroups
Georgina Bumpus‚ Christoph Haase‚ Stefan Kiefer‚ Paul−Ioan Stoienescu and Jonathan Tanner
In Automata‚ Languages‚ and Programming‚ ICALP. Vol. 168 of LIPIcs. Pages 115:1–115:13. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2020.
Details about On the Size of Finite Rational Matrix Semigroups | BibTeX data for On the Size of Finite Rational Matrix Semigroups | DOI (10.4230/LIPIcs.ICALP.2020.115)
-
[6]
On the Existential Theories of Büchi Arithmetic and Linear p−adic Fields
Florent Guépin‚ Christoph Haase and James Worrell
In Logic in Computer Science‚ LICS. IEEE. 2019.
Details about On the Existential Theories of Büchi Arithmetic and Linear p−adic Fields | BibTeX data for On the Existential Theories of Büchi Arithmetic and Linear p−adic Fields | DOI (10.1109/LICS.2019.8785681)
-
[7]
Presburger arithmetic with stars‚ rational subsets of graph groups‚ and nested zero tests
Christoph Haase and Georg Zetzsche
In Logic in Computer Science‚ LICS. IEEE. 2019.
Details about Presburger arithmetic with stars‚ rational subsets of graph groups‚ and nested zero tests | BibTeX data for Presburger arithmetic with stars‚ rational subsets of graph groups‚ and nested zero tests | DOI (10.1109/LICS.2019.8785850)
-
[8]
Affine Extensions of Integer Vector Addition Systems with States
Michael Blondin‚ Christoph Haase and Filip Mazowiecki
In Concurrency Theory‚ CONCUR. Vol. 118 of LIPIcs. Pages 14:1–14:17. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2018.
Details about Affine Extensions of Integer Vector Addition Systems with States | BibTeX data for Affine Extensions of Integer Vector Addition Systems with States | DOI (10.4230/LIPIcs.CONCUR.2018.14)
-
[9]
Counting Problems for Parikh Images
Christoph Haase‚ Stefan Kiefer and Markus Lohrey
In Mathematical Foundations of Computer Science‚ MFCS. Vol. 83 of LIPIcs. Pages 12:1–12:13. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2017.
Details about Counting Problems for Parikh Images | BibTeX data for Counting Problems for Parikh Images | DOI (10.4230/LIPIcs.MFCS.2017.12)
-
[10]
Logics for continuous reachability in Petri nets and vector addition systems with states
Michael Blondin and Christoph Haase
In Logic in Computer Science‚ LICS. IEEE. 2017.
Details about Logics for continuous reachability in Petri nets and vector addition systems with states | BibTeX data for Logics for continuous reachability in Petri nets and vector addition systems with states | DOI (10.1109/LICS.2017.8005068)
-
[11]
Computing quantiles in Markov chains with multi−dimensional costs
Christoph Haase‚ Stefan Kiefer and Markus Lohrey
In Logic in Computer Science‚ LICS. IEEE. 2017.
Details about Computing quantiles in Markov chains with multi−dimensional costs | BibTeX data for Computing quantiles in Markov chains with multi−dimensional costs | DOI (10.1109/LICS.2017.8005090)
-
[12]
On the Complexity of Quantified Integer Programming
Dmitry Chistikov and Christoph Haase
In Automata‚ Languages‚ and Programming‚ ICALP. Vol. 80 of LIPIcs. Pages 94:1–94:13. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2017.
Details about On the Complexity of Quantified Integer Programming | BibTeX data for On the Complexity of Quantified Integer Programming | DOI (10.4230/LIPIcs.ICALP.2017.94)
-
[13]
A Polynomial−Time Algorithm for Reachability in Branching VASS in Dimension One
Stefan Göller‚ Christoph Haase‚ Ranko Lazic and Patrick Totzke
In Automata‚ Languages‚ and Programming‚ ICALP. Vol. 55 of LIPIcs. Pages 105:1–105:13. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2016.
Details about A Polynomial−Time Algorithm for Reachability in Branching VASS in Dimension One | BibTeX data for A Polynomial−Time Algorithm for Reachability in Branching VASS in Dimension One | DOI (10.4230/LIPIcs.ICALP.2016.105)
-
[14]
Approaching the Coverability Problem Continuously
Michael Blondin‚ Alain Finkel‚ Christoph Haase and Serge Haddad
In Tools and Algorithms for the Construction and Analysis of Systems‚ TACAS. Vol. 9636 of Lect. Notes Comp. Sci.. Pages 480–496. Springer. 2016.
Details about Approaching the Coverability Problem Continuously | BibTeX data for Approaching the Coverability Problem Continuously | DOI (10.1007/978-3-662-49674-9\_28)
-
[15]
Tightening the Complexity of Equivalence Problems for Commutative Grammars
Christoph Haase and Piotr Hofman
In Symposium on Theoretical Aspects of Computer Science‚ STACS. Vol. 47 of LIPIcs. Pages 41:1–41:14. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2016.
Details about Tightening the Complexity of Equivalence Problems for Commutative Grammars | BibTeX data for Tightening the Complexity of Equivalence Problems for Commutative Grammars | DOI (10.4230/LIPIcs.STACS.2016.41)
-
[16]
The Taming of the Semi−Linear Set
Dmitry Chistikov and Christoph Haase
In Automata‚ Languages‚ and Programming‚ ICALP. Vol. 55 of LIPIcs. Pages 128:1–128:13. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2016.
Details about The Taming of the Semi−Linear Set | BibTeX data for The Taming of the Semi−Linear Set | DOI (10.4230/LIPIcs.ICALP.2016.128)
-
[17]
Reachability in Two−Dimensional Vector Addition Systems with States Is PSPACE−Complete
Michael Blondin‚ Alain Finkel‚ Stefan Göller‚ Christoph Haase and Pierre McKenzie
In Logic in Computer Science‚ LICS. Pages 32–43. IEEE. 2015.
Details about Reachability in Two−Dimensional Vector Addition Systems with States Is PSPACE−Complete | BibTeX data for Reachability in Two−Dimensional Vector Addition Systems with States Is PSPACE−Complete | DOI (10.1109/LICS.2015.14)
-
[18]
The Odds of Staying on Budget
Christoph Haase and Stefan Kiefer
In Automata‚ Languages‚ and Programming‚ ICALP. Vol. 9135 of Lect. Notes Comp. Sci.. Pages 234–246. Springer. 2015.
Details about The Odds of Staying on Budget | BibTeX data for The Odds of Staying on Budget | DOI (10.1007/978-3-662-47666-6\_19)
-
[19]
Integer Vector Addition Systems with States
Christoph Haase and Simon Halfon
In Reachability Problems‚ RP. Vol. 8762 of Lect. Notes Comp. Sci.. Pages 112–124. Springer. 2014.
Details about Integer Vector Addition Systems with States | BibTeX data for Integer Vector Addition Systems with States | DOI (10.1007/978-3-319-11439-2\_9)
-
[20]
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Timos Antonopoulos‚ Nikos Gorogiannis‚ Christoph Haase‚ Max I. Kanovich and Joël Ouaknine
In Foundations of Software Science and Computation Structures‚ FOSSACS. Vol. 8412 of Lect. Notes Comp. Sci.. Pages 411–425. Springer. 2014.
Details about Foundations for Decision Problems in Separation Logic with General Inductive Predicates | BibTeX data for Foundations for Decision Problems in Separation Logic with General Inductive Predicates | DOI (10.1007/978-3-642-54830-7\_27)
-
[21]
Subclasses of Presburger arithmetic and the weak EXP hierarchy
Christoph Haase
In Computer Science Logic and Logic in Computer Science‚ CSL−LICS. Pages 47:1–47:10. ACM. 2014.
Details about Subclasses of Presburger arithmetic and the weak EXP hierarchy | BibTeX data for Subclasses of Presburger arithmetic and the weak EXP hierarchy | DOI (10.1145/2603088.2603092)
-
[22]
Reachability in Register Machines with Polynomial Updates
Alain Finkel‚ Stefan Göller and Christoph Haase
In Mathematical Foundations of Computer Science‚ MFCS. Vol. 8087 of Lect. Notes Comp. Sci.. Pages 409–420. Springer. 2013.
Details about Reachability in Register Machines with Polynomial Updates | BibTeX data for Reachability in Register Machines with Polynomial Updates | DOI (10.1007/978-3-642-40313-2\_37)
-
[23]
The Power of Priority Channel Systems
Christoph Haase‚ Sylvain Schmitz and Philippe Schnoebelen
In Concurrency Theory‚ CONCUR. Vol. 8052 of Lect. Notes Comp. Sci.. Pages 319–333. Springer. 2013.
Details about The Power of Priority Channel Systems | BibTeX data for The Power of Priority Channel Systems | DOI (10.1007/978-3-642-40184-8\_23)
-
[24]
SeLoger: A Tool for Graph−Based Reasoning in Separation Logic
Christoph Haase‚ Samin Ishtiaq‚ Joël Ouaknine and Matthew J. Parkinson
In Computer Aided Verification‚ CAV. Vol. 8044 of Lect. Notes Comp. Sci.. Pages 790–795. Springer. 2013.
Details about SeLoger: A Tool for Graph−Based Reasoning in Separation Logic | BibTeX data for SeLoger: A Tool for Graph−Based Reasoning in Separation Logic | DOI (10.1007/978-3-642-39799-8\_55)
-
[25]
On the Relationship between Reachability Problems in Timed and Counter Automata
Christoph Haase‚ Joël Ouaknine and James Worrell
In Reachability Problems‚ RP. Vol. 7550 of Lect. Notes Comp. Sci.. Pages 54–65. Springer. 2012.
Details about On the Relationship between Reachability Problems in Timed and Counter Automata | BibTeX data for On the Relationship between Reachability Problems in Timed and Counter Automata | DOI (10.1007/978-3-642-33512-9\_6)
-
[26]
Branching−Time Model Checking of Parametric One−Counter Automata
Stefan Göller‚ Christoph Haase‚ Joël Ouaknine and James Worrell
In Foundations of Software Science and Computational Structures‚ FOSSACS. Vol. 7213 of Lect. Notes Comp. Sci.. Pages 406–420. Springer. 2012.
Details about Branching−Time Model Checking of Parametric One−Counter Automata | BibTeX data for Branching−Time Model Checking of Parametric One−Counter Automata | DOI (10.1007/978-3-642-28729-9\_27)
-
[27]
Tractable Reasoning in a Fragment of Separation Logic
Byron Cook‚ Christoph Haase‚ Joël Ouaknine‚ Matthew J. Parkinson and James Worrell
In Concurrency Theory‚ CONCUR. Vol. 6901 of Lect. Notes Comp. Sci.. Pages 235–249. Springer. 2011.
Details about Tractable Reasoning in a Fragment of Separation Logic | BibTeX data for Tractable Reasoning in a Fragment of Separation Logic | DOI (10.1007/978-3-642-23217-6\_16)
-
[28]
Model Checking Succinct and Parametric One−Counter Automata
Stefan Göller‚ Christoph Haase‚ Joël Ouaknine and James Worrell
In Automata‚ Languages and Programming‚ ICALP. Vol. 6199 of Lect. Notes Comp. Sci.. Pages 575–586. Springer. 2010.
Details about Model Checking Succinct and Parametric One−Counter Automata | BibTeX data for Model Checking Succinct and Parametric One−Counter Automata | DOI (10.1007/978-3-642-14162-1\_48)
-
[29]
Ideal Downward Refinement in the EL Description Logic
Jens Lehmann and Christoph Haase
In Inductive Logic Programming‚ ILP. Vol. 5989 of Lect. Notes Comp. Sci.. Pages 73–87. Springer. 2009.
Details about Ideal Downward Refinement in the EL Description Logic | BibTeX data for Ideal Downward Refinement in the EL Description Logic | DOI (10.1007/978-3-642-13840-9\_8) | Link to Ideal Downward Refinement in the EL Description Logic
-
[30]
Reachability in Succinct and Parametric One−Counter Automata
Christoph Haase‚ Stephan Kreutzer‚ Joël Ouaknine and James Worrell
In Concurrency Theory‚ CONCUR. Vol. 5710 of Lect. Notes Comp. Sci.. Pages 369–383. Springer. 2009.
Details about Reachability in Succinct and Parametric One−Counter Automata | BibTeX data for Reachability in Succinct and Parametric One−Counter Automata | DOI (10.1007/978-3-642-04081-8\_25)
-
[31]
Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
Christoph Haase and Carsten Lutz
In European Conference on Artificial Intelligence‚ ECAI. Vol. 178 of Frontiers in Artificial Intelligence and Applications. Pages 25–29. IOS Press. 2008.
Details about Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes | BibTeX data for Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes | DOI (10.3233/978-1-58603-891-5-25)