My DBLP page can be found
here. Below is a list of all my works, with links to current available versions.
Journal Publications
- JLAMP 2022 - Axiomatizing recursion-free, regular monitors. With Luca Aceto, Antonis Achilleos, and Anna Ingólfsdóttir. [PDF]
- TCS 2020 - On the axiomatisability of priority III: Priority strikes again. With Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, and Mathias Ruggaard Pedersen. [PDF]
Conference Publications
- Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday 2022 -On Probabilistic Monitorability. With Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, and Mathias Ruggaard Pedersen. [PDF]
- GANDALF 2022 - Complexity through Translations for Modal Logic with Recursion. With Luca Aceto, Antonis Achilleos, Adrian Francalanza, and Anna Ingólfsdóttir [PDF]
- A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
Birthday - Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. With Luca Aceto, Valentina Castiglioni, and Anna Ingólfsdóttir [PDF] in the relevant chapter of my PhD thesis for a free and more complete version.
- FORTE 2022 - Monitoring Hyperproperties with circuits. With Luca Aceto, Antonis Achilleos, and Adrian Francalanza. [PDF]
- LICS 2021 - In search of lost time: Axiomatising parallel composition in process algebras. With Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, and Bas Luttik. [PDF]
- ICTCS 2020 - On the Axiomatizability of Priority III: The Return of Sequential Composition. With Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, and Mathias Ruggaard Pedersen. [PDF]
Under Review
- Book chapter - Complexity results for modal logic with recursion via translations and tableaux
Workshop and Informal Publicationns
- PLS 2022 - Epistemic logic for verifying runtime verification communication protocols Online proceedings
- NWPT 2021 - Monitoring Hyperproperties using circuis - Online proceedings pending. With Luca Aceto, Antonis Achilleos and Adrian Francalanza.
- NWPT 2019 - Axiomatizing equivalences over regular monitors. With Luca Aceto and Anna Ingolfsdottir Online proceedings
- PLS 2019 - An Axiomatization of Verdict Equivalence over (Closed) Regular Monitors. With Luca Aceto and Anna Ingolfsdottir
Working on
- Epistemic logic for message parsing parallel monitors
- An infinite axiomatic basis for Millner's CCS
- Parameterized Fine-Grained Reductions. [PDF]
Books
- The final version of my PhD dissertation can be found here.
- My master's thesis entry can be found here (in greek). Here is an earlier draft in english.
Miscelaneus
- An introduction for newcomers at Reykjavik University. See [PDF].