Simon Wimmer
ORCIDPublication Activity (10 Years)
Years Active: 2013-2022
Publications (10 Years): 18
Publications (10 Years): 18
Publications
- Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
- Simon Wimmer, Frédéric Herbreteau, Jaco van de Pol
- Peter Lammich, Simon Wimmer
- Simon Wimmer
- Peter Lammich, Simon Wimmer
- Simon Wimmer, Johannes HölzlProbabilistic Timed Automata. Arch. Formal Proofs 2018 (2018)
- Simon Wimmer, Shuwei Hu, Tobias Nipkow
- Simon Wimmer, Peter Lammich
- Simon WimmerHidden Markov Models. Arch. Formal Proofs 2018 (2018)
- Simon Wimmer, Johannes Hölzl
- Peter Lammich, Simon Wimmer
- Simon Wimmer, Shuwei Hu, Tobias Nipkow
- Simon Wimmer, Peter Lammich
- Simon WimmerTimed Automata. Arch. Formal Proofs 2016 (2016)
- Simon Wimmer
- Simon Wimmer, Lars NoschinskiLehmer's Theorem. Arch. Formal Proofs 2013 (2013)
- Simon Wimmer, Lars NoschinskiPratt's Primality Certificates. Arch. Formal Proofs 2013 (2013)