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

FARM 2016 demo summary., und . FARM@ICFP, Seite 60. ACM, (2016)Systematic Program Design: From Clarity to Efficiency, by Yanhong Annie Liu, Cambridge University Press, 2013, ISBN: 978-1-107-03660-4.. J. Funct. Program., 24 (1): 128-130 (2014)Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial., und . J. Funct. Program., 24 (6): 612 (2014)Generation of LR parsers by partial evaluation., und . ACM Trans. Program. Lang. Syst., 22 (2): 224-264 (2000)Htdp and dmda in the battlefield: a case study in first-year programming instruction., , , , , , , , , und . FDPE@ICFP, Seite 1-12. ACM, (2008)Erfolgreiche Anfängerausbildung im Programmieren., und . GI Jahrestagung (2), Volume P-176 von LNI, Seite 921-926. GI, (2010)Commercial users of functional programming workshop report., und . J. Funct. Program., 23 (6): 701-712 (2013)The Essence of LR Parsing., und . PEPM, Seite 146-155. ACM Press, (1995)Die Macht der Abstraktion - Einführung in die Programmierung., und . Leitfäden der Informatik Teubner, (2007)Self-Applicable Online Partial Evaluation.. Dagstuhl Seminar on Partial Evaluation, Volume 1110 von Lecture Notes in Computer Science, Seite 465-480. Springer, (1996)