Elli Anastasiadi

28 papers A* 1B 1C 2Journal 20Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Centralized vs. Decentralized Monitors for Hyperproperties.
ACM Trans. Comput. Log.
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2026 J jnl
SIGLOG Monthly 269: January 2026.
ACM SIGLOG News
Elli Anastasiadi
2025 J jnl
SIGLOG Monthly 257: January 2025.
ACM SIGLOG News
Elli Anastasiadi
2025 J jnl
SIGLOG Monthly 260: April 2025.
ACM SIGLOG News
Elli Anastasiadi
2025 J jnl
SIGLOG Monthly 266.
ACM SIGLOG News
Elli Anastasiadi
2025 C conf
Verification of the Release-Acquire Semantics.
ICTAC
Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn
2025 J jnl
Verification of the Release-Acquire Semantics.
CoRR
Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn
2024 B conf
Centralized vs Decentralized Monitors for Hyperproperties.
CONCUR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2024 J jnl
Centralized vs Decentralized Monitors for Hyperproperties.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2024 J jnl
Complexity results for modal logic with recursion via translations and tableaux.
Log. Methods Comput. Sci.
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
2024 J jnl
Non-Negative Decomposition of Multivariate Information: From Minimum to Blackwell-Specific Information.
Entropy
Tobias Mages, Elli Anastasiadi, Christian Rohner
2024 J jnl
SIGLOG Monthly 245: January 2024.
ACM SIGLOG News
David Purser, Elli Anastasiadi
2024 J jnl
SIGLOG Monthly 248.
ACM SIGLOG News
Elli Anastasiadi
2024 J jnl
SIGLOG Monthly 251: July 2024.
ACM SIGLOG News
Elli Anastasiadi
2024 J jnl
SIGLOG Monthly 254: October 2024.
ACM SIGLOG News
Elli Anastasiadi
2023 J jnl
Complexity results for modal logic with recursion via translations and tableaux.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
2022 J jnl
Axiomatizing recursion-free, regular monitors.
J. Log. Algebraic Methods Program.
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
2022 — conf
Complexity through Translations for Modal Logic with Recursion.
GandALF
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
2022 C conf
Monitoring Hyperproperties with Circuits.
FORTE
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
2022 J jnl
Monitoring hyperproperties with circuits.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
2022 — conf
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction.
A Journey from Process Algebra via Timed Automata to Model Learning
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir
2022 — conf
On Probabilistic Monitorability.
Principles of Systems Design
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen
2021 A* conf
In search of lost time: Axiomatising parallel composition in process algebras.
LICS
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2021 J jnl
In search of lost time: Axiomatising parallel composition in process algebras.
CoRR
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
2020 J jnl
An axiomatization of verdict equivalence over regular monitors.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
2020 J jnl
On the axiomatisability of priority III: Priority strikes again.
Theor. Comput. Sci.
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2019 — conf
On the Axiomatizability of Priority III: The Return of Sequential Composition.
ICTCS
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen
2019 J jnl
Parameterized Fine-Grained Reductions.
CoRR
Elli Anastasiadi, Antonis Antonopoulos, Aris Pagourtzis, Stavros Petsalakis