2 citations · 2 across the 3 of their papers we have counts for
4 papers
Complexity through Translations for Modal Logic with Recursion
Luca Aceto, Antonis Achilleos, Elli Anastasiadi +2
This paper studies the complexity of classical modal logics and of their extension with fixed-point operators, using translations to transfer results across logics. In particular,…
Monitoring hyperproperties with circuits
Luca Aceto, Antonios Achilleos, Elli Anastasiadi +1
This paper presents an extension of the safety fragment of Hennessy-Milner Logic with recursion over sets of traces, in the spirit of Hyper-LTL. It then introduces a novel monitori…
In search of lost time: Axiomatising parallel composition in process algebras
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni +2
This survey reviews some of the most recent achievements in the saga of the axiomatisation of parallel composition, along with some classic results. We focus on the recursion, rela…
Parameterized Fine-Grained Reductions
Elli Anastasiadi, Antonis Antonopoulos, Aris Pagourtzis +1
During recent years the field of fine-grained complexity has bloomed to produce a plethora of results, with both applied and theoretical impact on the computer science community. T…