Paulo J. Matos

Affiliations:

University of Southampton, UK

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.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2009

A Lazy Unbounded Model Checker for Event-B.

[BibT_eX]

[DOI]

Paulo J. Matos

Bernd Fischer

João Marques-Silva

Proceedings of the Formal Methods and Software Engineering, 2009

2008

A MAX-SAT Algorithm Portfolio.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Model Checking Event-B by Encoding into Alloy.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2004

Intelligent Theorem Proving for Specific Domains.

[BibT_eX]

[DOI]

Paulo J. Matos

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

Paulo J. Matos

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...