×
Author ID: haase.christoph Recent zbMATH articles by "Haase, Christoph"
Published as: Haase, Christoph

Publications by Year

Citations contained in zbMATH Open

30 Publications have been cited 237 times in 148 Documents Cited by Year
Reachability in succinct and parametric one-counter automata. Zbl 1254.68134
Haase, Christoph; Kreutzer, Stephan; Ouaknine, Joël; Worrell, James
22
2009
Tractable reasoning in a fragment of separation logic. Zbl 1300.03017
Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James
22
2011
Reachability in two-dimensional vector addition systems with states is PSPACE-complete. Zbl 1401.68095
Blondin, Michael; Finkel, Alain; Goller, Stefan; Haase, Christoph; McKenzie, Pierre
18
2015
Integer vector addition systems with states. Zbl 1393.68115
Haase, Christoph; Halfon, Simon
17
2014
Foundations for decision problems in separation logic with general inductive predicates. Zbl 1406.03046
Antonopoulos, Timos; Gorogiannis, Nikos; Haase, Christoph; Kanovich, Max; Ouaknine, Joël
16
2014
The power of priority channel systems. Zbl 1448.68341
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
13
2014
The taming of the semi-linear set. Zbl 1388.68190
Chistikov, Dmitry; Haase, Christoph
13
2016
The odds of staying on budget. Zbl 1440.68119
Haase, Christoph; Kiefer, Stefan
11
2015
Affine extensions of integer vector addition systems with states. Zbl 1520.68088
Blondin, Michael; Haase, Christoph; Mazowiecki, Filip
10
2018
Subclasses of Presburger arithmetic and the weak EXP hierarchy. Zbl 1394.68153
Haase, Christoph
9
2014
Reachability in register machines with polynomial updates. Zbl 1398.68160
Finkel, Alain; Göller, Stefan; Haase, Christoph
9
2013
Model checking succinct and parametric one-counter automata. Zbl 1288.68164
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
9
2010
The logical view on continuous Petri nets. Zbl 1407.68329
Blondin, Michael; Finkel, Alain; Haase, Christoph; Haddad, Serge
8
2017
Approaching the coverability problem continuously. Zbl 1420.68144
Blondin, Michael; Finkel, Alain; Haase, Christoph; Haddad, Serge
8
2016
Logics for continuous reachability in Petri nets and vector addition systems with states. Zbl 1457.68178
Blondin, Michael; Haase, Christoph
7
2017
Tightening the complexity of equivalence problems for commutative grammars. Zbl 1388.68154
Haase, Christoph; Hofman, Piotr
7
2016
The complexity of the \(K\)th largest subset problem and related problems. Zbl 1346.68110
Haase, Christoph; Kiefer, Stefan
6
2016
Branching-time model checking of parametric one-counter automata. Zbl 1352.68153
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
5
2012
Context-free commutative grammars with integer counters and resets. Zbl 1393.68087
Chistikov, Dmitry; Haase, Christoph; Halfon, Simon
5
2018
Ideal downward refinement in the \(\mathcal{EL}\) description logic. Zbl 1286.68418
Lehmann, Jens; Haase, Christoph
5
2010
On the relationship between reachability problems in timed and counter automata. Zbl 1328.68112
Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2012
On the complexity of quantified integer programming. Zbl 1442.68069
Chistikov, Dmitry; Haase, Christoph
2
2017
A polynomial-time algorithm for reachability in branching VASS in dimension one. Zbl 1388.68197
Göller, Stefan; Haase, Christoph; Lazic, Ranko; Totzke, Patrick
2
2016
On process-algebraic extensions of metric temporal logic. Zbl 1215.68150
Haase, Christoph; Ouaknine, Joël; Worrell, James
2
2010
Directed reachability for infinite-state systems. Zbl 1474.68202
Blondin, Michael; Haase, Christoph; Offtermatt, Philip
2
2021
The reachability problem for two-dimensional vector addition systems with states. Zbl 1499.68219
Blondin, Michael; Englert, Matthias; Finkel, Alain; Göller, Stefan; Haase, Christoph; Lazić, Ranko; Mckenzie, Pierre; Totzke, Patrick
1
2021
Computing quantiles in Markov chains with multi-dimensional costs. Zbl 1457.68112
Haase, Christoph; Kiefer, Stefan; Lohrey, Markus
1
2017
The power of priority channel systems. Zbl 1390.68471
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
1
2013
On the expressiveness of Büchi arithmetic. Zbl 07410431
Haase, Christoph; Różycki, Jakub
1
2021
Quantifier elimination for counting extensions of Presburger arithmetic. Zbl 07793031
Chistikov, Dmitry; Haase, Christoph; Mansutti, Alessio
1
2022
Quantifier elimination for counting extensions of Presburger arithmetic. Zbl 07793031
Chistikov, Dmitry; Haase, Christoph; Mansutti, Alessio
1
2022
Directed reachability for infinite-state systems. Zbl 1474.68202
Blondin, Michael; Haase, Christoph; Offtermatt, Philip
2
2021
The reachability problem for two-dimensional vector addition systems with states. Zbl 1499.68219
Blondin, Michael; Englert, Matthias; Finkel, Alain; Göller, Stefan; Haase, Christoph; Lazić, Ranko; Mckenzie, Pierre; Totzke, Patrick
1
2021
On the expressiveness of Büchi arithmetic. Zbl 07410431
Haase, Christoph; Różycki, Jakub
1
2021
Affine extensions of integer vector addition systems with states. Zbl 1520.68088
Blondin, Michael; Haase, Christoph; Mazowiecki, Filip
10
2018
Context-free commutative grammars with integer counters and resets. Zbl 1393.68087
Chistikov, Dmitry; Haase, Christoph; Halfon, Simon
5
2018
The logical view on continuous Petri nets. Zbl 1407.68329
Blondin, Michael; Finkel, Alain; Haase, Christoph; Haddad, Serge
8
2017
Logics for continuous reachability in Petri nets and vector addition systems with states. Zbl 1457.68178
Blondin, Michael; Haase, Christoph
7
2017
On the complexity of quantified integer programming. Zbl 1442.68069
Chistikov, Dmitry; Haase, Christoph
2
2017
Computing quantiles in Markov chains with multi-dimensional costs. Zbl 1457.68112
Haase, Christoph; Kiefer, Stefan; Lohrey, Markus
1
2017
The taming of the semi-linear set. Zbl 1388.68190
Chistikov, Dmitry; Haase, Christoph
13
2016
Approaching the coverability problem continuously. Zbl 1420.68144
Blondin, Michael; Finkel, Alain; Haase, Christoph; Haddad, Serge
8
2016
Tightening the complexity of equivalence problems for commutative grammars. Zbl 1388.68154
Haase, Christoph; Hofman, Piotr
7
2016
The complexity of the \(K\)th largest subset problem and related problems. Zbl 1346.68110
Haase, Christoph; Kiefer, Stefan
6
2016
A polynomial-time algorithm for reachability in branching VASS in dimension one. Zbl 1388.68197
Göller, Stefan; Haase, Christoph; Lazic, Ranko; Totzke, Patrick
2
2016
Reachability in two-dimensional vector addition systems with states is PSPACE-complete. Zbl 1401.68095
Blondin, Michael; Finkel, Alain; Goller, Stefan; Haase, Christoph; McKenzie, Pierre
18
2015
The odds of staying on budget. Zbl 1440.68119
Haase, Christoph; Kiefer, Stefan
11
2015
Integer vector addition systems with states. Zbl 1393.68115
Haase, Christoph; Halfon, Simon
17
2014
Foundations for decision problems in separation logic with general inductive predicates. Zbl 1406.03046
Antonopoulos, Timos; Gorogiannis, Nikos; Haase, Christoph; Kanovich, Max; Ouaknine, Joël
16
2014
The power of priority channel systems. Zbl 1448.68341
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
13
2014
Subclasses of Presburger arithmetic and the weak EXP hierarchy. Zbl 1394.68153
Haase, Christoph
9
2014
Reachability in register machines with polynomial updates. Zbl 1398.68160
Finkel, Alain; Göller, Stefan; Haase, Christoph
9
2013
The power of priority channel systems. Zbl 1390.68471
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
1
2013
Branching-time model checking of parametric one-counter automata. Zbl 1352.68153
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
5
2012
On the relationship between reachability problems in timed and counter automata. Zbl 1328.68112
Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2012
Tractable reasoning in a fragment of separation logic. Zbl 1300.03017
Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James
22
2011
Model checking succinct and parametric one-counter automata. Zbl 1288.68164
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
9
2010
Ideal downward refinement in the \(\mathcal{EL}\) description logic. Zbl 1286.68418
Lehmann, Jens; Haase, Christoph
5
2010
On process-algebraic extensions of metric temporal logic. Zbl 1215.68150
Haase, Christoph; Ouaknine, Joël; Worrell, James
2
2010
Reachability in succinct and parametric one-counter automata. Zbl 1254.68134
Haase, Christoph; Kreutzer, Stephan; Ouaknine, Joël; Worrell, James
22
2009
all top 5

