( en | de | ru )

 

Disambiguierung von "Achilleos, Antonis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Monitoring Tool for Linear-Time μHML.

, , , , , und . COORDINATION, Volume 13271 von Lecture Notes in Computer Science, Seite 200-219. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Demetrakis Achilleos

Antonis Tsiongas

Antonis Papapantoleon

Antonis Chanos

Antonis Metaxas

 

Weitere Publikationen von Autoren mit dem selben Namen

The Completeness Problem for Modal Logic.. LFCS, Volume 10703 von Lecture Notes in Computer Science, Seite 1-21. Springer, (2018)Adventures in Monitorability: From Branching to Linear Time and Back Again., , , , und . CoRR, (2019)An operational guide to monitorability with applications to regular properties., , , , und . Softw. Syst. Model., 20 (2): 335-361 (2021)A monitoring tool for linear-time μHML., , , , , und . Sci. Comput. Program., (Januar 2024)Determinizing monitors for HML with recursion., , , , und . J. Log. Algebraic Methods Program., (2020)Complexity through Translations for Modal Logic with Recursion., , , , und . GandALF, Volume 370 von EPTCS, Seite 34-48. (2022)Modal Logics with Hard Diamond-Free Fragments.. LFCS, Volume 9537 von Lecture Notes in Computer Science, Seite 1-13. Springer, (2016)The Cost of Monitoring Alone., , , , und . From Reactive Systems to Cyber-Physical Systems, Volume 11500 von Lecture Notes in Computer Science, Seite 259-275. Springer, (2019)Complexity Jumps In Multiagent Justification Logic Under Interacting Justifications.. CoRR, (2014)Modal logics with hard diamond-free fragments.. J. Log. Comput., 30 (1): 3-25 (2020)