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

Composing Software Defined Networks., , , , und . NSDI, Seite 1-13. USENIX Association, (2013)Dynamic Typing with Dependent Types., , , und . IFIP TCS, Volume 155 von IFIP, Seite 437-450. Kluwer/Springer, (2004)Cyber - Transparencies, Assurance and Deterrence., , , und . CyberSecurity, Seite 119-126. IEEE Computer Society, (2012)Clinical application of SPHARM-PDM to quantify temporomandibular joint osteoarthritis., , , , , und . Comp. Med. Imag. and Graph., 35 (5): 345-352 (2011)The next 700 data description languages., , und . J. ACM, 57 (2): 10:1-10:51 (2010)Management Information Base for Telephony Routing over IP (TRIP)., , und . RFC, (September 2004)Incremental learning of system log formats., , und . Operating Systems Review, 44 (1): 85-90 (2010)LearnPADS + + : Incremental Inference of Ad Hoc Data Formats., , und . PADL, Volume 7149 von Lecture Notes in Computer Science, Seite 168-182. Springer, (2012)Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement., , , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 305-323. Springer, (2019)Alias Types for Recursive Data Structures., und . Types in Compilation, Volume 2071 von Lecture Notes in Computer Science, Seite 177-206. Springer, (2000)