From post

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.

 

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

Complexity through Translations for Modal Logic with Recursion., , , , и . GandALF, том 370 из EPTCS, стр. 34-48. (2022)Monitoring Hyperproperties with Circuits., , , и . FORTE, том 13273 из Lecture Notes in Computer Science, стр. 1-10. Springer, (2022)SIGLOG Monthly 248.. ACM SIGLOG News, 11 (2): 84-91 (апреля 2024)Centralized vs Decentralized Monitors for Hyperproperties., , , , , и . CoRR, (2024)On the Axiomatizability of Priority III: The Return of Sequential Composition., , , , и . ICTCS, том 2504 из CEUR Workshop Proceedings, стр. 145-157. CEUR-WS.org, (2019)SIGLOG Monthly 245: January 2024., и . ACM SIGLOG News, 11 (1): 13-20 (января 2024)On Probabilistic Monitorability., , , , , , и . Principles of Systems Design, том 13660 из Lecture Notes in Computer Science, стр. 325-342. Springer, (2022)Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction., , , и . A Journey from Process Algebra via Timed Automata to Model Learning, том 13560 из Lecture Notes in Computer Science, стр. 1-26. Springer, (2022)In search of lost time: Axiomatising parallel composition in process algebras., , , , и . LICS, стр. 1-14. IEEE, (2021)