# 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

##### The string search algorithm by Knuth, Morris and Pratt

by Fabian Hellauer π§ and Peter Lammich π

### 2016

##### A Framework for Verifying Depth-First Search Algorithms

by Peter Lammich π and RenΓ© Neumann π§

##### Algorithms for Reduced Ordered Binary Decision Diagrams

by Julius Michaelis π, Max W. Haslbeck π, Peter Lammich π and Lars Hupel π

### 2014

##### Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm

by Peter Lammich π

##### Converting Linear-Time Temporal Logic to Generalized BΓΌchi Automata

by Alexander Schimpf π§ and 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 π