Maximilian P. L. Haslbeck
Orcid: 0000-0003-4306-869XAffiliations:
- Technical University of Munich, Germany
According to our database1,
Maximilian P. L. Haslbeck
authored at least 13 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
1
1
1
1
1
1
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
2022
ACM Trans. Program. Lang. Syst., 2022
2021
Verified Quantitative Analysis of Imperative Algorithms (Verifizierte Quantitative Analyse von Imperativen Algorithmen)
PhD thesis, 2021
2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
2019
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Selected Student Contributions and Workshop Papers of LuxLogAI 2018, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2016
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016
2013
A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013