Elli Anastasiadi

Journal Publications

• JLAMP 2022 - Axiomatizing recursion-free, regular monitors. With Luca Aceto, Antonis Achilleos, and Anna Ingólfsdóttir. [PDF]
• TCS 2020 - On the axiomatisability of priority III: Priority strikes again. With Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, and Mathias Ruggaard Pedersen. [PDF]

• Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday 2022 -On Probabilistic Monitorability. With Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, and Mathias Ruggaard Pedersen. [PDF]
• GANDALF 2022 - Complexity through Translations for Modal Logic with Recursion. With Luca Aceto, Antonis Achilleos, Adrian Francalanza, and Anna Ingólfsdóttir [PDF]
• A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday - Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. With Luca Aceto, Valentina Castiglioni, and Anna Ingólfsdóttir [PDF] in the relevant chapter of my PhD thesis for a free and more complete version.
• FORTE 2022 - Monitoring Hyperproperties with circuits. With Luca Aceto, Antonis Achilleos, and Adrian Francalanza. [PDF]
• LICS 2021 - In search of lost time: Axiomatising parallel composition in process algebras. With Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, and Bas Luttik. [PDF]
• ICTCS 2020 - On the Axiomatizability of Priority III: The Return of Sequential Composition. With Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, and Mathias Ruggaard Pedersen. [PDF]

Under Review

• Book chapter - Complexity results for modal logic with recursion via translations and tableaux

Workshop and Informal Publicationns

• PLS 2022 - Epistemic logic for verifying runtime verification communication protocols Online proceedings
• NWPT 2021 - Monitoring Hyperproperties using circuis - Online proceedings pending. With Luca Aceto, Antonis Achilleos and Adrian Francalanza.
• NWPT 2019 - Axiomatizing equivalences over regular monitors. With Luca Aceto and Anna Ingolfsdottir Online proceedings
• PLS 2019 - An Axiomatization of Verdict Equivalence over (Closed) Regular Monitors. With Luca Aceto and Anna Ingolfsdottir

Working on

• Epistemic logic for message parsing parallel monitors
• An infinite axiomatic basis for Millner's CCS
• Parameterized Fine-Grained Reductions. [PDF]

• The final version of my PhD dissertation can be found here.
• My master's thesis entry can be found here (in greek). Here is an earlier draft in english.

Miscelaneus

• An introduction for newcomers at Reykjavik University. See [PDF].