Nuno P. Lopes

	2012
7		Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko: HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). TACAS 2012: 549-551
	2011
6		Nuno P. Lopes, Andrey Rybalchenko: Distributed and Predictable Software Model Checking. VMCAI 2011: 340-355
	2010
5		Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Applying Prolog to Develop Distributed Systems CoRR abs/1007.3835: (2010)
4		Nuno P. Lopes, Levent Aksoy, Vasco M. Manquinho, José Monteiro: Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability CoRR abs/1011.2685: (2010)
3		Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Applying Prolog to develop distributed systems. TPLP 10(4-6): 691-707 (2010)
	2008
2		Nuno P. Lopes, Pedro U. Lima: openSDK: an open-source implementation of OPEN-R. AAMAS (3) 2008: 1207-1210
1		Filipe Cabecinhas, Nuno P. Lopes, Renato Crisostomo, Luís Veiga: Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe) CoRR abs/0810.0372: (2008)

Coauthor Index

1	Levent Aksoy	[4]
2	Filipe Cabecinhas	[1]
3	Renato Crisostomo	[1]
4	Sergey Grebenshchikov	[7]
5	Ashutosh Gupta	[7]
6	Pedro U. Lima	[2]
7	Vasco M. Manquinho	[4]
8	José C. Monteiro (José Monteiro)	[4]
9	Juan Antonio Navarro Pérez	[3] [5]
10	Corneliu Popeea	[7]
11	Andrey Rybalchenko	[3] [5] [6] [7]
12	Atul Singh	[3] [5]
13	Luís Veiga	[1]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page