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

Le langage Caml, und . InterEditions, (1994)Skeletal Parallel Programming with OCamlP3l 2.0., , , und . Parallel Process. Lett., 18 (1): 149-164 (2008)Trusting computations: A mechanized proof from partial differential equations to actual program., , , , , und . Comput. Math. Appl., 68 (3): 325-352 (2014)Translating Simulink Models to Modelica using the \NSP Platform., , und . Modelica, Volume 157 von Linköping Electronic Conference Proceedings, Seite 157:089. Linköping University Electronic Press, (2019)Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages, und . SAS, Volume 983 von Lecture Notes in Computer Science, Seite 366-381. Springer, (1995)Image Segmentation with Optimal Control Techniques, , , und . CoRR, (2010)Generic Polymorphism., , und . POPL, Seite 118-129. ACM Press, (1995)On the Implementation of Construction Functions for Non-free Concrete Data Types., , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 95-109. Springer, (2007)