Intelligent Theorem Proving for Specific Domains. - Paulo J. Matos (IJCAR Doctoral Programme, 2004)

Counting Models in Integer Domains. - António Morgado 001; Paulo J. Matos; Vasco Manquinho; João Marques-Silva 001 (SAT, 2006)

Model Checking Event-B by Encoding into Alloy. - Paulo J. Matos; João Marques-Silva 001 (ABZ, 2008)

A MAX-SAT Algorithm Portfolio. - Paulo J. Matos; Jordi Planes; Florian Letombe; João Marques-Silva 001 (ECAI, 2008)

A Lazy Unbounded Model Checker for Event-B. - Paulo J. Matos; Bernd Fischer 002; João Marques-Silva 001 (ICFEM, 2009)