Peter Lammich
Homepages 🌐
E-Mails 📧
Entries
2024
2021
CoCon: A Confidentiality-Verified Conference Management System
by Andrei Popescu, Peter Lammich and Thomas Bauereiss
2020
2019
Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra
by Peter Lammich and Tobias Nipkow
Kruskal's Algorithm for Minimum Spanning Forest
by Maximilian P. L. Haslbeck, Peter Lammich and Julian Biendarra
2018
2017
2016
Algorithms for Reduced Ordered Binary Decision Diagrams
by Julius Michaelis, Max W. Haslbeck, Peter Lammich and Lars Hupel
2014
Converting Linear-Time Temporal Logic to Generalized Büchi Automata
by Alexander Schimpf and Peter Lammich
Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm
by Peter Lammich
A Fully Verified Executable LTL Model Checker
by Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf and Jan-Georg Smaus
2013
2012
2010
2009
2007
Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors
by Peter Lammich and Markus Müller-Olm