( en | de | ru )

 

Disambiguierung von "Achilleos, Antonis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Probabilistic Monitorability.

, , , , , , und . Principles of Systems Design, Volume 13660 von Lecture Notes in Computer Science, Seite 325-342. 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)The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum., , , und . CoRR, (2024)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 through Translations for Modal Logic with Recursion., , , , und . GandALF, Volume 370 von EPTCS, Seite 34-48. (2022)Better Late Than Never or: Verifying Asynchronous Components at Runtime., , , , , und . FORTE, Volume 12719 von Lecture Notes in Computer Science, Seite 207-225. Springer, (2021)A Synthesis Tool for Optimal Monitors in a Branching-Time Setting., , , , und . COORDINATION, Volume 13271 von Lecture Notes in Computer Science, Seite 181-199. Springer, (2022)Axiomatizations and Computability of Weighted Monadic Second-Order Logic., und . LICS, Seite 1-13. IEEE, (2021)A Complexity Question in Justification Logic.. WoLLIC, Volume 6642 von Lecture Notes in Computer Science, Seite 8-19. Springer, (2011)On Probabilistic Monitorability., , , , , , und . Principles of Systems Design, Volume 13660 von Lecture Notes in Computer Science, Seite 325-342. Springer, (2022)