Tobias Nipkow

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
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