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

The Denotational Semantics of a Functional Tree-Manipulation Language.. Comput. Lang., 19 (3): 157-168 (1993)NeST graphs., , und . Discret. Appl. Math., 121 (1-3): 139-153 (2002)Software Engineering by Source Transformation-Experience with TXL., , , und . SCAM, Seite 170-180. IEEE Computer Society, (2001)Functional interpretation of programming models.. University of Toronto, Canada, (1990)Semantic Grep: Regular Expressions + Relational Abstraction., , , und . WCRE, Seite 267-276. IEEE Computer Society, (2002)Union Schemas as a Basis for a C++ Extractor., , und . WCRE, Seite 59-. IEEE Computer Society, (2001)Boxology of NBA and TA: A Basis for Understanding Software Architecture., und . WCRE, Seite 187-195. IEEE Computer Society, (2005)Processing Software Source Text in Automated Design Recovery and Transformation., , , , , und . IWPC, Seite 127-134. IEEE Computer Society, (2001)Generative modeling games for exploratory industry-academic research., und . CESSER-IP@ICSE, Seite 18-21. IEEE / ACM, (2019)Towards Automated Bounded Model Checking of API Implementations., , , und . CSTVA@ISSTA, Volume 1639 von CEUR Workshop Proceedings, Seite 31-42. CEUR-WS.org, (2016)