Simon Wimmer

Homepages 🌐

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

E-Mails 📧

• ed.mut @remmiw.nomis

Entries

2024

Difference Bound Matrices

by Simon Wimmer 📧 and Peter Lammich 📧

Aug 14

Worklist Algorithms

by Simon Wimmer 📧 and Peter Lammich 📧

Aug 09

LL(1) Parser Generator

by Sarah Tilscher 📧 and Simon Wimmer 📧

May 02

AutoCorres2

by Matthew Brecknell, David Greenaway, Johannes Hölzl 📧, Fabian Immler 📧, Gerwin Klein 📧, Rafal Kolanski 📧, Japheth Lim, Michael Norrish, Norbert Schirmer 📧, Salomon Sickert, Thomas Sewell, Harvey Tuch and Simon Wimmer

Apr 17

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