List-Index

The Sum-of-Squares Function and Jacobi's Two-Square Theorem

by Manuel Eberl

Nov 26

MLSS Decision Procedure

by Lukas Stevens

May 05

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

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

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

An Algebra for Higher-Order Terms

by Lars Hupel

Jan 15

The number of comparisons in QuickSort

by Manuel Eberl

Mar 15

Lower bound on comparison-based sorting algorithms

by Manuel Eberl

Mar 15

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

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

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

Ordinary Differential Equations

by Fabian Immler and Johannes Hölzl

Apr 26

Jinja is not Java

by Gerwin Klein and Tobias Nipkow

Jun 01

List-Index Dependents

2024

The Sum-of-Squares Function and Jacobi's Two-Square Theorem

2023

MLSS Decision Procedure

2022

Making Arbitrary Relational Calculus Queries Safe-Range

Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics

2021

Gale-Shapley Algorithm

A data flow analysis algorithm for computing dominators

Isabelle's Metalogic: Formalization and Proof Checker

JinjaDCI: a Java semantics with dynamic class initialization

2020

Verified SAT-Based AI Planning

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

2019

An Algebra for Higher-Order Terms

2017

The number of comparisons in QuickSort

Lower bound on comparison-based sorting algorithms

2016

Formalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals

The Imperative Refinement Framework

Randomised Social Choice Theory

Analysis of List Update Algorithms

2015

Planarity Certificates

Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata

Derivatives of Logical Formulas

2014

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

Affine Arithmetic

2012

Ordinary Differential Equations

2005

Jinja is not Java