Tobias Nipkow
![ORCID logo](https://info.orcid.org/wp-content/uploads/2019/11/orcid_16x16.png)
Homepages π
E-Mails π§
Entries
2024
2022
2021
2020
Verified Approximation Algorithms
by Robin EΓmann π§, Tobias Nipkow π, Simon Robillard π and Ujkan Sulejmani
2019
Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra
by Peter Lammich π and Tobias Nipkow π
2018
Monadification, Memoization and Dynamic Programming
by Simon Wimmer π, Shuwei Hu π§ and Tobias Nipkow π
2017
2016
2015
2014
A Verified Compiler for Probability Density Functions
by Manuel Eberl π, Johannes HΓΆlzl π and Tobias Nipkow π
Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions
by Dmitriy Traytel π and Tobias Nipkow π
A Fully Verified Executable LTL Model Checker
by Javier Esparza π, Peter Lammich π, RenΓ© Neumann π§, Tobias Nipkow π, Alexander Schimpf π§ and Jan-Georg Smaus π
Unified Decision Procedures for Regular Expression Equivalence
by Tobias Nipkow π and Dmitriy Traytel π