Elli Anastasiadi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICTAC | Verification of the Release-Acquire Semantics. | Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn |
| 2024 | CONCUR | Centralized vs Decentralized Monitors for Hyperproperties. | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker |
| 2022 | FORTE | Monitoring Hyperproperties with Circuits. | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza |
| 2021 | LICS | In search of lost time: Axiomatising parallel composition in process algebras. | Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik |