Jasmin Blanchette
Scholar

Jasmin Blanchette

Google Scholar ID: OpuTG3IAAAAJ
Ludwig-Maximilians-Universität München
Interactive and automatic theorem proving
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,109
 
H-index
35
 
i10-index
64
 
Publications
20
 
Co-authors
56
list available
Contact
No contact links provided.
Publications
5 items
Tao's Equational Proof Challenge Accepted (Technical Report)
2026
Cited
0
Term Orders for Optimistic Lambda-Superposition
2025
Cited
0
Optimistic Higher-Order Superposition
2025
Cited
0
Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL
2025
Cited
0
Closure Properties of General Grammars - Formally Verified
International Conference on Interactive Theorem Proving · 2023
Cited
0
Resume (English only)
Co-authors
56 total
Dmitriy Traytel
Dmitriy Traytel
University of Copenhagen
Andrei Popescu
Andrei Popescu
University of Sheffield
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Cezary Kaliszyk
Cezary Kaliszyk
Professor, University of Melbourne
Co-author 7
Co-author 7
Mathias Fleury
Mathias Fleury
University Freiburg