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

Journal Publications

Conference Publications

  • ICTAC 2025 - Verification of the Release-Acquire Semantics. With Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Samuel Grahn. [PDF]
  • CONCUR 2024 - Centralized vs Decentralized Monitors for Hyperproperties. With Luca Aceto, Antonis Achilleos, Adrian Francalanza, Daniele Gorla, and Jana Wagemaker. [PDF]
  • 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]
  • 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 2019 - 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

  • The complexity of verifying the release-acquire semantics over register machines. With Parosh Abdulla, Mohamed Faouzi Atig, Léo Exibard, and Samuel Grahn.

Workshop and Informal Publicationns

  • PLS 2024 - On the expressiveness of hyperlogics. With Antonis Achilleos, R. Govind, and Jana Wagemaker. Proceedings pending.
  • PLS 2024 - Satisfiability-checking of modal logic with recursion via translations and tableaux. With Luca Aceto, Antonis Achilleos, Adrian Francalanza, and Anna Ingólfsdóttir. Proceedings pending.
  • NWPT 2023 - Infinite hard families of equations in process algebras. With Luca Aceto. Online proceedings, p70
  • RADICAL 2023 - Communicating Monitors for Hyper-µHML. With Antonis Achilleos, Adrian Francalanza, and Jana Wagemaker. [PDF]
  • PLS 2022 - Epistemic logic for verifying runtime verification communication protocols. With Antonis Achilleos, Adrian Francalanza and Jasmine Xuereb. 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

  • On the expressive power of Hyper_mu_HML & its information-theoretic applications
  • An infinite axiomatic basis for Millner's CCS
  • Parameterized Fine-Grained Reductions. [PDF]

Books

Miscelaneus

  • An introduction for newcomers at Reykjavik University. See [PDF].