Maximilian P. L. Haslbeck

Homepages 🌐

• http://in.tum.de/~haslbema/

E-Mails 📧

• ed.mut.ni @ameblsah

Entries

2024

NREST: Nondeterministc RESult monad with Time

by Maximilian P. L. Haslbeck 📧

Sep 16

2019

Kruskal's Algorithm for Minimum Spanning Forest

by Maximilian P. L. Haslbeck 🌐, Peter Lammich 🌐 and Julian Biendarra

Feb 14

2018

Hoare Logics for Time Bounds

by Maximilian P. L. Haslbeck 🌐 and Tobias Nipkow 🌐

Feb 26

2016

Analysis of List Update Algorithms

by Maximilian P. L. Haslbeck 🌐 and Tobias Nipkow 🌐

Feb 17