On Equivalence Classes of Interpolation Equations. - Vincent Padovani (TLCA, 1995)

Decidability of All Minimal Models. - Vincent Padovani (TYPES, 1995)

Decidability of fourth-order matching. - Vincent Padovani (Math. Struct. Comput. Sci., 2000)

Retracts in Simple Types. - Vincent Padovani (TLCA, 2001)

Relative Definability and Models of Unary PCF. - Antonio Bucciarelli; Benjamin Leperchey; Vincent Padovani (TLCA, 2003)

Decidability of All Minimal Models (Revised Version - 2012) - Vincent Padovani (CoRR, 2012)

Ticket Entailment is decidable. - Vincent Padovani (Math. Struct. Comput. Sci., 2013)