Maximilian P. L. Haslbeck
According to our database^{1},
Maximilian P. L. Haslbeck
authored at least 9 papers
between 2013 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2019
Kruskal's Algorithm for Minimum Spanning Forest.
Archive of Formal Proofs, 2019
Refinement with Time  Refining the RunTime of Algorithms in Isabelle/HOL.
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
2018
Hoare Logics for Time Bounds.
Archive of Formal Proofs, 2018
Hoare Logics for Time Bounds  A Study in Meta Theory.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Competitive Proving for Fun.
Proceedings of the Selected Student Contributions and Workshop Papers of LuxLogAI 2018, 2018
Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle.
Proceedings of the Automated Reasoning  9th International Joint Conference, 2018
2016
Analysis of List Update Algorithms.
Archive of Formal Proofs, 2016
Verified Analysis of List Update Algorithms.
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