Elli Anastasiadi

Orcid: 0000-0001-7526-9256

According to our database1, Elli Anastasiadi authored at least 16 papers between 2019 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
SIGLOG Monthly 251: July 2024.
ACM SIGLOG News, July, 2024

Non-Negative Decomposition of Multivariate Information: From Minimum to Blackwell-Specific Information.
Entropy, May, 2024

SIGLOG Monthly 248.
ACM SIGLOG News, April, 2024

SIGLOG Monthly 245: January 2024.
ACM SIGLOG News, January, 2024

Complexity results for modal logic with recursion via translations and tableaux.
Log. Methods Comput. Sci., 2024

Centralized vs Decentralized Monitors for Hyperproperties.
Proceedings of the 35th International Conference on Concurrency Theory, 2024

2022
Axiomatizing recursion-free, regular monitors.
J. Log. Algebraic Methods Program., 2022

Complexity through Translations for Modal Logic with Recursion.
Proceedings of the 13th International Symposium on Games, 2022

Monitoring Hyperproperties with Circuits.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

On Probabilistic Monitorability.
Proceedings of the Principles of Systems Design, 2022

2021
In search of lost time: Axiomatising parallel composition in process algebras.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
On the axiomatisability of priority III: Priority strikes again.
Theor. Comput. Sci., 2020

An axiomatization of verdict equivalence over regular monitors.
CoRR, 2020

2019
Parameterized Fine-Grained Reductions.
CoRR, 2019

On the Axiomatizability of Priority III: The Return of Sequential Composition.
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019


  Loading...