Autor der Publikation

Algorithms for Game Metrics.

, , , und . FSTTCS, Volume 2 von LIPIcs, Seite 107-118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2008)

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

Synthesizing Protocols for Digital Contract Signing., und . VMCAI, Volume 7148 von Lecture Notes in Computer Science, Seite 152-168. Springer, (2012)Measuring Author Contribution to the Wikipedia, , , und . WikiSym 2008: International Symposium on Wikis, Porto, Portugal, ACM Press, (September 2008)Algorithms for Game Metrics (Full Version), , , und . Logical Methods in Computer Science, (2010)Algorithms for Game Metrics., , , und . FSTTCS, Volume 2 von LIPIcs, Seite 107-118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2008)Code aware resource management., , , , und . Formal Methods Syst. Des., 42 (2): 146-174 (2013)Measuring author contributions to the Wikipedia., , , und . Int. Sym. Wikis, ACM, (2008)Assigning trust to Wikipedia content., , , , , und . Int. Sym. Wikis, ACM, (2008)Assume-guarantee synthesis for digital contract signing., und . Formal Aspects Comput., 26 (4): 825-859 (2014)Ticc: A Tool for Interface Compatibility and Composition., , , , , , und . CAV, Volume 4144 von Lecture Notes in Computer Science, Seite 59-62. Springer, (2006)Code aware resource management., , , und . EMSOFT, Seite 191-202. ACM, (2005)