Scholar
Giles Reger
Google Scholar ID: Js3EdsEAAAAJ
Amazon (formerly University of Manchester, UK)
Theorem Proving
Program Verification
Runtime Monitoring
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,711
H-index
20
i10-index
40
Publications
20
Co-authors
62
list available
Publications
1 items
The Vampire Diary
2025
Cited
0
Co-authors
15 total
Martin Suda
Czech Technical University in Prague
Andrei Voronkov
The University of Manchester; EasyChair
Michael Rawson
University of Southampton
Ahmed Bhayat
University of Manchester
Ezio Bartocci
Faculty of Informatics, TU Wien
Laura Kovacs
TU Wien, Vienna, Austria
Dmitriy Traytel
University of Copenhagen
Konstantin Korovin
The University of Manchester, Depratement of Computer Science
