PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Studer, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Probabilistic Consensus of the Blockchain Protocol.

, , , , and . ECSQARU, volume 11726 of Lecture Notes in Computer Science, page 469-480. Springer, (2019)

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.

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. -Ing. Thomas Maier University of Stuttgart

Increasing Acceptance Through Design: Review of Evaluation Methods for Interaction Design in Mixed Traffic, , and . Proceedings of NordDesign 2024, page 123-132. The Design Society, (2024)

Univ. -Prof. Dr. -Ing. Thomas Bauernhansl University of Stuttgart

Enhancing Ergonomics in Construction Industry Environments: A Digital Solution With Scalable Event-Driven Architecture., , , and . Human Factors and Systems Interaction : Proceedings of the 15th International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences, Nice, France, 24-27 July 2024, 154, AHFE International, (2024)

Dr. Oliver Thomas Stein University of Stuttgart

Predicting NOx Emissions From Porous Media Burners Using Physics-Informed Graph Neural Networks, , and . Proceedings of the 35th Parallel CFD International Conference 2024, 69, page 94-98. Verlag des Forschungszentrums Jülich, (2024)

Ph. D. Thomas Günther University of Stuttgart

 

Other publications of authors with the same name

Extending the system T0 of explicit mathematics: the limit and Mahlo axioms., and . Ann. Pure Appl. Logic, 114 (1-3): 79-101 (2002)A Semantics for [lambda]: a Calculus with Overloading and Late-binding.. J. Log. Comput., 11 (4): 527-544 (2001)Canonical completeness of infinitary mu., , and . J. Log. Algebr. Program., 76 (2): 270-292 (2008)Relevant Justification Logic., and . FLAP, 6 (2): 397-412 (2019)Syntactic cut-elimination for a fragment of the modal mu-calculus., and . Ann. Pure Appl. Logic, 163 (12): 1838-1853 (2012)On the Proof Theory of the Modal mu-Calculus.. Studia Logica, 89 (3): 343-363 (2008)Probabilistic ABox Reasoning: Preliminary Results., and . Description Logics, volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)The Logic of Temporal Domination.. RIVF, page 1-4. IEEE, (2019)Improving Semantic Query Answering., and . DEXA, volume 4653 of Lecture Notes in Computer Science, page 671-679. Springer, (2007)Privacy Preserving Modules for Ontologies.. Ershov Memorial Conference, volume 5947 of Lecture Notes in Computer Science, page 380-387. Springer, (2009)