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.

 

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

Blockchain and the Common Good Reimagined., и . CoRR, (2019)A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)., , , , , , , , , и 6 other автор(ы). CoRR, (2018)Device-Centric Monitoring for Mobile Device Management., , и . FESCA@ETAPS, том 205 из EPTCS, стр. 31-44. (2016)Contracts for Interacting Two-Party Systems, и . FLACOS, том 94 из EPTCS, стр. 21-30. (2012)A General Theory of Contract Conflicts with Environmental Constraints.. JURIX, том 334 из Frontiers in Artificial Intelligence and Applications, стр. 83-92. IOS Press, (2020)Types of Rights in Two-Party Systems: A Formal Analysis., и . JURIX, том 250 из Frontiers in Artificial Intelligence and Applications, стр. 105-114. IOS Press, (2012)An Automata-Based Formalism for Normative Documents with Real-Time., , и . JURIX, том 362 из Frontiers in Artificial Intelligence and Applications, стр. 158-163. IOS Press, (2022)Compensation-Aware Runtime Monitoring., , и . RV, том 6418 из Lecture Notes in Computer Science, стр. 214-228. Springer, (2010)Using testing techniques to classify user interface designs., и . EICS, стр. 159-164. ACM, (2016)A Framework for the Generation of Computer System Diagnostics in Natural Language using Finite State Methods., , и . ENLG, стр. 52-56. The Association for Computer Linguistics, (2015)