Paulo J. Matos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2009
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICFEM | A Lazy Unbounded Model Checker for Event-B. | Paulo J. Matos, Bernd Fischer, Joo Marques-Silva |
| 2008 | ECAI | A MAX-SAT Algorithm Portfolio. | Paulo J. Matos, Jordi Planes, Florian Letombe, Joo Marques-Silva |
| 2006 | SAT | Counting Models in Integer Domains. | Antnio Morgado, Paulo J. Matos, Vasco Manquinho, Joo Marques-Silva |
| 2004 | CADE | Intelligent Theorem Proving for Specific Domains. | Paulo J. Matos |