## Homepages 🌐

- http://home.in.tum.de/~wimmers/

## E-Mails 📧

- ed.mut @remmiw.nomis

## Entries

### 2024

##### LL(1) Parser Generator

by Sarah Tilscher 📧 and Simon Wimmer 📧
May 02

### 2019

##### VerifyThis 2019 -- Polished Isabelle Solutions

by Peter Lammich and Simon Wimmer 🌐
Oct 16

##### IMP2 – Simple Program Verification in Isabelle/HOL

by Peter Lammich 🌐 and Simon Wimmer 🌐
Jan 15

### 2018

##### Hidden Markov Models

by Simon Wimmer 🌐
May 25

##### Probabilistic Timed Automata

by Simon Wimmer 🌐 and Johannes Hölzl 🌐
May 24

##### Monadification, Memoization and Dynamic Programming

by Simon Wimmer 🌐, Shuwei Hu 📧 and Tobias Nipkow 🌐
May 22

##### VerifyThis 2018 - Polished Isabelle Solutions

by Peter Lammich 🌐 and Simon Wimmer 🌐
Apr 27

### 2017

##### The Floyd-Warshall Algorithm for Shortest Paths

by Simon Wimmer 🌐 and Peter Lammich 🌐
May 08

### 2016

##### Timed Automata

by Simon Wimmer 🌐
Mar 08

### 2013

##### Pratt's Primality Certificates

by Simon Wimmer 📧 and Lars Noschinski 🌐
Jul 22

##### Lehmer's Theorem

by Simon Wimmer 📧 and Lars Noschinski 🌐
Jul 22