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

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

Resume (English only)

Co-authors

54 total

Krishnendu Chatterjee

Professor, IST Austria

Charles University, Prague

Rasmus Ibsen-Jensen

Lecturer, University of Liverpool

Presidential Young Professor at National University of Singapore

Amir Goharshady

Associate Professor, University of Oxford

Professor of Computer Science U. Liverpool and U. Patras