Ahmed Bhayat
Scholar

Ahmed Bhayat

Google Scholar ID: 3h2G_0EAAAAJ
University of Manchester
LogicHigher-order logicAutomated Reasoning
Google Scholar↗
Citations & Impact
All-time
Citations
252
 
H-index
9
 
i10-index
8
 
Publications
20
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
6 total
Giles Reger
Giles Reger
Amazon (formerly University of Manchester, UK)
Co-author 2
Co-author 2
Michael Rawson
Michael Rawson
University of Southampton
Laura Kovacs
Laura Kovacs
TU Wien, Vienna, Austria
Konstantin Korovin
Konstantin Korovin
The University of Manchester, Depratement of Computer Science
Fedor Shmarov
Fedor Shmarov
School of Computing, Newcastle University