In search of lost time: Axiomatising parallel composition in process algebras L Aceto, E Anastasiadi, V Castiglioni, A Ingólfsdóttir, B Luttik 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021 | 5 | 2021 |
Monitoring hyperproperties with circuits L Aceto, A Achilleos, E Anastasiadi, A Francalanza International Conference on Formal Techniques for Distributed Objects …, 2022 | 4 | 2022 |
On the axiomatisability of priority III: priority strikes again L Aceto, E Anastasiadi, V Castiglioni, A Ingólfsdóttir, B Luttik, ... Theoretical Computer Science 837, 223-246, 2020 | 3 | 2020 |
On the Axiomatizability of Priority III: The Return of Sequential Composition. L Aceto, E Anastasiadi, V Castiglioni, A Ingólfsdóttir, MR Pedersen ICTCS, 145-157, 2019 | 3 | 2019 |
Axiomatizing recursion-free, regular monitors L Aceto, A Achilleos, E Anastasiadi, A Ingolfsdottir Journal of Logical and Algebraic Methods in Programming 127, 100778, 2022 | 2 | 2022 |
On probabilistic monitorability L Aceto, A Achilleos, E Anastasiadi, A Francalanza, A Ingólfsdóttir, ... Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022 | 1 | 2022 |
Complexity through Translations for Modal Logic with Recursion L Aceto, A Achilleos, E Anastasiadi, A Francalanza, A Ingolfsdottir arXiv preprint arXiv:2209.10377, 2022 | 1 | 2022 |
Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction L Aceto, E Anastasiadi, V Castiglioni, A Ingólfsdóttir A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022 | 1 | 2022 |
Complexity results for modal logic with recursion via translations and tableaux L Aceto, A Achilleos, E Anastasiadi, A Francalanza, A Ingólfsdóttir arXiv preprint arXiv:2306.16881, 2023 | | 2023 |
Syntactic approaches to negative results in process algebras and modal logics E Anastasiadi | | 2022 |
An axiomatization of verdict equivalence over regular monitors. L Acetoa, A Achilleosa, E Anastasiadia, A Ingolfsdottira arXiv preprint arXiv:2006.05463, 2020 | | 2020 |
Parameterized Fine-Grained Reductions E Anastasiadi, A Antonopoulos, A Pagourtzis, S Petsalakis arXiv preprint arXiv:1902.05529, 2019 | | 2019 |
Axiomatizing Equivalences over Regular Monitors L Aceto, A Achilleos, E Anastasiadi, A Ingólfsdóttir NWPT 2019, 4, 0 | | |
Epistemic Logic for verifying runtime verification communication protocols A Achilleos, E Anastasiadi, A Francalanza, J Xuereb | | |
Monitoring Hyperproperties with Circuits A Achilleos, E Anastasiadi, A Francalanza | | |