 | 2009 |
|---|
| 6 |       | Paulo J. Matos,
Bernd Fischer,
João P. Marques Silva:
A Lazy Unbounded Model Checker for Event-B.
ICFEM 2009: 485-503 |
| 2008 |
|---|
| 5 | | Paulo J. Matos,
João Marques-Silva:
Model Checking Event-B by Encoding into Alloy.
ABZ 2008: 346 |
| 4 | | Paulo J. Matos,
Jordi Planes,
Florian Letombe,
João Marques-Silva:
A MAX-SAT Algorithm Portfolio.
ECAI 2008: 911-912 |
| 3 | | Paulo J. Matos,
João Marques-Silva:
Model Checking Event-B by Encoding into Alloy
CoRR abs/0805.3256: (2008) |
| 2006 |
|---|
| 2 | | António Morgado,
Paulo J. Matos,
Vasco M. Manquinho,
João P. Marques Silva:
Counting Models in Integer Domains.
SAT 2006: 410-423 |
| 2004 |
|---|
| 1 | | Paulo J. Matos:
Intelligent Theorem Proving for Specific Domains.
IJCAR Doctoral Programme 2004 |
