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

Parametric Program Slicing., , und . POPL, Seite 379-392. ACM Press, (1995)Incremental Reduction and Semantics.. Cornell University, USA, (1991)Ecological and economic considerations in the conservation and management of the Pacific sardine (Sardinops sagax), , , und . Canadian Journal of Fisheries and Aquatic Sciences, 66 (5): 859--868 (Mai 2009)Typestate Verification: Abstraction Techniques and Complexity Results., , , und . SAS, Volume 2694 von Lecture Notes in Computer Science, Seite 439-462. Springer, (2003)Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications., , und . COORDINATION, Volume 4467 von Lecture Notes in Computer Science, Seite 76-95. Springer, (2007)Dynamic dependence in term rewriting systems and its application to program slicing., und . Inf. Softw. Technol., 40 (11-12): 609-636 (1998)Semantics-based reverse engineering of object-oriented data models., , , und . ICSE, Seite 192-201. ACM, (2006)Identifying Procedural Structure in Cobol Programs., und . PASTE, Seite 1-10. ACM, (1999)On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis.. POPL, Seite 1-15. ACM Press, (1990)Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments., und . POPL, Seite 195-208. ACM, (2005)