A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq. - Eelis van der Weegen; James McKinna (TYPES, 2008)

Automated Machine-Checked Hybrid System Safety Proofs. - Herman Geuvers; Adam Koprowski; Dan Synek; Eelis van der Weegen (ITP, 2010)

Developing the Algebraic Hierarchy with Type Classes in Coq. - Bas Spitters; Eelis van der Weegen (ITP, 2010)

Type classes for mathematics in type theory. - Bas Spitters; Eelis van der Weegen (Math. Struct. Comput. Sci., 2011)