PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Hillenbrand, Thomas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
System Description: Waldmeister - Improvements in Performance and Ease of Use.

, , und . CADE, Volume 1632 von Lecture Notes in Computer Science, Seite 232-236. Springer, (1999)

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

Ph. D. Thomas Günther University of Stuttgart

Influences on the Fabrication of Diffractive Optical Elements by Injection Compression Molding, , , , und . Journal of manufacturing and materials processing, 2 (1): 5 (2018)
Influences on the Fabrication of Diffractive Optical Elements by Injection Compression Molding, , , , und . Journal of manufacturing and materials processing, 2 (1): 5 (2018)Feasibility of manufacturing packaged electronic systems by thermoset injection molding, , , , , und . 11th Smart Systems Integration Conference 2017 : International Conference and Exhibition on Integration Issues of Miniaturized Systems, Seite 345-354. Red Hook, Curran Associates, Inc., (2017)Investigation on the Influence of Injection Molding Parameters on High Frequency Permittivity up to 3 GHz on MID Thermoplastics and Reliability of Permittivity During Environmental Testing, , , , , , , , , und 2 andere Autor(en). 2018 13th International Congress Molded Interconnect Devices (MID), IEEE, (2018)

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

Die Serie caesiumhaltiger Thioarsenate(V) der Lanthanoide vom Formeltyp Cs3LnAsS42 mit Ln = La–Nd und Sm, und . Zeitschrift für Naturforschung. B, Chemical sciences, 79 (1): 29-38 (2024)

Prof. Dr. Thomas Ertl University of Stuttgart

Metaphorical Visualization : Mapping Data to Familiar Concepts, , , , und . CHI EA '22 : Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems, Seite 10. New York, Association for Computing Machinery, (2022)

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

CW thin-disk laser emitting kW-class beams with radial polarization, , , , , , und . 2017 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC), IEEE, (2017)
 

Weitere Publikationen von Autoren mit dem selben Namen

From Search to Computation: Redundancy Criteria and Simplification at Work., , , und . Programming Logics, Volume 7797 von Lecture Notes in Computer Science, Seite 169-193. Springer, (2013)A Superposition View on Nelson-Oppen.. IJCAR Doctoral Programme, Volume 106 von CEUR Workshop Proceedings, CEUR-WS.org, (2004)System Description: SpassVersion 3.0., , , , und . CADE, Volume 4603 von Lecture Notes in Computer Science, Seite 514-520. Springer, (2007)On the Evaluation of Indexing Techniques for Theorem Proving., , , und . IJCAR, Volume 2083 von Lecture Notes in Computer Science, Seite 257-271. Springer, (2001)Superposition Modulo a Shostak Theory., , und . CADE, Volume 2741 von Lecture Notes in Computer Science, Seite 182-196. Springer, (2003)S PASS Version 2.0., , , , , und . CADE, Volume 2392 von Lecture Notes in Computer Science, Seite 275-279. Springer, (2002)A phytography of WALDMEISTER., und . AI Commun., 15 (2-3): 127-133 (2002)System Description: Waldmeister - Improvements in Performance and Ease of Use., , und . CADE, Volume 1632 von Lecture Notes in Computer Science, Seite 232-236. Springer, (1999)WALDMEISTER: High Performance Equational Theorem Proving., , und . DISCO, Volume 1128 von Lecture Notes in Computer Science, Seite 63-64. Springer, (1996)On using ground joinable equations in equational theorem proving., , und . J. Symb. Comput., 36 (1-2): 217-233 (2003)