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

CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi.. Electr. Notes Theor. Comput. Sci., (2000)Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy., und . Fundam. Inform., 54 (2-3): 151-164 (2003)Network coding for content-based intermittently connected emergency networks., , , , , und . MobiCom, Seite 123-126. ACM, (2013)Exploring adaptability of secure group communication using formal prototyping techniques., , , und . Adaptive and Reflective Middleware, Seite 232-237. ACM, (2004)Rewriting Logic as a Unifying Framework for Petri Nets., , und . Unifying Petri Nets, Volume 2128 von Lecture Notes in Computer Science, Seite 250-303. Springer, (2001)Priority register: Application-defined replacement orderings for ad hoc reconciliation., , , und . BigData, Seite 1718-1727. IEEE Computer Society, (2015)Tailoring consistency in group membership for mobile networks., , , und . Future Generation Comp. Syst., (2014)An Application Framework for Loosely Coupled Networked Cyber-Physical Systems., , , und . EUC, Seite 144-153. IEEE Computer Society, (2010)ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge., , , , , , , , und . Logic, Rewriting, and Concurrency, Volume 9200 von Lecture Notes in Computer Science, Seite 617-631. Springer, (2015)Tailoring group membership consistency for mobile networks., , , und . CTS, Seite 548-554. IEEE, (2011)