Autor der Publikation

ELPI - Die Elektronische Pinwand zur Evaluation von Lehrveranstaltungen.

, und . Mensch & Computer, Seite 281-284. Oldenbourg Verlag, (2007)

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

AtoCC: learning environment for teaching theory of automata and formal languages., und . ITiCSE, Seite 306. ACM, (2006)Vom Lehrplan zur LehrerInnenbildung - Erste Erfahrungen mit obligatorischer Informatikdidaktik für angehende Schweizer PrimarlehrerInnen., und . INFOS, Volume P-274 von LNI, Seite 97-107. (2017)Kriterien für die automatisierte Bewertung von user-generated educational Microcontent., und . DeLFI, Volume P-233 von LNI, Seite 73-84. GI, (2014)Signalserver - Bedarfsgesteuerter Download dynamischer Webseiten., , und . Informatik Spektrum, 33 (6): 612-620 (2010)Ein "LP-schweres" Problem - Theoretische Informatik im Unterricht., und . LOG IN, 28 (150/151): 69-73 (2008)ELPI - Die Elektronische Pinwand zur Evaluation von Lehrveranstaltungen., und . Mensch & Computer, Seite 281-284. Oldenbourg Verlag, (2007)FLACI - Eine Lernumgebung für theoretische Informatik., und . INFOS, Volume P-288 von LNI, Seite 211-220. Gesellschaft für Informatik, (2019)AtoCC - didaktischer Ort und erste Erfahrungen., und . INFOS, Volume P-112 von LNI, Seite 159-170. GI, (2007)Entwicklung eines Autorenwerkzeuges für digitale, multimediale und interaktive Lernbausteine im Web 2.0., , und . DeLFI, Volume P-218 von LNI, Seite 203-214. GI, (2013)Autorenwerkzeuge für digitale, multimediale und interaktive Lernbausteine im Web 2.0.. Johannes Gutenberg University Mainz, (2012)