Mehdi Naouar
Mehdi Naouar
Verified email at - Homepage
Cited by
Cited by
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
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
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
A Comparative Study of Explainability Methods for Whole Slide Classification of Lymph Node Metastases using Vision Transformers
J Rahnfeld, M Naouar, G Kalweit, J Boedecker, E Dubruc, M Kalweit
medRxiv, 2024.05. 07.24306815, 2024
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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–8