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)Enabling Secure Ubiquitous Interactions., , , , , und . Middleware Workshops, Seite 76-80. PUC-Rio, (2003)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)Evaluation and usability of programming languages and tools: (PLATEAU)., , und . Onward!, Seite 119-120. ACM, (2011)A framework for implementing pluggable type systems., , , und . OOPSLA, Seite 57-74. ACM, (2006)Towards concurrency refactoring for x10., , und . PPoPP, Seite 303-304. ACM, (2009)Enforcing and validating user-defined programming disciplines., , , und . PASTE, Seite 85-86. ACM, (2007)Evaluation and usability of programming languages and tools (PLATEAU)., , und . SPLASH/OOPSLA Companion, Seite 265-266. ACM, (2010)