Christoph Haase
Scholar

Christoph Haase

Google Scholar ID: x6alTp0AAAAJ
University of Oxford
algorithmic verificationlogic in computer scienceautomata theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,631
 
H-index
23
 
i10-index
35
 
Publications
20
 
Co-authors
38
list available
Publications
1 items
On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
arXiv.org · 2024
Cited
0
Co-authors
14 total
Joel Ouaknine
Joel Ouaknine
Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
James Worrell
James Worrell
Professor of Computer Science, Oxford University
Michael Blondin
Michael Blondin
Associate professor, Université de Sherbrooke
Alain Finkel
Alain Finkel
LMF ENS Paris Saclay
Stefan Kiefer
Stefan Kiefer
Professor of Computer Science, University of Oxford
Alessio Mansutti
Alessio Mansutti
IMDEA Software Institute
Byron Cook
Byron Cook
Professor of Computer Science, UCL, Amazon
Stephan Kreutzer
Stephan Kreutzer
Professor of Computer Science, Technical University Berlin