Scholar
Andreas Pavlogiannis
Google Scholar ID: 9QvqaqUAAAAJ
Associate Professor, Aarhus University
Formal Methods
Programming Languages
Algorithmic Verification
Concurrency
Network Diffusion
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,457
H-index
22
i10-index
41
Publications
20
Co-authors
54
list available
Publications
7 items
An MSO Framework for Weak-Memory Verification and Robustness
2026
Cited
0
On the Decidability of Verification under Release/Acquire
2026
Cited
0
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
Co-authors
12 total
Krishnendu Chatterjee
Professor, IST Austria
Josef Tkadlec
Charles University, Prague
Rasmus Ibsen-Jensen
Lecturer, University of Liverpool
Umang Mathur
Presidential Young Professor at National University of Singapore
Amir Goharshady
Associate Professor, University of Oxford
Paul Spirakis
Professor of Computer Science U. Liverpool and U. Patras
Mahesh Viswanathan
University of Illinois, Urbana-Champaign
Ioannis Chatzigiannakis
Professor of Computer Engineering, Sapienza University of Rome
