## 2023

##### MLSS Decision Procedure

by Lukas Stevens
May 05

##### Expander Graphs

by Emin Karayel
Mar 03

## 2022

##### Verification of Query Optimization Algorithms

by Lukas Stevens and Bernhard Stöckl
Oct 04

## 2021

##### Combinatorial Design Theory

by Chelsea Edmonds and Lawrence C. Paulson
Aug 13

## 2015

##### Planarity Certificates

by Lars Noschinski
Nov 11

##### Positional Determinacy of Parity Games

by Christoph Dittmann
Nov 02

## 2013

##### An Axiomatic Characterization of the Single-Source Shortest Path Problem

by Christine Rizkallah
May 22