Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq. - Dominik Kirst; Marc Hermes (J. Autom. Reason., 2023)

Modular Verification of Intrusive List and Tree Data Structures in Separation Logic. - Marc Hermes; Robbert Krebbers (ITP, 2024)

Pre-Processing of Categorical Features Within Medical Analysis Systems. - Marc Hermes; Timo Wolters; Nico Schult; Andreas Hein 001 (MIE, 2024)

Comparison of Ensemble Learning Methods for Classification in Cancer Registries. - Nico Schult; Timo Wolters; Marc Hermes; Klaas Dählmann; Andreas Hein 001 (MIE, 2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory. - Marc Hermes; Dominik Kirst (Log. Methods Comput. Sci., 2024)