Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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