Elli Anastasiadi

According to our database, Elli Anastasiadi authored at least 12 papers between 2019 and 2024.

Collaborative distances:

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

2024

SIGLOG Monthly 245: January 2024.

David Purser, Elli Anastasiadi

ACM SIGLOG News, January, 2024

2023

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

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

CoRR, 2023

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