| Verification of Concurrent Programs Using Petri Net Unfoldings D Dietsch, M Heizmann, D Klumpp, M Naouar, A Podelski, C Schätzle Verification, Model Checking, and Abstract Interpretation: 22nd …, 2021 | 10 | 2021 |
| Ultimate Automizer and the CommuHash Normal Form: (Competition Contribution) M Heizmann, M Barth, D Dietsch, L Fichtner, J Hoenicke, D Klumpp, ... International Conference on Tools and Algorithms for the Construction and …, 2023 | 9 | 2023 |
| Probing Contextual Diversity for Dense Out-of-Distribution Detection S Galesso, MA Bravo, M Naouar, T Brox Computer Vision–ECCV 2022 Workshops: Tel Aviv, Israel, October 23–27, 2022 …, 2023 | 2 | 2023 |
| CellMixer: Annotation-free Semantic Cell Segmentation of Heterogeneous Cell Populations M Naouar, G Kalweit, A Klett, Y Vogt, P Silvestrini, DLI Ramirez, ... arXiv preprint arXiv:2312.00671, 2023 | | 2023 |
| Stable Online and Offline Reinforcement Learning for Antibody CDRH3 Design Y Vogt, M Naouar, M Kalweit, CC Miething, J Duyster, R Mertelsmann, ... arXiv preprint arXiv:2401.05341, 2023 | | 2023 |
| Robust Tumor Detection from Coarse Annotations via Multi-Magnification Ensembles M Naouar, G Kalweit, I Mastroleo, P Poxleitner, M Metzger, J Boedecker, ... arXiv preprint arXiv:2303.16533, 2023 | | 2023 |
| Detection of disease-specific signatures in B cell repertoires of lymphomas using machine learning P Schmidt-Barbo, G Kalweit, M Naouar, L Paschold, E Willscher, ... bioRxiv, 2023.10. 05.561150, 2023 | | 2023 |
Matthias HeizmannUniversity of Freiburg, GermanyEmail verificata su heizmann.name
