Show Dependents

2025

Language Partitioning for Mission-time Linear Temporal Logic

by Zili Wang, Katherine Kosaian and Alec Rosentrater

Mar 03

2024

Difference Bound Matrices

by Simon Wimmer and Peter Lammich

Aug 14

LL(1) Parser Generator

by Sarah Tilscher and Simon Wimmer

May 02

2021

MiniSail - A kernel language for the ISA specification language SAIL

by Mark Wassell

Jun 18

Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation

by Ralph Bottesch, Jose Divasón and René Thiemann

Mar 12

2020

AI Planning Languages Semantics

by Mohammad Abdulaziz and Peter Lammich

Oct 29

2019

A Verified Code Generator from Isabelle/HOL to CakeML

by Lars Hupel

Jul 08

2018

Monadification, Memoization and Dynamic Programming

by Simon Wimmer, Shuwei Hu and Tobias Nipkow

May 22

CakeML

by Lars Hupel and Yu Zhang

Mar 12

First-Order Terms

by Christian Sternagel and René Thiemann

Feb 06

2017

Dictionary Construction

by Lars Hupel

May 24

2016

The Factorization Algorithm of Berlekamp and Zassenhaus

by Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada

Oct 14

Polynomial Factorization

by René Thiemann and Akihisa Yamada

Jan 29

2015

Derivatives of Logical Formulas

by Dmitriy Traytel

May 28

2014

XML

by Christian Sternagel, René Thiemann and Akihisa Yamada

Oct 03

Certification Monads

by Christian Sternagel and René Thiemann

Oct 03

Affine Arithmetic

by Fabian Immler

Feb 07

Implementing field extensions of the form Q[sqrt(b)]

by René Thiemann

Feb 06

2012

Ordinary Differential Equations

by Fabian Immler and Johannes Hölzl

Apr 26

2010

Executable Multivariate Polynomials

by Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler and Alexander Bentkamp

Aug 10