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

Proving Termination of Programs Automatically with AProVE.

J. Giesl, M. Brockschmidt, F. Emmes, F. Frohn, C. Fuhs, C. Otto, M. Plücker, P. Schneider-Kamp, T. Ströder, S. Swiderski, und R. Thiemann. IJCAR, Volume 8562 von Lecture Notes in Computer Science, Seite 184-191. Springer, (2014)

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

Efficient delivery of sub-ps laser pulses with pulse energies exceeding 100 µJ at average powers of up to 95 W through a hollow-core fiberT. Kühlthau, B. Chen, T. Graf, und M. Abdou Ahmed. Applied Physics B, 131 (9): 177 (25.08.2025)

Ph. D. Thomas Günther University of Stuttgart

Thomas Bauernhansel

Thomas Münzing

Weitere Publikationen von Autoren mit dem selben Namen

Proving Termination of Programs Automatically with AProVE.J. Giesl, M. Brockschmidt, F. Emmes, F. Frohn, C. Fuhs, C. Otto, M. Plücker, P. Schneider-Kamp, T. Ströder, S. Swiderski und 1 andere Autor(en). IJCAR, Volume 8562 von Lecture Notes in Computer Science, Seite 184-191. Springer, (2014)Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution.J. Hensel, J. Giesl, F. Frohn, und T. Ströder. SEFM, Volume 9763 von Lecture Notes in Computer Science, Seite 234-252. Springer, (2016)Proving Termination and Memory Safety for Programs with Pointer Arithmetic.T. Ströder, J. Giesl, M. Brockschmidt, F. Frohn, C. Fuhs, J. Hensel, und P. Schneider-Kamp. IJCAR, Volume 8562 von Lecture Notes in Computer Science, Seite 208-223. Springer, (2014)Automated termination analysis for logic programs with cut.P. Schneider-Kamp, J. Giesl, T. Ströder, A. Serebrenik, und R. Thiemann. TPLP, 10 (4-6): 365-381 (2010)A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog.T. Ströder, F. Emmes, P. Schneider-Kamp, J. Giesl, und C. Fuhs. LOPSTR, Volume 7225 von Lecture Notes in Computer Science, Seite 237-252. Springer, (2011)Dependency Triples for Improving Termination Analysis of Logic Programs with Cut.T. Ströder, P. Schneider-Kamp, und J. Giesl. LOPSTR, Volume 6564 von Lecture Notes in Computer Science, Seite 184-199. Springer, (2010)AProVE: Termination and Memory Safety of C Programs - (Competition Contribution).T. Ströder, C. Aschermann, F. Frohn, J. Hensel, und J. Giesl. TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 417-419. Springer, (2015)Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs.J. Giesl, T. Ströder, P. Schneider-Kamp, F. Emmes, und C. Fuhs. PPDP, Seite 1-12. ACM, (2012)Inferring Lower Bounds for Runtime Complexity.F. Frohn, J. Giesl, J. Hensel, C. Aschermann, und T. Ströder. RTA, Volume 36 von LIPIcs, Seite 334-349. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)Realising Deterministic Behavior from Multiple Non-Deterministic Behaviors.T. Ströder, und M. Pagnucco. IJCAI, Seite 936-941. (2009)