Autor der Publikation

A Tableaux-based Mobile DL Reasoner - An Experience Report.

, , , und . Description Logics, Volume 189 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)

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

Conditional Flow Variational Autoencoders for Structured Sequence Prediction., , , , und . CoRR, (2019)A Tableaux-based Mobile DL Reasoner - An Experience Report., , , und . Description Logics, Volume 189 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)SIMA: Simultaneous Multiple Alignment of LC/MS Peak Lists., , , , , , und . Bioinformatics, 27 (7): 987-993 (2011)Multivariate Watershed Segmentation of Compositional Data., , , , , und . DGCI, Volume 5810 von Lecture Notes in Computer Science, Seite 180-192. Springer, (2009)Fast greedy insertion and deletion in sparse Gaussian process regression, , , , und . Proceedings / 23rd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2015, Seite 101-106. Louvain-la-Neuve, Ciaco, (2015)CNN-based sensor fusion techniques for multimodal human activity recognition., , , , , und . ISWC, Seite 158-165. ACM, (2017)