Elli Anastasiadi

According to our database, Elli Anastasiadi authored at least 23 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

SIGLOG Monthly 272: April 2026.

Elli Anastasiadi

ACM SIGLOG News, April, 2026

SIGLOG Monthly 269: January 2026.

Elli Anastasiadi

ACM SIGLOG News, January, 2026

2025

SIGLOG Monthly 266.

Elli Anastasiadi

ACM SIGLOG News, October, 2025

SIGLOG Monthly 260: April 2025.

Elli Anastasiadi

ACM SIGLOG News, April, 2025

SIGLOG Monthly 257: January 2025.

Elli Anastasiadi

ACM SIGLOG News, January, 2025

Verification of the Release-Acquire Semantics.

Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn

Proceedings of the Theoretical Aspects of Computing - ICTAC 2025, 2025

2024

SIGLOG Monthly 254: October 2024.

Elli Anastasiadi

ACM SIGLOG News, October, 2024

SIGLOG Monthly 251: July 2024.

Elli Anastasiadi

ACM SIGLOG News, July, 2024

Non-Negative Decomposition of Multivariate Information: From Minimum to Blackwell-Specific Information.

Tobias Mages, Elli Anastasiadi, Christian Rohner

Entropy, May, 2024

SIGLOG Monthly 248.

Elli Anastasiadi

ACM SIGLOG News, April, 2024

SIGLOG Monthly 245: January 2024.

David Purser, Elli Anastasiadi

ACM SIGLOG News, January, 2024

Complexity results for modal logic with recursion via translations and tableaux.

Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir

Log. Methods Comput. Sci., 2024

Centralized vs Decentralized Monitors for Hyperproperties.

Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2022

Axiomatizing recursion-free, regular monitors.

Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir

J. Log. Algebraic Methods Program., 2022

Complexity through Translations for Modal Logic with Recursion.

Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir

Proceedings of the 13th International Symposium on Games, 2022

Monitoring Hyperproperties with Circuits.

Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction.

Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

On Probabilistic Monitorability.

Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen

Proceedings of the Principles of Systems Design, 2022

2021

In search of lost time: Axiomatising parallel composition in process algebras.

Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

On the axiomatisability of priority III: Priority strikes again.

Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen

Theor. Comput. Sci., 2020

An axiomatization of verdict equivalence over regular monitors.

Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir

CoRR, 2020

2019

Parameterized Fine-Grained Reductions.

Elli Anastasiadi, Antonis Antonopoulos, Aris Pagourtzis, Stavros Petsalakis

CoRR, 2019

On the Axiomatizability of Priority III: The Return of Sequential Composition.

Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019