Simon Wimmer

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

2019

VerifyThis 2019 -- Polished Isabelle Solutions
by Peter Lammich and Simon Wimmer

16 Oct

IMP2 – Simple Program Verification in Isabelle/HOL
by Peter Lammich and Simon Wimmer

15 Jan

2018

Hidden Markov Models
by Simon Wimmer

25 May

Probabilistic Timed Automata
by Simon Wimmer and Johannes Hölzl

24 May

Monadification, Memoization and Dynamic Programming
by Simon Wimmer, Shuwei Hu and Tobias Nipkow

22 May

VerifyThis 2018 - Polished Isabelle Solutions
by Peter Lammich and Simon Wimmer

27 Apr

2017

The Floyd-Warshall Algorithm for Shortest Paths
by Simon Wimmer and Peter Lammich

08 May

2016

Timed Automata
by Simon Wimmer

08 Mar

2013

Pratt's Primality Certificates
by Simon Wimmer and Lars Noschinski

22 Jul

Lehmer's Theorem
by Simon Wimmer and Lars Noschinski

22 Jul