Elli Anastasiadi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Foundations of runtime monitoring through the lens of concurrency theory Bulletin of the European Association for Theoretical Computer Science EATCS	2026-05-12	Paper
Verification of the release-acquire semantics	2026-03-20	Paper
Centralized vs decentralized monitors for hyperproperties	2026-02-10	Paper
Centralized vs. decentralized monitors for hyperproperties ACM Transactions on Computational Logic	2026-01-07	Paper
Complexity results for modal logic with recursion via translations and tableaux Logical Methods in Computer Science	2024-09-04	Paper
Complexity through translations for modal logic with recursion (available as arXiv preprint)	2024-02-08	Paper
Complexity through translations for modal logic with recursion	2024-02-08	Paper
On probabilistic monitorability Lecture Notes in Computer Science	2023-08-10	Paper
Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction Lecture Notes in Computer Science	2023-07-26	Paper
Monitoring hyperproperties with circuits (available as arXiv preprint)	2022-08-19	Paper
Axiomatizing recursion-free, regular monitors Journal of Logical and Algebraic Methods in Programming	2022-05-25	Paper
On the axiomatisability of priority. III: Priority strikes again Theoretical Computer Science	2020-08-25	Paper

Research outcomes over time

This page was built for person: Elli Anastasiadi