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

Building a push-button RESOLVE verifier: Progress and challenges.

M. Sitaraman, B. Adcock, J. Avigad, D. Bronish, P. Bucci, D. Frazier, H. Friedman, H. Harton, W. Heym, J. Kirschenbaum, J. Krone, H. Smith, und B. Weide. Formal Asp. Comput., 23 (5): 607-626 (2011)

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.

K. Stahl

K. Gaiser

K. Lindow

Grzegorz K. Karch

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)

Weitere Publikationen von Autoren mit dem selben Namen

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?J. Kirschenbaum, B. Adcock, D. Bronish, H. Smith, H. Harton, M. Sitaraman, und B. Weide. ICSR, Volume 5791 von Lecture Notes in Computer Science, Seite 31-40. Springer, (2009)Formal Program Verification.H. Harton, M. Sitaraman, und J. Krone. Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Engaging students in specification and reasoning: "hands-on" experimentation and evaluation.M. Sitaraman, J. Hallstrom, J. White, S. Drachova-Strang, H. Harton, D. Leonard, J. Krone, und R. Pak. ITiCSE, Seite 50-54. ACM, (2009)Generating Verified Java Components through RESOLVE.H. Smith, H. Harton, D. Frazier, R. Mohan, und M. Sitaraman. ICSR, Volume 5791 von Lecture Notes in Computer Science, Seite 11-20. Springer, (2009)Incremental Benchmarks for Software Verification Tools and Techniques.B. Weide, M. Sitaraman, H. Harton, B. Adcock, P. Bucci, D. Bronish, W. Heym, J. Kirschenbaum, und D. Frazier. VSTTE, Volume 5295 von Lecture Notes in Computer Science, Seite 84-98. Springer, (2008)Building a push-button RESOLVE verifier: Progress and challenges.M. Sitaraman, B. Adcock, J. Avigad, D. Bronish, P. Bucci, D. Frazier, H. Friedman, H. Harton, W. Heym, J. Kirschenbaum und 3 andere Autor(en). Formal Asp. Comput., 23 (5): 607-626 (2011)The Location Linking Concept: A Basis for Verification of Code Using Pointers.G. Kulczycki, H. Smith, H. Harton, M. Sitaraman, W. Ogden, und J. Hollingsworth. VSTTE, Volume 7152 von Lecture Notes in Computer Science, Seite 34-49. Springer, (2012)A Language for Building Verified Software Components.G. Kulczycki, M. Sitaraman, J. Krone, J. Hollingsworth, W. Ogden, B. Weide, P. Bucci, C. Cook, S. Drachova-Strang, B. Durkee und 8 andere Autor(en). ICSR, Volume 7925 von Lecture Notes in Computer Science, Seite 308-314. Springer, (2013)Specification engineering and modular verification using a web-integrated verifying compiler.C. Cook, H. Harton, H. Smith, und M. Sitaraman. ICSE, Seite 1379-1382. IEEE Computer Society, (2012)