List-Index Dependents

2023

MLSS Decision Procedure

by Lukas Stevens

May 05

2022

Making Arbitrary Relational Calculus Queries Safe-Range

by Martin Raszyk and Dmitriy Traytel

Sep 28

Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics

by Chelsea Edmonds and Lawrence C. Paulson

Apr 21

2021

Gale-Shapley Algorithm

by Tobias Nipkow

Dec 29

A data flow analysis algorithm for computing dominators

by Nan Jiang

Sep 05

Isabelle's Metalogic: Formalization and Proof Checker

by Tobias Nipkow and Simon Roßkopf

Apr 27

JinjaDCI: a Java semantics with dynamic class initialization

by Susannah Mansky

Jan 11

2020

Verified SAT-Based AI Planning

by Mohammad Abdulaziz and Friedrich Kurz

Oct 29

A verified algorithm for computing the Smith normal form of a matrix

by Jose Divasón

May 23

2019

An Algebra for Higher-Order Terms

by Lars Hupel

Jan 15

2017

The number of comparisons in QuickSort

by Manuel Eberl

Mar 15

Lower bound on comparison-based sorting algorithms

by Manuel Eberl

Mar 15

2016

Formalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals

by Jasmin Christian Blanchette, Mathias Fleury and Dmitriy Traytel

Nov 12

The Imperative Refinement Framework

by Peter Lammich

Aug 08

Randomised Social Choice Theory

by Manuel Eberl

May 05

Analysis of List Update Algorithms

by Maximilian P. L. Haslbeck and Tobias Nipkow

Feb 17

2015

Planarity Certificates

by Lars Noschinski

Nov 11

Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata

by Salomon Sickert

Sep 04

Derivatives of Logical Formulas

by Dmitriy Traytel

May 28

2014

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

by Dmitriy Traytel and Tobias Nipkow

Jun 12

Affine Arithmetic

by Fabian Immler

Feb 07

2012

Ordinary Differential Equations

by Fabian Immler and Johannes Hölzl

Apr 26

2005

Jinja is not Java

by Gerwin Klein and Tobias Nipkow

Jun 01