Scholar
Elli Anastasiadi
Google Scholar ID: 8DWYG3QAAAAJ
Assistant Professor at Aalborg University
theoretical computer science
verification
logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
54
H-index
4
i10-index
1
Publications
20
Co-authors
14
list available
Contact
Email
ellia-SPAMTRAP@cs.aau.dk
CV
Open ↗
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
Resume (English only)
Co-authors
14 total
Luca Aceto
Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'Aquila
Antonis Achilleos
Reykjavik University
Anna Ingolfsdottir
Professor of Computer Science, Reykjavík University
Adrian Francalanza
University of Malta
Co-author 5
Co-author 6
Bas Luttik
Associate Professor of Computer Science, Eindhoven University of Technology
Christian Rohner
Uppsala University
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up