Andreas Pavlogiannis
Scholar

Andreas Pavlogiannis

Google Scholar ID: 9QvqaqUAAAAJ
Associate Professor, Aarhus University
Formal MethodsProgramming LanguagesAlgorithmic VerificationConcurrencyNetwork Diffusion
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,457
 
H-index
22
 
i10-index
41
 
Publications
20
 
Co-authors
54
list available
Contact
No contact links provided.
Publications
5 items
Fast Atomicity Monitoring
2026
Cited
0
Exact Quantum Circuit Optimization is co-NQP-hard
2025
Cited
0
GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
2025
Cited
0
Testing Message-Passing Concurrency
2025
Cited
0
AWDIT: An Optimal Weak Database Isolation Tester
2025
Cited
0
Resume (English only)
Co-authors
54 total
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Co-author 2
Co-author 2
Josef Tkadlec
Josef Tkadlec
Charles University, Prague
Rasmus Ibsen-Jensen
Rasmus Ibsen-Jensen
Lecturer, University of Liverpool
Umang Mathur
Umang Mathur
Presidential Young Professor at National University of Singapore
Amir Goharshady
Amir Goharshady
Associate Professor, University of Oxford
Paul Spirakis
Paul Spirakis
Professor of Computer Science U. Liverpool and U. Patras
Co-author 8
Co-author 8