Maximilian P. L. Haslbeck

According to our database, Maximilian P. L. Haslbeck authored at least 12 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM.

Maximilian P. L. Haslbeck, Peter Lammich

ACM Trans. Program. Lang. Syst., 2022

2021

Verified Quantitative Analysis of Imperative Algorithms (Verifizierte Quantitative Analyse von Imperativen Algorithmen)

Maximilian Paul Louis Haslbeck

PhD thesis, 2021

2020

Verified Textbook Algorithms - A Biased Survey.

Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Kruskal's Algorithm for Minimum Spanning Forest.

Maximilian P. L. Haslbeck, Peter Lammich, Julian Biendarra

Arch. Formal Proofs, 2019

Refinement with Time - Refining the Run-Time of Algorithms in Isabelle/HOL.

Maximilian P. L. Haslbeck, Peter Lammich

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Hoare Logics for Time Bounds.

Maximilian P. L. Haslbeck, Tobias Nipkow

Arch. Formal Proofs, 2018

Hoare Logics for Time Bounds - A Study in Meta Theory.

Maximilian P. L. Haslbeck, Tobias Nipkow

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Competitive Proving for Fun.

Maximilian Paul Louis Haslbeck, Simon Wimmer

Proceedings of the Selected Student Contributions and Workshop Papers of LuxLogAI 2018, 2018

Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle.

Bohua Zhan, Maximilian P. L. Haslbeck

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2016

Analysis of List Update Algorithms.

Maximilian P. L. Haslbeck, Tobias Nipkow

Arch. Formal Proofs, 2016

Verified Analysis of List Update Algorithms.

Maximilian P. L. Haslbeck, Tobias Nipkow

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.

Tobias Nipkow, Maximilian P. L. Haslbeck

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013