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.

 

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

Process algebras for systems diagnosis., , и . Artif. Intell., 142 (1): 19-51 (2002)Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances?, и . EC-TEL, том 5794 из Lecture Notes in Computer Science, стр. 651-656. Springer, (2009)Towards a Runtime Verification Approach for Internet of Things Systems., , , , , и . ICWE Workshops, том 11153 из Lecture Notes in Computer Science, стр. 83-96. Springer, (2018)A Collaborative Environment for the Design of Accessible Educational Objects., , и . Web Intelligence/IAT Workshops, стр. 207-210. IEEE Computer Society, (2009)978-0-7695-3801-3.Stochastic Petri net semantics for stochastic process algebras.. PNPM, стр. 148-157. IEEE Computer Society, (1995)Neighbor-of-neighbor routing over deterministically modulated Chord-like DHTs., и . IPDPS, стр. 1-8. IEEE, (2008)An Abstract Machine for Asynchronous Programs with Closures and Priority Queues., , , , , , и . RP, том 10506 из Lecture Notes in Computer Science, стр. 59-74. Springer, (2017)Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things., , , , , и . ALP4IoT@iFM, том 264 из EPTCS, стр. 27-42. (2017)Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study., , , , , , и . ENASE, стр. 434-441. SciTePress, (2019)Civic participation powered by ethereum: a proposal., и . Programming, стр. 15:1-15:6. ACM, (2019)