Browsing by Author Anastasiadi, Elli
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) |
| 2024 | Complexity results for modal logic with recursion via translations and tableaux | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna |
| 2022 | Monitoring hyperproperties with circuits | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian |
| 2022 | On probabilistic monitorability | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina; Pedersen, Mathias Ruggaard |
