Martin G. Herold
Orcid: 0009-0002-1804-2842Affiliations:
- Max Planck Institute for Informatics (MPII), Saarbrücken, Germany
According to our database1,
Martin G. Herold
authored at least 4 papers
between 2023 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2025
Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, 2025
Proceedings of the 41st International Symposium on Computational Geometry, 2025
2023
Dagstuhl Reports, 2023
Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP.
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023