Autor der Publikation

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.

Dr. Michael Böhm University of Stuttgart

Multi-Stage Optimization for Long-Term Building Climate Operation with Seasonal Thermal Storage, , und . 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE), IEEE, (2023)

Univ. -Prof. Dr. Michael Pradel University of Stuttgart

That’s a Tough Call : Studying the Challenges of Call Graph Construction for WebAssembly, , , und . ISSTA 2023 : Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seite 892-903. New York, Association for Computing Machinery, (2023)
That’s a Tough Call : Studying the Challenges of Call Graph Construction for WebAssembly, , , und . ISSTA 2023 : Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seite 892-903. New York, Association for Computing Machinery, (2023)Beware of the Unexpected : Bimodal Taint Analysis, , und . ISSTA 2023 : Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seite 211-222. New York, Association for Computing Machinery, (2023)
 

Weitere Publikationen von Autoren mit dem selben Namen

Erklärung als Problemlösung: die Generierung von Erklärungen als Anwendungsproblem von Expertensystemen.. University of Duisburg-Essen, Germany, (1998)Coupling 3D and 1D Skeletal Muscle Models, , und . PAMM, 12 (1): 111--112 (2012)A 3D continuum-mechanical model for forward-dynamics simulations of the upper limb. Universität Stuttgart, Stuttgart, Dissertation, (2015)Towards a Better Understanding of Skeletal Muscle Models On Lumbar Spine Mechanics, , , , , , und . Proceedings of the World Congress on Biomechanics, (2010)Semantic interpretation of pragmatic clues: connectives, modal verbs, and indirect speech acts., und . COLING, Seite 191-195. John von Neumann Society for Computing Sciences, Budapest, (1988)Extraction and Visual Analysis of Potential Vorticity Banners around the Alps., , , , , und . IEEE Trans. Vis. Comput. Graph., 26 (1): 259-269 (2020)Multiscale skeletal muscle modeling: from cellular level to a multi-segment skeletal muscle model of the upper limb, , , und . Computer models in biomechanics, Springer, Dordrecht, (2013)On the coupling of 3D-1D muscle models for lumbar spine mechanics, , , und . Proceedings in Applied Mathematics and Mechanics, Graz, (2011)Towards modelling the dynamics of a 3D continuum-mechanical two-muscle musculoskeletal system, , und . PAMM, 13 (1): 65--66 (2013)From Meaning to Meaning: A Walk Through WISBER's Semantic-Pragmatic Processing., , , , , , und . GWAI, Volume 181 von Informatik-Fachberichte, Seite 118-129. Springer, (1988)