Scholar
Niki Vazou
Google Scholar ID: ARcLTokAAAAJ
IMDEA Software Institute
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,468
H-index
18
i10-index
19
Publications
20
Co-authors
9
list available
Contact
No contact links provided.
Publications
1 items
Towards an Automated Reasoning Tool for Complexity Analysis of Automated Reasoners
2026
Cited
0
Resume (English only)
Co-authors
9 total
Co-author 1
Co-author 2
Dimitrios Vytiniotis
DeepMind
Simon Peyton Jones
Epic Games
Co-author 5
Co-author 6
Co-author 7
Philip Wadler
University of Edinburgh and IOHK/IOG
