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

Darstellung formaler Beweise.. Ausgezeichnete Informatikdissertationen, Vieweg+Teubner Verlag, (1996)Irregular computations in Fortran - expression and implementation strategies., , und . Scientific Programming, 7 (3-4): 313-326 (1999)A virtual environment for steered molecular dynamics., , , , und . Future Generation Comp. Syst., 15 (4): 485-495 (1999)An Approach to Literate and Structured Formal Developments., und . Formal Asp. Comput., 8 (1): 86-107 (1996)The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)., , , und . Dagstuhl Reports, 8 (2): 122-149 (2018)Algebraic Composition and Refinement of Proofs., und . AMAST, Volume 1349 von Lecture Notes in Computer Science, Seite 494-508. Springer, (1997)Proof Presentation for Isabelle.. TPHOLs, Volume 1275 von Lecture Notes in Computer Science, Seite 259-274. Springer, (1997)A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages., und . ASIAN, Volume 1179 von Lecture Notes in Computer Science, Seite 234-243. Springer, (1996)Ansätze zur Integration von energieeffizienten Intelligenten Kommunikationskontrollern für FlexRay in Autosar., , , und . GI-Jahrestagung, Volume P-192 von LNI, Seite 217. GI, (2011)The Generic Development Language Deva: Presentation and Case Studies, , und . Lecture Notes in Computer Science Springer, (1993)