PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Forster, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Comparing Design Alternatives from Field-Tested Systems to Support Product Line Architecture Design.

, , and . CSMR, page 344-353. IEEE Computer Society, (2005)

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.

David Forster University of Stuttgart

Marius Forster University of Stuttgart

Carolin Forster 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)

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

Multi-protocol Messaging and Streaming Broker for Grasshopper (RabbitMQ_GH), and . Software, (2024)
 

Other publications of authors with the same name

A Consistent Higher-Order Theory Without a (Higher-Order) Model.. Math. Log. Q., 35 (5): 385-386 (1989)An Order-Theoretic Account of Some Set-Theoretic Paradoxes., and . Notre Dame Journal of Formal Logic, 52 (1): 1-19 (2011)A Note on Freedom from Detachment in the Logic of Paradox., , and . Notre Dame Journal of Formal Logic, 54 (1): 15-20 (2013)ZF + 'Every set is the same size as a wellfounded set'.. J. Symb. Log., 68 (1): 1-4 (2003)A Semantic Characterization of the Well-Typed Formulae of gamma-Calculus.. Theor. Comput. Sci., 110 (2): 405-418 (1993)Probleme und Lösungsvorschläge der rechnergestützten Prozessablaufplanung zur Sicherung der Flexibilität, Stabilität und Zuverlässigkeit der Einzel- und Kleinserienfertigung im elektronischen Gerätebau, dargestellt am Beispiel des VEB Numerik "Karl Marx" Karl-Marx-Stadt.. Ingenieurhochschule Mittweida, Germany, (1986)Decidable Fragments of the Simple Theory of Types with Infinity and NF., , and . Notre Dame Journal of Formal Logic, 58 (3): 433-451 (2017)Letter: Why Set Theory Without Foundation?. J. Log. Comput., 4 (4): 333-335 (1994)Recovering Runtime Structures of Software Systems from Static Source Code., , and . Softwaretechnik-Trends, (2013)Weak Systems of Set Theory Related to HOL.. TPHOLs, volume 859 of Lecture Notes in Computer Science, page 193-204. Springer, (1994)