Paulo J. Matos

Counting Models in Integer Domains

Vasco M. Manquinho, Joao Marques-Silva, António Morgado, 2006, SAT.

Intelligent Theorem Proving for Specific Domains

Paulo J. Matos, 2004, IJCAR Doctoral Programme.

A MAX-SAT Algorithm Portfolio

Joao Marques-Silva, Paulo J. Matos, Florian Letombe, 2008, ECAI.

A Lazy Unbounded Model Checker for Event-B

Bernd Fischer, Joao Marques-Silva, Paulo J. Matos, 2009, ICFEM.

Model Checking Event-B by Encoding into Alloy

Joao Marques-Silva, Paulo J. Matos, 2008, ABZ.