Simon Wimmer

Homepages 🌐

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

E-Mails 📧

• ed.mut @remmiw.nomis

Entries

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