Christoph Haase
Orcid: 0000-0002-5452-936XAffiliations:
- University of Oxford, UK
According to our database1,
Christoph Haase
authored at least 55 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024
Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, 2024
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024
Proceedings of the Foundations of Software Science and Computation Structures, 2024
2023
On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract).
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the 34th International Conference on Concurrency Theory, 2023
2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022
Proceedings of the Foundations of Software Science and Computation Structures, 2022
2021
Log. Methods Comput. Sci., 2021
J. ACM, 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Proceedings of the Foundations of Software Science and Computation Structures, 2021
2020
Proceedings of the Language and Automata Theory and Applications, 2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020
2019
Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
2018
Theor. Comput. Sci., 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
2017
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Logics for continuous reachability in Petri nets and vector addition systems with states.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017
2016
Inf. Process. Lett., 2016
Fundam. Informaticae, 2016
Efficient Quantile Computation in Markov Chains via Counting Problems for Parikh Images.
CoRR, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
2015
Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015
2014
Proceedings of the Reachability Problems - 8th International Workshop, 2014
Foundations for Decision Problems in Separation Logic with General Inductive Predicates.
Proceedings of the Foundations of Software Science and Computation Structures, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Proceedings of the Reachability Problems - 6th International Workshop, 2012
Proceedings of the Foundations of Software Science and Computational Structures, 2012
2011
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
2010
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010
2009
Proceedings of the Inductive Logic Programming, 19th International Conference, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
2008
Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes.
Proceedings of the ECAI 2008, 2008