Research Interests Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing (see also Publications, Students & Co-authors) Projects Logosphere A Formal Digital Library Triple Type Refinement in Programming Languages ConCert Language Technology for Trustless Software Dissemination Twelf Logical and Meta-Logical Frameworks SeLF Distributed System Security via Logical Frameworks Manifest Security Logics and Languages for Manifestly Secure Systems Prospero Integrating Types and Specifications
M. Stubbemann, und G. Stumme. Machine Learning and Knowledge Discovery in Databases: Research Track - European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part III, Volume 14171 von Lecture Notes in Computer Science, Seite 177--192. Springer, (2023)
M. Stubbemann, T. Hanika, und G. Stumme. Advances in Intelligent Data Analysis XVIII - 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings, Volume 12080 von Lecture Notes in Computer Science, Seite 496--508. Springer, (2020)
M. Stubbemann, und G. Stumme. Machine Learning and Knowledge Discovery in Databases: Research Track - European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part III, Volume 14171 von Lecture Notes in Computer Science, Seite 177--192. Springer, (2023)
M. Stubbemann, und G. Stumme. European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML-PKDD 2023, Volume 14171 von Lecture Notes in Computer Science, Seite 177--192. Springer, (2023)
M. Stubbemann, T. Hanika, und G. Stumme. Advances in Intelligent Data Analysis XVIII - 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings, Volume 12080 von Lecture Notes in Computer Science, Seite 496--508. Springer, (2020)
S. Doerfel, D. Zoller, P. Singer, T. Niebler, A. Hotho, und M. Strohmaier. Proceedings of the Companion Publication of the 23rd International Conference on World Wide Web Companion, Seite 251-252. Republic and Canton of Geneva, Switzerland, International World Wide Web Conferences Steering Committee, (2014)