Nuno P. Lopes Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno P. Lopes, Andrey Rybalchenko: Distributed and Predictable Software Model Checking. VMCAI 2011: 340-355
2010
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Applying Prolog to Develop Distributed Systems CoRR abs/1007.3835: (2010)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno P. Lopes, Levent Aksoy, Vasco M. Manquinho, José Monteiro: Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability CoRR abs/1011.2685: (2010)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno P. Lopes, Pedro U. Lima: openSDK: an open-source implementation of OPEN-R. AAMAS (3) 2008: 1207-1210
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilipe 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

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

Colors in the list of coauthors

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