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

Calculating Software Generators from Solution Specifications., , , , , , , , und . TAPSOFT, Volume 915 von Lecture Notes in Computer Science, Seite 546-560. Springer, (1995)A Software Engineering Experiment in Software Component Generation., , , , , , , , , und . ICSE, Seite 542-552. IEEE Computer Society, (1996)Situation awareness, scenarios, and secondary tasks: measuring driver performance and safety margins in highly automated vehicles, , , , , , , , und . SAE International Journal of Connected and Automated Vehicles, 1 (2016-01-0145): 33--40 (2016)Programming with Algebras., und . Advanced Functional Programming, Volume 925 von Lecture Notes in Computer Science, Seite 267-307. Springer, (1995)Software design for reliability and reuse: a proof-of-concept demonstration., , , , , , , , , und 2 andere Autor(en). TRI-Ada, Seite 396-404. ACM, (1994)Symbolic Simulation of Microprocessor Models using Type Classes in Haskell., , und . CHARME, Volume 1703 von Lecture Notes in Computer Science, Seite 346-349. Springer, (1999)VRACK - virtual reality augmented cycling kit: Design and validation., , , , , und . VR, Seite 135-138. IEEE Computer Society, (2010)Examination of corticothalamic fiber projections in United States service members with mild traumatic brain injury., , , , , , , und . SIPAIM, Volume 10572 von SPIE Proceedings, Seite 105720D. SPIE, (2017)Towards Using Probabilities and Logic to Model Regulatory Networks., , , und . CBMS, Seite 239-242. IEEE Computer Society, (2014)Implicit Parameters: Dynamic Scoping with Static Types., , , und . POPL, Seite 108-118. ACM, (2000)