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

Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks., und . IEEE Real-Time and Embedded Technology and Applications Symposium, Seite 541-549. IEEE Computer Society, (2005)A Type System Equivalent to a Model Checker., und . ESOP, Volume 3444 von Lecture Notes in Computer Science, Seite 374-388. Springer, (2005)Panel: Aims, Means, and Future of Object-Oriented Languages., , , und . ECOOP, Volume 707 von Lecture Notes in Computer Science, Seite 528-530. Springer, (1993)Type Inference for Place-Oblivious Objects., und . ECOOP, Volume 37 von LIPIcs, Seite 371-395. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)Decomposing Opacity., und . DISC, Volume 8784 von Lecture Notes in Computer Science, Seite 391-405. Springer, (2014)Register allocation by puzzle solving., und . PLDI, Seite 216-226. ACM, (2008)Verification of Register Allocators.. VMCAI, Volume 4905 von Lecture Notes in Computer Science, Seite 6. Springer, (2008)A type system equivalent to a model checker., und . ACM Trans. Program. Lang. Syst., 30 (5): 29:1-29:24 (2008)Efficient Inference of Object Types. LICS, Seite 186-195. IEEE Computer Society, (1994)D.A.S.: deployment analysis system., , , und . SenSys, Seite 301. ACM, (2005)