Cited by 261 Authors

11 Demri, Stéphane P.
9 Blondin, Michael
8 Haase, Christoph
8 Mazowiecki, Filip
7 Esparza, Javier
5 Leroux, Jérôme
5 Niskanen, Reino
5 Potapov, Igor
5 Randour, Mickael
5 Sangnier, Arnaud
5 Worrell, James B.
4 Almagor, Shaull
4 Hofman, Piotr
4 Köcher, Chris
4 Lasota, Sławomir
4 Ouaknine, Joel O.
4 Raskin, Mikhail
4 Schmitz, Sylvain
4 Sutre, Grégoire
4 Wu, Zhilin
3 Czerwiński, Wojciech
3 Deters, Morgan
3 Dhar, Amit Kumar
3 Finkel, Alain
3 Haddad, Serge
3 Halava, Vesa
3 Henzinger, Thomas A.
3 Iosif, Radu
3 Kiefer, Stefan
3 Kuske, Dietrich
3 Markey, Nicolas
3 Matheja, Christoph
3 Offtermatt, Philip
3 Pérez, Guillermo A.
3 Schnoebelen, Philippe
3 Totzke, Patrick
3 Welzel, Christoph
3 Wolter, Frank
3 Zetzsche, Georg
3 Zuleger, Florian
2 Baier, Christel
2 Boker, Udi
2 Bollig, Benedikt
2 Bouyer, Patricia
2 Brihaye, Thomas
2 Chatterjee, Krishnendu
2 Chen, Taolue
2 Delgrange, Florent
2 Echenim, Mnacho
2 Fernau, Henning
2 Halfon, Simon
2 Harju, Tero
2 Hélouët, Loïc
2 Hoffmann, Stefan
2 Jaax, Stefan
2 Jančar, Petr
2 Jung, Jean Christoph
2 Karandikar, Prateek
2 Khmelnitsky, Igor
2 Kimura, Daisuke
2 Krebs, Andreas
2 Krishna, Shankara Narayanan
2 Lazić, Ranko
2 Löding, Christof
2 Lohrey, Markus
2 Lozes, Etienne
2 Lutz, Carsten
2 Madnani, Khushraj
2 Mansutti, Alessio
2 Noll, Thomas
2 Otop, Jan
2 Oualhadj, Youssouf
2 Ozaki, Ana
2 Pagel, Jens
2 Pandya, Paritosh K.
2 Peltier, Nicolas
2 Praveen, M.
2 Quaas, Karin
2 Raha, Ritam
2 Raskin, Jean-François
2 Różycki, Jakub
2 Shirmohammadi, Mahsa
2 Tatsuta, Makoto
1 Alechina, Natasha
1 Alhazov, Artiom
1 Amat, Nicolas
1 Anderson, Daniel M.
1 Artale, Alessandro
1 Avni, Guy
1 Bao, Yuyan
1 Batz, Kevin
1 Baumann, Pascal
1 Beier, Simon
1 Belardinelli, Francesco
1 Belingheri, Omar
1 Bérard, Béatrice
1 Berthomieu, Bernard
1 Böhm, Stanislav
1 Boiret, Adrien
1 Bozga, Marius
...and 161 more Authors

Citations by Year