Marc Hermes

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

Collaborative distances:

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

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

2022

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

Marc Hermes, Dominik Kirst

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

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

Dominik Kirst, Marc Hermes

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021