Embedding First-Order Tableaux into a Pure Type System. - Michael Franssen (Proof Search in Type-Theoretic Languages@CADE, 1998)

Efficient evaluation of triangular B-spline surfaces. - Michael Franssen; Remco C. Veltkamp; Wieger Wesselink (Comput. Aided Geom. Des., 2000)

Embedding First-order Logic in a Pure Type System with Parameters. - Twan Laan; Michael Franssen (J. Log. Comput., 2001)

Cocktail II. - Michael Franssen (WING@ETAPS/IJCAR, 2010)