Elli Anastasiadi
Scholar

Elli Anastasiadi

Google Scholar ID: 8DWYG3QAAAAJ
Assistant Professor at Aalborg University
theoretical computer scienceverificationlogic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
54
 
H-index
4
 
i10-index
1
 
Publications
20
 
Co-authors
14
list available
Publications
2 items
Verification of the Release-Acquire Semantics
2025
Cited
0
Centralized vs Decentralized Monitors for Hyperproperties
International Conference on Concurrency Theory · 2024
Cited
0
Co-authors
10 total
Luca Aceto
Luca Aceto
Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'Aquila
Antonis Achilleos
Antonis Achilleos
Reykjavik University
Anna Ingolfsdottir
Anna Ingolfsdottir
Professor of Computer Science, Reykjavík University
Adrian Francalanza
Adrian Francalanza
University of Malta
Bas Luttik
Bas Luttik
Associate Professor of Computer Science, Eindhoven University of Technology
Christian Rohner
Christian Rohner
Uppsala University
Daniele Gorla
Daniele Gorla
Unknown affiliation
Karoliina Lehtinen
Karoliina Lehtinen
CNRS, Aix-Marseille Université, LIS