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

Reduction of Interrupt Handler Executions for Model Checking Embedded Software.

B. Schlich, T. Noll, J. Brauer, und L. Brutschy. Haifa Verification Conference, Volume 6405 von Lecture Notes in Computer Science, Seite 5-20. Springer, (2009)

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.

Dr. Bettina Noll University of Stuttgart

Lennart Nölle University of Stuttgart

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)

Jun. -Prof. Dr. Thomas Wortmann University of Stuttgart

Supplemental Materials for: Visual Analysis of Fitness Landscapes in Architectural Design OptimizationM. Abdelaal, M. Galuschka, M. Zorn, F. Kannenberg, A. Menges, T. Wortmann, D. Weiskopf, und K. Kurzhals. Software, (2024)Related to: Manuscript accepted for publication in the Visual Computer journal.

Thomas Maier

Weitere Publikationen von Autoren mit dem selben Namen

Verifying Dynamic Pointer-Manipulating Threads.T. Noll, und S. Rieger. FM, Volume 5014 von Lecture Notes in Computer Science, Seite 84-99. Springer, (2008)Loop Refinement Using Octagons and Satisfiability.V. Kamin, und T. Noll. SSV, USENIX Association, (2010)Speeding Up the Safety Verification of Programmable Logic Controller Code.T. Lange, M. Neuhäußer, und T. Noll. Haifa Verification Conference, Volume 8244 von Lecture Notes in Computer Science, Seite 44-60. Springer, (2013)Incremental Construction of Greibach Normal Form.M. Bals, C. Jansen, und T. Noll. TASE, Seite 165-168. IEEE Computer Society, (2013)Graph-Based Shape Analysis Beyond Context-Freeness.H. Arndt, C. Jansen, C. Matheja, und T. Noll. SEFM, Volume 10886 von Lecture Notes in Computer Science, Seite 271-286. Springer, (2018)Insiders' Choice: Studying Pitch Class Sets Through Their Discrete Fourier Transformations.T. Noll. MCM, Volume 11502 von Lecture Notes in Computer Science, Seite 371-378. Springer, (2019)Triads as Modes within Scales as Modes.T. Noll. MCM, Volume 9110 von Lecture Notes in Computer Science, Seite 373-384. Springer, (2015)Exploring the Syntonic Side of Major-Minor Tonality.T. Noll, und D. Clampitt. MCM, Volume 11502 von Lecture Notes in Computer Science, Seite 125-136. Springer, (2019)An Integrated Approach to Semantic Evaluation and Content-Based Retrieval of Multimedia Documents.A. Knoll, C. Altenschmidt, J. Biskup, H. Blüthgen, I. Glöckner, S. Hartrumpf, H. Helbig, C. Henning, R. Lüling, B. Monien und 2 andere Autor(en). ECDL, Volume 1513 von Lecture Notes in Computer Science, Seite 409-428. Springer, (1998)Model-based energy optimization of automotive control systems.J. Katoen, T. Noll, H. Wu, T. Santen, und D. Seifert. DATE, Seite 761-766. EDA Consortium San Jose, CA, USA / ACM DL, (2013)