Parameterized Modal Satisfiability. - Antonis Achilleos; Michael Lampis; Valia Mitsou (Algorithmica, 2012)

Closing a Gap in the Complexity of Refinement Modal Logic. - Antonis Achilleos; Michael Lampis (CoRR, 2013)

On the Complexity of Two-Agent Justification Logic. - Antonis Achilleos (CLIMA, 2014)

Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications. - Antonis Achilleos (EUMAS, 2014)

Complexity Jumps In Multiagent Justification Logic Under Interacting Justifications. - Antonis Achilleos (CoRR, 2014)

A complexity question in justification logic. - Antonis Achilleos (J. Comput. Syst. Sci., 2014)

NEXP-Completeness and Universal Hardness Results for Justification Logic. - Antonis Achilleos (CSR, 2015)

Monitoring for Silent Actions. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir (FSTTCS, 2017)

A Foundation for Runtime Monitoring. - Adrian Francalanza; Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Ian Cassar; Dario Della Monica; Anna Ingólfsdóttir (RV, 2017)

On the Complexity of Determinizing Monitors. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Sævar Örn Kjartansson (CIAA, 2017)

A Framework for Parameterized Monitorability. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir (FoSSaCS, 2018)

The Completeness Problem for Modal Logic. - Antonis Achilleos (LFCS, 2018)

Testing Equivalence vs. Runtime Monitoring. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

The Cost of Monitoring Alone. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (From Reactive Systems to Cyber-Physical Systems, 2019)

An Operational Guide to Monitorability. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (SEFM, 2019)

Adventures in monitorability: from branching to linear time and back again. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (Proc. ACM Program. Lang., 2019)

An axiomatization of verdict equivalence over regular monitors. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Anna Ingólfsdóttir (CoRR, 2020)

The complexity of identifying characteristic formulae. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir (J. Log. Algebraic Methods Program., 2020)

Determinizing monitors for HML with recursion. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Sævar Örn Kjartansson (J. Log. Algebraic Methods Program., 2020)

Modal logics with hard diamond-free fragments. - Antonis Achilleos (J. Log. Comput., 2020)

The Best a Monitor Can Do. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (CSL, 2021)

Better Late Than Never or: Verifying Asynchronous Components at Runtime. - Duncan Paul Attard; Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (FORTE, 2021)

Axiomatizations and Computability of Weighted Monadic Second-Order Logic. - Antonis Achilleos; Mathias Ruggaard Pedersen (LICS, 2021)

An operational guide to monitorability with applications to regular properties. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (Softw. Syst. Model., 2021)

On Probabilistic Monitorability. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen; Mathias Ruggaard Pedersen (Principles of Systems Design, 2022)

A Monitoring Tool for Linear-Time μHML. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir (COORDINATION, 2022)

A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. - Antonis Achilleos; Léo Exibard; Adrian Francalanza; Karoliina Lehtinen; Jasmine Xuereb (COORDINATION, 2022)

Monitoring Hyperproperties with Circuits. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza (FORTE, 2022)

Complexity through Translations for Modal Logic with Recursion. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Anna Ingólfsdóttir (GandALF, 2022)

Axiomatizing recursion-free, regular monitors. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Anna Ingólfsdóttir (J. Log. Algebraic Methods Program., 2022)

Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes. - Antonis Achilleos; Aggeliki Chalki (MFCS, 2023)

If At First You Don't Succeed: Extended Monitorability through Multiple Executions. - Antonis Achilleos; Adrian Francalanza; Jasmine Xuereb (CoRR, 2023)

Centralized vs Decentralized Monitors for Hyperproperties. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Daniele Gorla; Jana Wagemaker (CONCUR, 2024)

Complexity results for modal logic with recursion via translations and tableaux. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Anna Ingólfsdóttir (Log. Methods Comput. Sci., 2024)

A monitoring tool for linear-time μHML. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir (Sci. Comput. Program., 2024)

Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (CONCUR, 2025)

The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum. - Luca Aceto; Antonis Achilleos; Aggeliki Chalki; Anna Ingólfsdóttir (CSL, 2025)

The complexity of deciding characteristic formulae modulo nested simulation. - Luca Aceto; Antonis Achilleos; Aggeliki Chalki; Anna Ingólfsdóttir (CoRR, 2025)