Marc Hermes

Orcid: 0000-0002-0375-759X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Comparison of Ensemble Learning Methods for Classification in Cancer Registries.
Proceedings of the Digital Health and Informatics Innovations for Sustainable Health Care Systems, 2024

Pre-Processing of Categorical Features Within Medical Analysis Systems.
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.
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2022
An Analysis of Tennenbaum's Theorem in Constructive Type Theory.
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.
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021


  Loading...