Publications

My DBLP page can be found here. Below is a list of all my works, with links to current available versions.

Journal Publications

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]

Book chapter - On probabilistic monitorability (accepted for publication, pending proceedings)

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 2029 - An Axiomatization of Verdict Equivalence over (Closed) Regular Monitors. With Luca Aceto and Anna Ingolfsdottir

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.