|
Search the dblp DataBase
Paulo J. Matos:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Paulo J. Matos
Intelligent Theorem Proving for Specific Domains. [Citation Graph (0, 0)][DBLP] IJCAR Doctoral Programme, 2004, pp:- [Conf]
- António Morgado, Paulo J. Matos, Vasco M. Manquinho, João P. Marques Silva
Counting Models in Integer Domains. [Citation Graph (0, 0)][DBLP] SAT, 2006, pp:410-423 [Conf]
Model Checking Event-B by Encoding into Alloy. [Citation Graph (, )][DBLP]
A MAX-SAT Algorithm Portfolio. [Citation Graph (, )][DBLP]
A Lazy Unbounded Model Checker for Event-B. [Citation Graph (, )][DBLP]
Model Checking Event-B by Encoding into Alloy [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|