Elli Anastasiadi

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 20

Top Topics

Decentralized Decision Making

Anchovy Catches

Prime Implicates

Top Venues

ACM SIGLOG News

J. Log. Algebraic Methods Program.

Publications

Elli Anastasiadi
SIGLOG Monthly 251: July 2024. ACM SIGLOG News 11 (3) (2024)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
Complexity results for modal logic with recursion via translations and tableaux. Log. Methods Comput. Sci. 20 (3) (2024)
Tobias Mages, Elli Anastasiadi, Christian Rohner
Non-Negative Decomposition of Multivariate Information: From Minimum to Blackwell-Specific Information. Entropy 26 (5) (2024)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
Centralized vs Decentralized Monitors for Hyperproperties. CoRR (2024)
David Purser, Elli Anastasiadi
SIGLOG Monthly 245: January 2024. ACM SIGLOG News 11 (1) (2024)
Elli Anastasiadi
SIGLOG Monthly 248. ACM SIGLOG News 11 (2) (2024)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
Centralized vs Decentralized Monitors for Hyperproperties. CONCUR (2024)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
Complexity results for modal logic with recursion via translations and tableaux. CoRR (2023)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
Monitoring Hyperproperties with Circuits. FORTE (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
Complexity through Translations for Modal Logic with Recursion. GandALF (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
Monitoring hyperproperties with circuits. CoRR (2022)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen
On Probabilistic Monitorability. Principles of Systems Design (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
Axiomatizing recursion-free, regular monitors. J. Log. Algebraic Methods Program. 127 (2022)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
In search of lost time: Axiomatising parallel composition in process algebras. CoRR (2021)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
In search of lost time: Axiomatising parallel composition in process algebras. LICS (2021)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
An axiomatization of verdict equivalence over regular monitors. CoRR (2020)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
On the axiomatisability of priority III: Priority strikes again. Theor. Comput. Sci. 837 (2020)
Elli Anastasiadi, Antonis Antonopoulos, Aris Pagourtzis, Stavros Petsalakis
Parameterized Fine-Grained Reductions. CoRR (2019)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen
On the Axiomatizability of Priority III: The Return of Sequential Composition. ICTCS (2019)