On the Axiomatizability of Priority III: The Return of Sequential Composition. - Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir; Mathias Ruggaard Pedersen (ICTCS, 2019)

Parameterized Fine-Grained Reductions. - Elli Anastasiadi; Antonis Antonopoulos; Aris Pagourtzis; Stavros Petsalakis (CoRR, 2019)

An axiomatization of verdict equivalence over regular monitors. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Anna Ingólfsdóttir (CoRR, 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)

In search of lost time: Axiomatising parallel composition in process algebras. - Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik (LICS, 2021)

On Probabilistic Monitorability. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen; Mathias Ruggaard Pedersen (Principles of Systems Design, 2022)

Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. - Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Monitoring Hyperproperties with Circuits. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza (FORTE, 2022)

Complexity through Translations for Modal Logic with Recursion. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Anna Ingólfsdóttir (GandALF, 2022)

Axiomatizing recursion-free, regular monitors. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Anna Ingólfsdóttir (J. Log. Algebraic Methods Program., 2022)

Centralized vs Decentralized Monitors for Hyperproperties. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Daniele Gorla; Jana Wagemaker (CONCUR, 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)

SIGLOG Monthly 245: January 2024. - David Purser; Elli Anastasiadi (ACM SIGLOG News, 2024)

SIGLOG Monthly 248. - Elli Anastasiadi (ACM SIGLOG News, 2024)

Non-Negative Decomposition of Multivariate Information: From Minimum to Blackwell-Specific Information. - Tobias Mages; Elli Anastasiadi; Christian Rohner (Entropy, 2024)

SIGLOG Monthly 251: July 2024. - Elli Anastasiadi (ACM SIGLOG News, 2024)

SIGLOG Monthly 254: October 2024. - Elli Anastasiadi (ACM SIGLOG News, 2024)

SIGLOG Monthly 257: January 2025. - Elli Anastasiadi (ACM SIGLOG News, 2025)

SIGLOG Monthly 260: April 2025. - Elli Anastasiadi (ACM SIGLOG News, 2025)

Verification of the Release-Acquire Semantics. - Parosh Aziz Abdulla; Elli Anastasiadi; Mohamed Faouzi Atig; Samuel Grahn (CoRR, 2025)