Nuno Claudino Pereira Lopes


AuthID: R-000-DMJ

Confirmed Publications: 30



21
TITLE: Synthesizing Software Verifiers from Proof Rules
AUTHORS: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 47, ISSUE: 6
INDEXED IN: Scopus WOS
22
TITLE: Distributed and Predictable Software Model Checking  Full Text
AUTHORS: Lopes, NP ; Rybalchenko, A;
PUBLISHED: 2011, SOURCE: 12th International Conference on Verification, Model Checking, and Abstract Interpretation in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VOLUME: 6538
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
23
TITLE: Applying Prolog to develop distributed systems
AUTHORS: Lopes, NP ; Navarro, JA; Rybalchenko, A; Singh, A;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
24
TITLE: Applying Prolog to Develop Distributed Systems PDF
AUTHORS: Nuno P Lopes ; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Atul Singh;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1007.3835
INDEXED IN: DBLP arXiv
IN MY: DBLP
25
TITLE: Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability PDF
AUTHORS: Nuno P Lopes ; Levent Aksoy; Vasco M Manquinho; José Monteiro;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.2685
INDEXED IN: DBLP arXiv
IN MY: DBLP
26
TITLE: openSDK: an open-source implementation of OPEN-R
AUTHORS: Nuno P Lopes ; Pedro U Lima;
PUBLISHED: 2008, SOURCE: 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008 in 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 3, VOLUME: 2
INDEXED IN: Scopus DBLP
IN MY: DBLP
27
TITLE: Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe) PDF
AUTHORS: Filipe Cabecinhas; Nuno P Lopes ; Renato Crisostomo; Luís Veiga ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0810.0372
INDEXED IN: DBLP arXiv
IN MY: DBLP
28
TITLE: Representing and Querying Multiple Ontologies with Contextual Logic Programming  Full Text
AUTHORS: Nuno Lopes ; Claudio Fernandes; Salvador Abreu ;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
29
TITLE: Contextual logic programming for ontology representation and querying PDF
AUTHORS: Lopes, N ; Fernandes, C; Abreu, S ;
PUBLISHED: 2007, SOURCE: 2nd International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Held as Part of the 23rd International Conference on Logic Programming, ICLP 2007 in CEUR Workshop Proceedings, VOLUME: 287
INDEXED IN: Scopus DBLP
30
TITLE: On querying ontologies with contextual logic programming PDF
AUTHORS: Fernandes, C; Lopes, N ; Abreu, S ;
PUBLISHED: 2007, SOURCE: Workshop on OWL: Experiences and Directions, OWLED 2007 in CEUR Workshop Proceedings, VOLUME: 258
INDEXED IN: Scopus DBLP
Página 3 de 3. Total de resultados: 30.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service