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

Inference of User-Defined Type Qualifiers and Qualifier Rules., , , und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 264-278. Springer, (2006)Mobile Contagion: Simulation of Infection and Defense., , , , und . PADS, Seite 80-87. IEEE Computer Society, (2005)A framework for implementing pluggable type systems., , , und . OOPSLA, Seite 57-74. ACM, (2006)Evaluation and usability of programming languages and tools: (PLATEAU)., , und . Onward!, Seite 119-120. ACM, (2011)Towards concurrency refactoring for x10., , und . PPoPP, Seite 303-304. ACM, (2009)Enabling Secure Ubiquitous Interactions., , , , , und . Middleware Workshops, Seite 76-80. PUC-Rio, (2003)JavaCOP: Declarative pluggable types for java., , , , , und . ACM Trans. Program. Lang. Syst., 32 (2): 4:1-4:37 (2010)Evaluation and usability of programming languages and tools (plateau)., , und . OOPSLA Companion, Seite 1053-1054. ACM, (2009)Semantic type qualifiers., , und . PLDI, Seite 85-95. ACM, (2005)Securing nomads: the case for quarantine, examination, and decontamination., , , , , und . NSPW, Seite 123-128. ACM, (2003)