# Maximilian P. L. Haslbeck

According to our database

Collaborative distances:

^{1}, Maximilian P. L. Haslbeck authored at least 14 papers between 2013 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Kruskal's Algorithm for Minimum Spanning Forest.

Archive of Formal Proofs, 2019

2018

Verified iptables Firewall Analysis and Verification.

J. Autom. Reasoning, 2018

Hoare Logics for Time Bounds.

Archive of Formal Proofs, 2018

Treaps.

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

Algorithms for Reduced Ordered Binary Decision Diagrams.

Archive of Formal Proofs, 2016

Analysis of List Update Algorithms.

Archive of Formal Proofs, 2016

Simple Firewall.

Archive of Formal Proofs, 2016

Verified iptables firewall analysis.

Proceedings of the 2016 IFIP Networking Conference, 2016

Verified Analysis of List Update Algorithms.

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

2015

Mining the Archive of Formal Proofs.

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

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