Jules Villard
Scholar

Jules Villard

Google Scholar ID: Gpj2svYAAAAJ
Imperial College London
Program verificationMessage passingAutomatic verification tools
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
337
 
H-index
8
 
i10-index
7
 
Publications
20
 
Co-authors
3
list available
Contact
No contact links provided.
Publications
1 items
Non-Termination Proving: 100 Million LoC and Beyond
2025
Cited
0
Resume (English only)
Co-authors
3 total
Etienne Lozes
Etienne Lozes
Université Côte d'Azur
James Brotherston
James Brotherston
Professor of Logic and Computation, University College London
Co-author 3
Co-author 3