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

Verifying Temporal Trust Logic using CTL Model Checking., , , und . TRUST@AAMAS, Volume 2154 von CEUR Workshop Proceedings, Seite 62-74. CEUR-WS.org, (2018)Formalizing Group and Propagated Trust in Multi-Agent Systems., , , und . IJCAI, Seite 60-66. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Real-Time Conditional Commitment Logic., , , , , und . PRIMA, Volume 9387 von Lecture Notes in Computer Science, Seite 547-556. Springer, (2015)