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

Object Propositions., , , und . FM, Volume 8442 von Lecture Notes in Computer Science, Seite 497-513. Springer, (2014)The Oprop verification tool: object propositions in action.. SPLASH (Companion Volume), Seite 89-90. ACM, (2015)Tracking and Sketching Distributed Data Provenance., , und . eScience, Seite 190-197. IEEE Computer Society, (2010)The modularity of object propositions.. MODULARITY (Companion), Seite 22. ACM, (2016)Safely Composable Type-Specific Languages., , , , , und . ECOOP, Volume 8586 von Lecture Notes in Computer Science, Seite 105-130. Springer, (2014)Verifying the proxy design pattern using object propositions.. SPLASH (Companion Volume), Seite 30-32. ACM, (2017)The Implementation of Object Propositions: The Oprop Verification Tool., und . FACS, Volume 10487 von Lecture Notes in Computer Science, Seite 179-197. Springer, (2017)Type-specific languages to fight injection attacks., , , , , und . HotSoS, Seite 18. ACM, (2014)