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

Software analysis: a roadmap, und . ICSE '00: Proceedings of the Conference on The Future of Software Engineering - Future of SE Track, Seite 133-145. (2000)Aspect: Detecting Bugs with Abstract Dependences.. ACM Trans. Softw. Eng. Methodol., 4 (2): 109-145 (1995)Panopticon: a parallel video overview system., , , , , und . UIST, Seite 123-130. ACM, (2013)Idioms of Logical Modelling.. ICGT, Volume 4178 von Lecture Notes in Computer Science, Seite 14. Springer, (2006)Automating first-order relational logic.. SIGSOFT FSE, Seite 130-139. ACM, (2000)Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector., und . ISSTA, Seite 239-249. ACM, (1996)Module Dependences in Software Design.. RISSEF, Volume 2941 von Lecture Notes in Computer Science, Seite 198-203. Springer, (2002)Critical Feature Analysis of a Radiotherapy Machine., , , , und . SAFECOMP, Volume 2788 von Lecture Notes in Computer Science, Seite 221-234. Springer, (2003)αRby - An Embedding of Alloy in Ruby., , und . ABZ, Volume 8477 von Lecture Notes in Computer Science, Seite 56-71. Springer, (2014)A Structure for Dependability Arguments., und . ASM, Volume 5977 von Lecture Notes in Computer Science, Seite 1. Springer, (2010)