Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient Testing of Different Loop Paths.

S. Huster, S. Burg, H. Eichelberger, J. Laufenberg, J. Ruf, T. Kropf, und W. Rosenstiel. SEFM, Volume 9276 von Lecture Notes in Computer Science, Seite 117-131. Springer, (2015)

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.

Dipl.-Ing. Thomas Kuestner

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?J. Taron, P. Martirosian, T. Küstner, M. Notohamiprodjo, J. Weiß, A. Othman, K. Nikolaou, und C. Schraml. Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?J. Taron, P. Martirosian, T. Küstner, M. Notohamiprodjo, J. Weiß, A. Othman, K. Nikolaou, und C. Schraml. Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)The use of a generalized reconstruction by inversion of coupled systems (GRICS) approach for generic respiratory motion correction in PET/MR imagingH. Fayad, F. Odille, H. Schmidt, C. Würslin, T. Küstner, J. Felblinger, und D. Visvikis. Physics in medicine and biology, 60 (6): 2529-46 (März 2015)In-vivo MR-derived non-rigid motion correction of simultaneously acquired PETT. Küstner, C. Würslin, S. Gatidis, P. Martirosian, N. Schwenzer, B. Yang, und H. Schmidt. Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Toronto, Canada, (Juni 2015)

Univ. -Prof. Dr. Thomas Graf University of Stuttgart

Bending of Lloyd’s mirror to eliminate the period chirp in the fabrication of diffraction gratingsF. Bienert, C. Röcker, T. Graf, und M. Ahmed. Optics Express, 32 (10): 18430 (Mai 2024)

Univ. -Prof. Dr. Thomas Schleid University of Stuttgart

PD Dr. -Ing. Günter Thomas University of Stuttgart

Thomas Maier

Weitere Publikationen von Autoren mit dem selben Namen

Abstract Testing: Connecting Source Code Verification with Requirements.F. Merz, C. Sinz, H. Post, T. Gorges, und T. Kropf. QUATIC, Seite 89-96. IEEE Computer Society, (2010)A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL.R. Reetz, und T. Kropf. Formal Methods in System Design, 7 (1/2): 73-99 (1995)Coverage Driven Verification applied to Embedded Software.D. Lettnin, M. Winterholer, A. Braun, J. Gerlach, J. Ruf, T. Kropf, und W. Rosenstiel. ISVLSI, Seite 159-164. IEEE Computer Society, (2007)The simulation semantics of systemC.J. Ruf, D. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiel, und W. Müller. DATE, Seite 64-70. IEEE Computer Society, (2001)Formal Specification in VHDL for Hardware Verification.R. Reetz, K. Schneider, und T. Kropf. DATE, Seite 257-263. IEEE Computer Society, (1998)A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems.T. Kropf, J. Ruf, K. Schneider, und M. Wild. MBMV, Seite 11-20. HNI-Verlagsschriften, (1998)Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen.H. Eichelberger, P. Heckeler, S. Huster, S. Burg, J. Ruf, T. Kropf, W. Rosenstiel, und B. Schlich. MBMV, Seite 161-170. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path.K. Schneider, T. Kropf, und R. Kumar. EDAC-ETC-EUROASIC, Seite 648-652. IEEE Computer Society, (1994)A New Model to Uniformly Represent the Function and Timing of MOS Circuits and its Application to VHDL Simulation.J. Frößl, und T. Kropf. EDAC-ETC-EUROASIC, Seite 343-348. IEEE Computer Society, (1994)Formal Data Analysis of Timed Finite State Systems.J. Ruf, und T. Kropf. ECRTS, Seite 257-. IEEE Computer Society, (2002)