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

Safe Compositional Equation-based Modeling of Constrained Flow Networks., , , und . EOOLT, Volume 56 von Linköping Electronic Conference Proceedings, Seite 35-44. Linköping University Electronic Press, (2011)A Basis for Theoretical Computer Science., , und . Texts and Monographs in Computer Science Springer, (1981)Safe compositional network sketches: formal framework., , , und . HSCC, Seite 231-241. ACM, (2010)A calculus for java's reference objects., und . ACM SIGPLAN Notices, 42 (8): 9-17 (2007)The Complexity of Restricted Variants of the Stable Paths Problem., , und . Fundam. Informaticae, 103 (1-4): 69-87 (2010)Programming Examples Needing Polymorphic Recursion., und . ITRS, Volume 136 von Electronic Notes in Theoretical Computer Science, Seite 57-102. Elsevier, (2004)A Typed Model for Encoding-Based Protocol Interoperability., , und . ICNP, Seite 72-83. IEEE Computer Society, (2004)Typed Abstraction of Complex Network Compositions., , , und . ICNP, Seite 289-300. IEEE Computer Society, (2005)A Programming Approach to Computability, , und . Texts and Monographs in Computer Science Springer, (1982)Efficient reassembling of graphs, part 1: the linear case., und . J. Comb. Optim., 33 (3): 1057-1089 (2017)