Paulo J. Matos

According to our database, Paulo J. Matos authored at least 5 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

A Lazy Unbounded Model Checker for Event-B.

Paulo J. Matos, Bernd Fischer, João Marques-Silva

Proceedings of the Formal Methods and Software Engineering, 2009

2008

A MAX-SAT Algorithm Portfolio.

Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva

Proceedings of the ECAI 2008, 2008

Model Checking Event-B by Encoding into Alloy.

Paulo J. Matos, João Marques-Silva

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2006

Counting Models in Integer Domains.

António Morgado, Paulo J. Matos, Vasco Manquinho, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2004

Intelligent Theorem Proving for Specific Domains.

Paulo J. Matos

Proceedings of the Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 2004