Edit Profile (opens in new tab) Haase, Christoph Co-Author Distance Author ID: haase.christoph Published as: Haase, Christoph Documents Indexed: 37 Publications since 2009, including 2 Additional arXiv Preprints 1 Contribution as Editor Co-Authors: 36 Co-Authors with 36 Joint Publications 815 Co-Co-Authors all top 5 Co-Authors 2 single-authored 9 Ouaknine, Joel O. 8 Blondin, Michael 7 Worrell, James B. 6 Göller, Stefan 5 Finkel, Alain 5 Kiefer, Stefan 4 Chistikov, Dmitry V. 3 Mansutti, Alessio 2 Haddad, Serge 2 Halfon, Simon 2 Lazić, Ranko 2 Lohrey, Markus 2 Mazowiecki, Filip 2 McKenzie, Pierre 2 Schmitz, Sylvain 2 Schnoebelen, Philippe 2 Totzke, Patrick 1 Antonopoulos, Timos 1 Bojańczyk, Mikołaj 1 Brihaye, Thomas 1 Bumpus, Georgina 1 Cook, Byron 1 Defossez, Rémy 1 Englert, Matthias 1 Gorogiannis, Nikos 1 Hofman, Piotr 1 Kanovich, Max Iosifovich 1 Kreutzer, Stephan 1 Lasota, Sławomir 1 Lehmann, Jens 1 Offtermatt, Philip 1 Parkinson, Matthew J. 1 Potapov, Igor 1 Raskin, Mikhail 1 Różycki, Jakub 1 Stoienescu, Paul-Ioan all top 5 Serials 2 Logical Methods in Computer Science 1 Information Processing Letters 1 Theoretical Computer Science 1 Information and Computation 1 Journal of the ACM 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic Fields 35 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 3 Operations research, mathematical programming (90-XX) 2 Probability theory and stochastic processes (60-XX) 1 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 31 Serials 13 Information and Computation 13 Logical Methods in Computer Science 7 Theoretical Computer Science 6 ACM Transactions on Computational Logic 3 International Journal of Foundations of Computer Science 2 Artificial Intelligence 2 Journal of Computer and System Sciences 2 Formal Methods in System Design 2 Theory of Computing Systems 2 Fundamenta Informaticae 1 Acta Informatica 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Fuzzy Sets and Systems 1 Journal of Algebra 1 The Journal of Symbolic Logic 1 Journal of Automated Reasoning 1 SIAM Journal on Discrete Mathematics 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Discrete Event Dynamic Systems 1 Mathematical Programming. Series A. Series B 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Machine Learning Research (JMLR) 1 Algorithms 1 RAIRO. Theoretical Informatics and Applications 1 ACM Transactions on Computation Theory 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 12 Fields 136 Computer science (68-XX) 54 Mathematical logic and foundations (03-XX) 8 Operations research, mathematical programming (90-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Combinatorics (05-XX) 7 Group theory and generalizations (20-XX) 3 Probability theory and stochastic processes (60-XX) 2 Number theory (11-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Systems theory; control (93-XX) Citations by Year