Paulo J. Matos

2008
5	EE	Paulo J. Matos, João Marques-Silva: Model Checking Event-B by Encoding into Alloy. ABZ 2008: 346
4	EE	Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva: A MAX-SAT Algorithm Portfolio. ECAI 2008: 911-912
3	EE	Paulo J. Matos, João Marques-Silva: Model Checking Event-B by Encoding into Alloy CoRR abs/0805.3256: (2008)
2006
2	EE	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	EE	Paulo J. Matos: Intelligent Theorem Proving for Specific Domains. IJCAR Doctoral Programme 2004

Coauthor Index

1	Florian Letombe	[4]
2	Vasco M. Manquinho	[2]
3	António Morgado	[2]
4	Jordi Planes	[4]
5	João P. Marques Silva (João Marques-Silva)	[2] [3] [4] [5]