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

MONA Implementation Secrets., , und . CIAA, Volume 2088 von Lecture Notes in Computer Science, Seite 182-194. Springer, (2000)Input-Output Analysis of Power Control in Wireless Networks., und . IEEE Trans. Automat. Contr., 58 (4): 834-846 (2013)PowerForms: Declarative client-side form field validation., , , und . World Wide Web, 3 (4): 205-214 (2000)Systematic approaches for increasing soundness and precision of static analyzers., , und . SOAP@PLDI, Seite 31-36. ACM, (2017)Modeling the HTML DOM and browser API in static analysis of JavaScript web applications., , und . SIGSOFT FSE, Seite 59-69. ACM, (2011)XML graphs in program analysis., und . PEPM, Seite 1-10. ACM, (2007)MONA 1.x: New Techniques for WS1S and WS2S., , und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 516-520. Springer, (1998)Precise Analysis of String Expressions., , und . SAS, Volume 2694 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2003)Static Analysis for Java Servlets and JSP., und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 336-352. Springer, (2006)The <bigwig> project., , und . ACM Trans. Internet Techn., 2 (2): 79-114 (2002)