Tobias Nipkow

0000-0003-0730-515X

Homepages 🌐

• https://www.in.tum.de/~nipkow/

Entries

2022

Real-Time Double-Ended Queue

by Balazs Toth 📧 and Tobias Nipkow 🌐

Jun 23

2021

Gale-Shapley Algorithm

by Tobias Nipkow 🌐

Dec 29

Isabelle's Metalogic: Formalization and Proof Checker

by Tobias Nipkow 🌐 and Simon Roßkopf 🌐

Apr 27

2020

Verified Approximation Algorithms

by Robin Eßmann 📧, Tobias Nipkow 🌐, Simon Robillard 🌐 and Ujkan Sulejmani

Jan 16

Closest Pair of Points Algorithms

by Martin Rau 📧 and Tobias Nipkow 🌐

Jan 13

2019

Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra

by Peter Lammich 🌐 and Tobias Nipkow 🌐

Jun 25

Priority Search Trees

by Peter Lammich 🌐 and Tobias Nipkow 🌐

Jun 25

2018

Optimal Binary Search Trees

by Tobias Nipkow 🌐 and Dániel Somogyi

May 27

Monadification, Memoization and Dynamic Programming

by Simon Wimmer 🌐, Shuwei Hu 📧 and Tobias Nipkow 🌐

May 22

Weight-Balanced Trees

by Tobias Nipkow 🌐 and Stefan Dirix

Mar 13

Hoare Logics for Time Bounds

by Maximilian P. L. Haslbeck 🌐 and Tobias Nipkow 🌐

Feb 26

Treaps

by Max W. Haslbeck 🌐, Manuel Eberl 🌐 and Tobias Nipkow 🌐

Feb 06

2017

Root-Balanced Tree

by Tobias Nipkow 🌐

Aug 20

Propositional Proof Systems

by Julius Michaelis 🌐 and Tobias Nipkow 🌐

Jun 21

2016

Abstract Interpretation of Annotated Commands

by Tobias Nipkow 🌐

Nov 23

Pairing Heap

by Hauke Brinkop 📧 and Tobias Nipkow 🌐

Jul 14

Analysis of List Update Algorithms

by Maximilian P. L. Haslbeck 🌐 and Tobias Nipkow 🌐

Feb 17

2015

Parameterized Dynamic Tables

by Tobias Nipkow 🌐

Jun 07

Trie

by Andreas Lochbihler 🌐 and Tobias Nipkow 🌐

Mar 30

2014

A Verified Compiler for Probability Density Functions

by Manuel Eberl 🌐, Johannes Hölzl 🌐 and Tobias Nipkow 🌐

Oct 09

Priority Queues Based on Braun Trees

by Tobias Nipkow 🌐

Sep 04

Skew Heap

by Tobias Nipkow 🌐

Aug 13

Splay Tree

by Tobias Nipkow 🌐

Aug 12

Amortized Complexity Verified

by Tobias Nipkow 🌐

Jul 07

Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions

by Dmitriy Traytel 🌐 and Tobias Nipkow 🌐

Jun 12

Boolean Expression Checkers

by Tobias Nipkow 🌐

Jun 08

A Fully Verified Executable LTL Model Checker

by Javier Esparza 🌐, Peter Lammich 🌐, René Neumann 📧, Tobias Nipkow 🌐, Alexander Schimpf 📧 and Jan-Georg Smaus 🌐

May 28

Unified Decision Procedures for Regular Expression Equivalence

by Tobias Nipkow 🌐 and Dmitriy Traytel 🌐

Jan 30

2012

Markov Models

by Johannes Hölzl 🌐 and Tobias Nipkow 🌐

Jan 03

2011

Gauss-Jordan Elimination for Matrices Represented as Functions

by Tobias Nipkow 🌐

Aug 19

2010

Hall's Marriage Theorem

by Dongchen Jiang 📧 and Tobias Nipkow 🌐

Dec 17

Regular Sets and Expressions

by Alexander Krauss 🌐 and Tobias Nipkow 🌐

May 12

List Index

by Tobias Nipkow 🌐

Feb 20

2008

Fun With Tilings

by Tobias Nipkow 🌐 and Lawrence C. Paulson 🌐

Nov 07

Arrow and Gibbard-Satterthwaite

by Tobias Nipkow 🌐

Sep 01

Fun With Functions

by Tobias Nipkow 🌐

Aug 26

Normalization by Evaluation

by Klaus Aehlig 🌐 and Tobias Nipkow 🌐

Feb 18

Quantifier Elimination for Linear Arithmetic

by Tobias Nipkow 🌐

Jan 11

2006

Hotel Key Card System

by Tobias Nipkow 🌐

Sep 09

Abstract Hoare Logics

by Tobias Nipkow 🌐

Aug 08

Flyspeck I: Tame Graphs

by Gertrud Bauer and Tobias Nipkow 🌐

May 22

2005

Jinja is not Java

by Gerwin Klein 🌐 and Tobias Nipkow 🌐

Jun 01

2004

Compiling Exceptions Correctly

by Tobias Nipkow 🌐

Jul 09

Functional Automata

by Tobias Nipkow 🌐

Mar 30

Mini ML

by Wolfgang Naraschewski and Tobias Nipkow 🌐

Mar 19

AVL Trees

by Tobias Nipkow 🌐 and Cornelia Pusch

Mar 19