Edit Profile Haase, Christoph Compute Distance To: Compute Author ID: haase.christoph Published as: Haase, Christoph Documents Indexed: 28 Publications since 2009 all top 5 Co-Authors 2 single-authored 8 Ouaknine, Joel O. 7 Worrell, James B. 5 Göller, Stefan 4 Blondin, Michael 4 Finkel, Alain 4 Kiefer, Stefan 3 Chistikov, Dmitry V. 2 Haddad, Serge 2 Halfon, Simon 2 Lohrey, Markus 2 Schmitz, Sylvain 2 Schnoebelen, Philippe 1 Antonopoulos, Timos 1 Cook, Byron 1 Gorogiannis, Nikos 1 Hofman, Piotr 1 Kanovich, Max Iosifovich 1 Kreutzer, Stephan 1 Lazić, Ranko 1 Lehmann, Jens 1 McKenzie, Pierre 1 Parkinson, Matthew J. 1 Totzke, Patrick Serials 1 Information Processing Letters 1 Theoretical Computer Science 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science Fields 27 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 3 Operations research, mathematical programming (90-XX) 2 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications 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.03017Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James 12 2011 Reachability in succinct and parametric one-counter automata. Zbl 1254.68134Haase, Christoph; Kreutzer, Stephan; Ouaknine, Joël; Worrell, James 11 2009 The power of priority channel systems. Zbl 1448.68341Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe 8 2014 Reachability in two-dimensional vector addition systems with states is PSPACE-complete. Zbl 1401.68095Blondin, Michael; Finkel, Alain; Goller, Stefan; Haase, Christoph; McKenzie, Pierre 7 2015 Foundations for decision problems in separation logic with general inductive predicates. Zbl 1406.03046Antonopoulos, Timos; Gorogiannis, Nikos; Haase, Christoph; Kanovich, Max; Ouaknine, Joël 7 2014 Tightening the complexity of equivalence problems for commutative grammars. Zbl 1388.68154Haase, Christoph; Hofman, Piotr 6 2016 The odds of staying on budget. Zbl 1440.68119Haase, Christoph; Kiefer, Stefan 5 2015 Integer vector addition systems with states. Zbl 1393.68115Haase, Christoph; Halfon, Simon 5 2014 Subclasses of Presburger arithmetic and the weak EXP hierarchy. Zbl 1394.68153Haase, Christoph 4 2014 Branching-time model checking of parametric one-counter automata. Zbl 1352.68153Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James 4 2012 Model checking succinct and parametric one-counter automata. Zbl 1288.68164Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James 4 2010 The taming of the semi-linear set. Zbl 1388.68190Chistikov, Dmitry; Haase, Christoph 3 2016 The complexity of the \(K\)th largest subset problem and related problems. Zbl 1346.68110Haase, Christoph; Kiefer, Stefan 3 2016 Reachability in register machines with polynomial updates. Zbl 1398.68160Finkel, Alain; Göller, Stefan; Haase, Christoph 2 2013 On the relationship between reachability problems in timed and counter automata. Zbl 1328.68112Haase, Christoph; Ouaknine, Joël; Worrell, James 2 2012 Ideal downward refinement in the \(\mathcal{EL}\) description logic. Zbl 1286.68418Lehmann, Jens; Haase, Christoph 2 2010 Tightening the complexity of equivalence problems for commutative grammars. Zbl 1388.68154Haase, Christoph; Hofman, Piotr 6 2016 The taming of the semi-linear set. Zbl 1388.68190Chistikov, Dmitry; Haase, Christoph 3 2016 The complexity of the \(K\)th largest subset problem and related problems. Zbl 1346.68110Haase, Christoph; Kiefer, Stefan 3 2016 Reachability in two-dimensional vector addition systems with states is PSPACE-complete. Zbl 1401.68095Blondin, Michael; Finkel, Alain; Goller, Stefan; Haase, Christoph; McKenzie, Pierre 7 2015 The odds of staying on budget. Zbl 1440.68119Haase, Christoph; Kiefer, Stefan 5 2015 The power of priority channel systems. Zbl 1448.68341Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe 8 2014 Foundations for decision problems in separation logic with general inductive predicates. Zbl 1406.03046Antonopoulos, Timos; Gorogiannis, Nikos; Haase, Christoph; Kanovich, Max; Ouaknine, Joël 7 2014 Integer vector addition systems with states. Zbl 1393.68115Haase, Christoph; Halfon, Simon 5 2014 Subclasses of Presburger arithmetic and the weak EXP hierarchy. Zbl 1394.68153Haase, Christoph 4 2014 Reachability in register machines with polynomial updates. Zbl 1398.68160Finkel, Alain; Göller, Stefan; Haase, Christoph 2 2013 Branching-time model checking of parametric one-counter automata. Zbl 1352.68153Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James 4 2012 On the relationship between reachability problems in timed and counter automata. Zbl 1328.68112Haase, Christoph; Ouaknine, Joël; Worrell, James 2 2012 Tractable reasoning in a fragment of separation logic. Zbl 1300.03017Cook, Byron; Haase, Christoph; Ouaknine, Joël; Parkinson, Matthew; Worrell, James 12 2011 Model checking succinct and parametric one-counter automata. Zbl 1288.68164Göller, Stefan; Haase, Christoph; Ouaknine, Joël; Worrell, James 4 2010 Ideal downward refinement in the \(\mathcal{EL}\) description logic. Zbl 1286.68418Lehmann, Jens; Haase, Christoph 2 2010 Reachability in succinct and parametric one-counter automata. Zbl 1254.68134Haase, Christoph; Kreutzer, Stephan; Ouaknine, Joël; Worrell, James 11 2009 all cited Publications top 5 cited Publications 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 all top 5 Cited in 17 Serials 8 Information and Computation 6 Theoretical Computer Science 6 Logical Methods in Computer Science 3 ACM Transactions on Computational Logic 2 Journal of Computer and System Sciences 2 Formal Methods in System Design 1 The Journal of Symbolic Logic 1 SIAM Journal on Discrete Mathematics 1 Formal Aspects of Computing 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Theory of Computing Systems 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 9 Fields 54 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 4 Combinatorics (05-XX) 3 Operations research, mathematical programming (90-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year