Autor der Publikation

Specification and verification of mobile real-time systems.

. Ausgezeichnete Informatikdissertationen, Volume D-7 von LNI, GI, (2006)

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

Shader-Based-Image-Processor - Ein Framework für echtzeitfähige, grafikkartenbasierte Bilderverarbeitung., , , und . Informatiktage, Volume S-9 von LNI, Seite 223-226. GI, (2010)Discourse Knowledge Management in Communities of Practice., und . DEXA Workshops, Seite 782-786. IEEE Computer Society, (2003)Verlässlichkeitsanalyse paketvermittelnder Neztwerke mittels diskreter ereignisorientierter Simulation.. Karlsruhe Institute of Technology, (2004)Klassifikationsbäume als Testrahmen für den Modultest automatisiert erzeugen., und . Softwaretechnik-Trends, (2015)Advanced MRI techniques to improve our understanding of experience-induced neuroplasticity., , , , , , , und . NeuroImage, (2016)Specification and verification of mobile real-time systems.. Ausgezeichnete Informatikdissertationen, Volume D-7 von LNI, GI, (2006)Using magnetic field simulation to study susceptibility-related phase contrast in gradient echo MRI., , , und . NeuroImage, 48 (1): 126-137 (2009)A subject-specific framework for in vivo myeloarchitectonic analysis using high resolution quantitative MRI., , , , , , und . NeuroImage, (2016)Multi-contrast multi-scale surface registration for improved alignment of cortical areas., , , , , und . NeuroImage, (2015)Baseline oxygenation in the brain: Correlation between respiratory-calibration and susceptibility methods., , , , , , , und . NeuroImage, (2016)