×

zbMATH — the first resource for mathematics

Haase, Christoph

Compute Distance To:
Author ID: haase.christoph Recent zbMATH articles by "Haase, Christoph"
Published as: Haase, Christoph
Documents Indexed: 28 Publications since 2009

Publications by Year

Citations contained in zbMATH

16 Publications have been cited 85 times in 59 Documents Cited by Year
Tractable reasoning in a fragment of separation logic. Zbl 1300.03017
Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James
12
2011
Reachability in succinct and parametric one-counter automata. Zbl 1254.68134
Haase, Christoph; Kreutzer, Stephan; Ouaknine, Joël; Worrell, James
11
2009
The power of priority channel systems. Zbl 1448.68341
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
8
2014
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
7
2015
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
7
2014
Tightening the complexity of equivalence problems for commutative grammars. Zbl 1388.68154
Haase, Christoph; Hofman, Piotr
6
2016
The odds of staying on budget. Zbl 1440.68119
Haase, Christoph; Kiefer, Stefan
5
2015
Integer vector addition systems with states. Zbl 1393.68115
Haase, Christoph; Halfon, Simon
5
2014
Subclasses of Presburger arithmetic and the weak EXP hierarchy. Zbl 1394.68153
Haase, Christoph
4
2014
Branching-time model checking of parametric one-counter automata. Zbl 1352.68153
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2012
Model checking succinct and parametric one-counter automata. Zbl 1288.68164
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2010
The taming of the semi-linear set. Zbl 1388.68190
Chistikov, Dmitry; Haase, Christoph
3
2016
The complexity of the \(K\)th largest subset problem and related problems. Zbl 1346.68110
Haase, Christoph; Kiefer, Stefan
3
2016
Reachability in register machines with polynomial updates. Zbl 1398.68160
Finkel, Alain; Göller, Stefan; Haase, Christoph
2
2013
On the relationship between reachability problems in timed and counter automata. Zbl 1328.68112
Haase, Christoph; Ouaknine, Joël; Worrell, James
2
2012
Ideal downward refinement in the \(\mathcal{EL}\) description logic. Zbl 1286.68418
Lehmann, Jens; Haase, Christoph
2
2010
Tightening the complexity of equivalence problems for commutative grammars. Zbl 1388.68154
Haase, Christoph; Hofman, Piotr
6
2016
The taming of the semi-linear set. Zbl 1388.68190
Chistikov, Dmitry; Haase, Christoph
3
2016
The complexity of the \(K\)th largest subset problem and related problems. Zbl 1346.68110
Haase, Christoph; Kiefer, Stefan
3
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
7
2015
The odds of staying on budget. Zbl 1440.68119
Haase, Christoph; Kiefer, Stefan
5
2015
The power of priority channel systems. Zbl 1448.68341
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe
8
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
7
2014
Integer vector addition systems with states. Zbl 1393.68115
Haase, Christoph; Halfon, Simon
5
2014
Subclasses of Presburger arithmetic and the weak EXP hierarchy. Zbl 1394.68153
Haase, Christoph
4
2014
Reachability in register machines with polynomial updates. Zbl 1398.68160
Finkel, Alain; Göller, Stefan; Haase, Christoph
2
2013
Branching-time model checking of parametric one-counter automata. Zbl 1352.68153
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2012
On the relationship between reachability problems in timed and counter automata. Zbl 1328.68112
Haase, Christoph; Ouaknine, Joël; Worrell, James
2
2012
Tractable reasoning in a fragment of separation logic. Zbl 1300.03017
Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James
12
2011
Model checking succinct and parametric one-counter automata. Zbl 1288.68164
Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James
4
2010
Ideal downward refinement in the \(\mathcal{EL}\) description logic. Zbl 1286.68418
Lehmann, Jens; Haase, Christoph
2
2010
Reachability in succinct and parametric one-counter automata. Zbl 1254.68134
Haase, Christoph; Kreutzer, Stephan; Ouaknine, Joël; Worrell, James
11
2009
all top 5

Cited by 131 Authors

9 Demri, Stéphane P.
4 Haase, Christoph
4 Sangnier, Arnaud
3 Deters, Morgan
3 Ouaknine, Joel O.
3 Randour, Mickael
3 Schnoebelen, Philippe
2 Bollig, Benedikt
2 Chen, Taolue
2 Dhar, Amit Kumar
2 Fernau, Henning
2 Halfon, Simon
2 Henzinger, Thomas A.
2 Karandikar, Prateek
2 Kiefer, Stefan
2 Köcher, Chris
2 Krebs, Andreas
2 Kuske, Dietrich
2 Leroux, Jérôme
2 Lozes, Etienne
2 Praveen, M.
2 Quaas, Karin
2 Raskin, Jean-François
2 Schmitz, Sylvain
2 Sutre, Grégoire
2 Totzke, Patrick
2 Worrell, James B.
2 Wu, Zhilin
1 Alechina, Natasha
1 Alhazov, Artiom
1 Avni, Guy
1 Bao, Yuyan
1 Belingheri, Omar
1 Böhm, Stanislav
1 Boiret, Adrien
1 Boker, Udi
1 Bouyer, Patricia
1 Brihaye, Thomas
1 Brochenin, Rémi
1 Brotherston, James
1 Brunet, Paul
1 Bruyère, Véronique
1 Bulling, Nils
1 Bundala, Daniel
1 Chambart, Pierre
1 Chatterjee, Krishnendu
1 Chistikov, Dmitry V.
1 Chonev, Ventsislav
1 Confalonieri, Roberto
1 Cook, Byron
1 Czajka, Łukasz
1 Czerwiński, Wojciech
1 Decker, Normann
1 Delgrange, Florent
1 Dongol, Brijesh
1 Dräger, Klaus
1 Enea, Constantin
1 Eppe, Manfred
1 Ernst, Gidon
1 Fearnley, John
1 Filiot, Emmanuel
1 Finkel, Alain
1 Fraigniaud, Pierre
1 Freund, Rudolf
1 Galmiche, Didier
1 Göller, Stefan
1 Gorogiannis, Nikos
1 Goubault-Larrecq, Jean
1 Gu, Xincai
1 Hierons, Robert Mark
1 Hofman, Piotr
1 Hugot, Vincent
1 Ivanov, Sergiu
1 Jančar, Petr
1 Jansen, Christina
1 Jugé, Vincent
1 Jurdziński, Marcin
1 Katelaan, Jens
1 Konev, Boris
1 Kumar, K. Narayan
1 Kupferman, Orna
1 Kutz, Oliver
1 Kuznetsov, Petr
1 Larchey-Wendling, Dominique
1 Lasota, Sławomir
1 Leavens, Gary T.
1 Lechner, Antonia
1 Lengál, Ondřej
1 Logan, Brian
1 Lohrey, Markus
1 Lugiez, Denis
1 Lutz, Carsten
1 Matheja, Christoph
1 Mayr, Richard M.
1 Méry, Daniel
1 Michaliszyn, Jakub
1 Nguyen, Danny
1 Niehren, Joachim
1 Niewerth, Matthias
1 Niskanen, Reino
...and 31 more Authors

Citations by Year