Elli Anastasiadi

Journal Publications

• LMCS 2024 - Complexity results for modal logic with recursion via translations and tableaux. With Luca Aceto, Antonis Achilleos, Adrian Francalanza, and Anna Ingólfsdóttir. [PDF]
• Entropy 2024 - Non-Negative Decomposition of Multivariate Information: From Minimum to Blackwell-Specific Information. With Tobias Mages, and Christian Rohner. [PDF]
• 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]

• CONCUR 2024 - Centralized vs Decentralized Monitors for Hyperproperties. With Luca Aceto, Antonis Achilleos, Adrian Francalanza, Daniele Gorla, and Jana Wagemaker. [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]
• 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 2019 - 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

• Double-blind conference - Consistency Checking against the Release-Acquire Semantics

Workshop and Informal Publicationns

• PLS 2024 - On the expressiveness of hyperlogics. With Antonis Achilleos, R. Govind, and Jana Wagemaker. Proceedings pending.
• PLS 2024 - Satisfiability-checking of modal logic with recursion via translations and tableaux. With Luca Aceto, Antonis Achilleos, Adrian Francalanza, and Anna Ingólfsdóttir. Proceedings pending.
• NWPT 2023 - Infinite hard families of equations in process algebras. With Luca Aceto. Online proceedings, p70
• RADICAL 2023 - Communicating Monitors for Hyper-µHML. With Antonis Achilleos, Adrian Francalanza, and Jana Wagemaker. [PDF]
• PLS 2022 - Epistemic logic for verifying runtime verification communication protocols. With Antonis Achilleos, Adrian Francalanza and Jasmine Xuereb. 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

• On the expressive power of Hyper_mu_HML & its information-theoretic applications
• 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].