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
Contact
No contact links provided.
Publications
1 items
On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
38 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
Co-author 7
Co-author 7
Co-author 8
Co-author 8