Marc Hermes

According to our database, Marc Hermes authored at least 5 papers between 2023 and 2024.

Collaborative distances:

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

2024

An Analysis of Tennenbaum's Theorem in Constructive Type Theory.

Marc Hermes, Dominik Kirst

Log. Methods Comput. Sci., 2024

Comparison of Ensemble Learning Methods for Classification in Cancer Registries.

Nico Schult, Timo Wolters, Marc Hermes, Klaas Dählmann, Andreas Hein

Proceedings of the Digital Health and Informatics Innovations for Sustainable Health Care Systems, 2024

Pre-Processing of Categorical Features Within Medical Analysis Systems.

Marc Hermes, Timo Wolters, Nico Schult, Andreas Hein

Proceedings of the Digital Health and Informatics Innovations for Sustainable Health Care Systems, 2024

Modular Verification of Intrusive List and Tree Data Structures in Separation Logic.

Marc Hermes, Robbert Krebbers

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq.

Dominik Kirst, Marc Hermes

J. Autom. Reason., March, 2023