Mehdi Naouar

According to our database, Mehdi Naouar authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

BetterBodies: Reinforcement Learning guided Diffusion for Antibody Sequence Design.

Yannick Vogt, Mehdi Naouar, Maria Kalweit, Christoph Cornelius Miething, Justus Duyster, Joschka Boedecker, Gabriel Kalweit

CoRR, 2024

Stable Online and Offline Reinforcement Learning for Antibody CDRH3 Design.

Yannick Vogt, Mehdi Naouar, Maria Kalweit, Christoph Cornelius Miething, Justus Duyster, Roland Mertelsmann, Gabriel Kalweit, Joschka Boedecker

CoRR, 2024

2023

CellMixer: Annotation-free Semantic Cell Segmentation of Heterogeneous Cell Populations.

Mehdi Naouar, Gabriel Kalweit, Anusha Klett, Yannick Vogt, Paula Silvestrini, Diana Laura Infante Ramírez, Roland Mertelsmann, Joschka Boedecker, Maria Kalweit

CoRR, 2023

Robust Tumor Detection from Coarse Annotations via Multi-Magnification Ensembles.

Mehdi Naouar, Gabriel Kalweit, Ignacio Mastroleo, Philipp Poxleitner, Marc Christian Metzger, Joschka Boedecker, Maria Kalweit

CoRR, 2023

Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).

Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Ultimate Automizer (SV-COMP 2022 - Modified).

Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski

Dataset, January, 2022

Probing Contextual Diversity for Dense Out-of-Distribution Detection.

Silvio Galesso, María Alejandra Bravo, Mehdi Naouar, Thomas Brox

Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022

2021

Verification of Concurrent Programs Using Petri Net Unfoldings.

Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2019

Ultimate Automizer SV-COMP 2020 Competition Contribution.

Matthias Heizmann, Max Barth, Daniel Dietsch, Jill Enke, Leonard Fichtner, Dominik Klumpp, Mehdi Naouar, Lars Nitzke, Alexander Nutz, Andreas Podelski, Elisabeth Schanno, Claus Schätzle

Dataset, November, 2019