Maximilian P. L. Haslbeck

Kruskal's Algorithm for Minimum Spanning Forest
by Maximilian P. L. Haslbeck, Peter Lammich and Julian Biendarra

Hoare Logics for Time Bounds
by Maximilian P. L. Haslbeck and Tobias Nipkow

Treaps
by Maximilian P. L. Haslbeck, Manuel Eberl and Tobias Nipkow

A verified LLL algorithm
by Ralph Bottesch, Jose Divasón, Maximilian P. L. Haslbeck, Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada

Simple Firewall
by Cornelius Diekmann, Julius Michaelis and Maximilian P. L. Haslbeck

Algorithms for Reduced Ordered Binary Decision Diagrams
by Julius Michaelis, Maximilian P. L. Haslbeck, Peter Lammich and Lars Hupel

Analysis of List Update Algorithms
by Maximilian P. L. Haslbeck and Tobias Nipkow