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

Transition systems over games., und . CSL-LICS, Seite 64:1-64:10. ACM, (2014)Similarity Quotients as Final Coalgebras.. FoSSaCS, Volume 6604 von Lecture Notes in Computer Science, Seite 27-41. Springer, (2011)Infinite Trace Equivalence.. MFPS, Volume 155 von Electronic Notes in Theoretical Computer Science, Seite 467-496. Elsevier, (2005)Amb Breaks Well-Pointedness, Ground Amb Doesn't.. MFPS, Volume 173 von Electronic Notes in Theoretical Computer Science, Seite 221-239. Elsevier, (2007)A Syntactic View of Computational Adequacy., und . FoSSaCS, Volume 10803 von Lecture Notes in Computer Science, Seite 71-87. Springer, (2018)Typed Normal Form Bisimulation for Parametric Polymorphism., und . LICS, Seite 341-352. IEEE Computer Society, (2008)Infinitary Howe's Method.. CMCS, Volume 164 von Electronic Notes in Theoretical Computer Science, Seite 85-104. Elsevier, (2006)Monads and Adjunctions for Global Exceptions.. MFPS, Volume 158 von Electronic Notes in Theoretical Computer Science, Seite 261-287. Elsevier, (2006)Effectful applicative bisimilarity: Monads, relators, and Howe's method., , und . LICS, Seite 1-12. IEEE Computer Society, (2017)Steps and Traces., , und . CMCS, Volume 11202 von Lecture Notes in Computer Science, Seite 122-143. Springer, (2018)