Martin G. Herold
Affiliations:- Max Planck Institute for Informatics (MPII), Saarbrücken, Germany
According to our database1,
Martin G. Herold
authored at least 3 papers
between 2023 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2023
2024
2025
0
1
2
3
1
1
1
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
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