Giles Reger
Scholar

Giles Reger

Google Scholar ID: Js3EdsEAAAAJ
Amazon (formerly University of Manchester, UK)
Theorem ProvingProgram VerificationRuntime Monitoring
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,711
 
H-index
20
 
i10-index
40
 
Publications
20
 
Co-authors
62
list available
Contact
No contact links provided.
Publications
1 items
The Vampire Diary
2025
Cited
0
Resume (English only)
Co-authors
62 total
Martin Suda
Martin Suda
Czech Technical University in Prague
Andrei Voronkov
Andrei Voronkov
The University of Manchester; EasyChair
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Michael Rawson
Michael Rawson
University of Southampton
Ahmed Bhayat
Ahmed Bhayat
University of Manchester
Co-author 7
Co-author 7
Ezio Bartocci
Ezio Bartocci
Faculty of Informatics, TU Wien