( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Monitoring Tool for Linear-Time μHML.

, , , , , и . COORDINATION, том 13271 из Lecture Notes in Computer Science, стр. 200-219. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Demetrakis Achilleos

Antonis Tsiongas

Antonis Papapantoleon

Antonis Chanos

Antonis Giakountis

 

Другие публикации лиц с тем же именем

The Completeness Problem for Modal Logic.. LFCS, том 10703 из Lecture Notes in Computer Science, стр. 1-21. Springer, (2018)The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum., , , и . CoRR, (2024)The Cost of Monitoring Alone., , , , и . From Reactive Systems to Cyber-Physical Systems, том 11500 из Lecture Notes in Computer Science, стр. 259-275. Springer, (2019)Modal Logics with Hard Diamond-Free Fragments.. LFCS, том 9537 из Lecture Notes in Computer Science, стр. 1-13. Springer, (2016)Complexity through Translations for Modal Logic with Recursion., , , , и . GandALF, том 370 из EPTCS, стр. 34-48. (2022)A Complexity Question in Justification Logic.. WoLLIC, том 6642 из Lecture Notes in Computer Science, стр. 8-19. Springer, (2011)Axiomatizations and Computability of Weighted Monadic Second-Order Logic., и . LICS, стр. 1-13. IEEE, (2021)A Synthesis Tool for Optimal Monitors in a Branching-Time Setting., , , , и . COORDINATION, том 13271 из Lecture Notes in Computer Science, стр. 181-199. Springer, (2022)On Probabilistic Monitorability., , , , , , и . Principles of Systems Design, том 13660 из Lecture Notes in Computer Science, стр. 325-342. Springer, (2022)Better Late Than Never or: Verifying Asynchronous Components at Runtime., , , , , и . FORTE, том 12719 из Lecture Notes in Computer Science, стр. 207-225. Springer, (2021)