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.

 

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

Reasoning about Smart Contracts via LTL Encoding., , и . SEBD, том 3194 из CEUR Workshop Proceedings, стр. 309-316. CEUR-WS.org, (2022)Reasoning About Smart Contracts Encoded in LTL., , и . AI*IA, том 13196 из Lecture Notes in Computer Science, стр. 123-136. Springer, (2021)LiSE: A Personal Booklet for Health Care Annotation., , , , , , , и . ICHI, стр. 362-367. IEEE Computer Society, (2015)A Knowledge-Based Framework for Supporting and Analysing Loosely Structured Collaborative Processes., , , , и . ADBIS (local proceedings), стр. 140-153. Tampere University of Technology. Pori. Publication, (2008)