PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Noll, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Improving Generalization in Software IC3.

, , , , and . SPIN, volume 10869 of Lecture Notes in Computer Science, page 85-102. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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?, , , , , , , and . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

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

Crystal structures and thermal analyses of three new high-energy hydrazinium hydro-closo-borates, , , and . International journal of hydrogen energy, 49 (A): 1469-1477 (2024)

Dr. -Ing. Thomas Stehle University of Stuttgart

Numerical Modeling of Cutting Characteristics during Short Hole Drilling : Modeling of Kinetic Characteristics, , and . Journal of manufacturing and materials processing, 7 (6): 195 (2023)
 

Other publications of authors with the same name

Graph-Based Shape Analysis Beyond Context-Freeness., , , and . SEFM, volume 10886 of Lecture Notes in Computer Science, page 271-286. Springer, (2018)Opuscope - Towards a Corpus-Based Music Repository., , , , and . ISMIR, (2002)A verification tool for ERLANG., , , , , and . STTT, 4 (4): 405-420 (2003)The Universality of Higher-Order Attributed Tree Transducers., and . Theory Comput. Syst., 34 (1): 45-75 (2001)Equational Abstractions for Reducing the State Space of Rewrite Theories., and . Electr. Notes Theor. Comput. Sci., 238 (3): 139-154 (2009)Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic., , , , and . CoRR, (2016)Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic., , , , and . ESOP, volume 10201 of Lecture Notes in Computer Science, page 611-638. Springer, (2017)Insiders' Choice: Studying Pitch Class Sets Through Their Discrete Fourier Transformations.. MCM, volume 11502 of Lecture Notes in Computer Science, page 371-378. Springer, (2019)Triads as Modes within Scales as Modes.. MCM, volume 9110 of Lecture Notes in Computer Science, page 373-384. Springer, (2015)Exploring the Syntonic Side of Major-Minor Tonality., and . MCM, volume 11502 of Lecture Notes in Computer Science, page 125-136. Springer, (2019)