Nuno Claudino Pereira Lopes


AuthID: R-000-DMJ

Publicações Confirmadas: 30



21
TÍTULO: Synthesizing Software Verifiers from Proof Rules
AUTORES: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: ACM SIGPLAN NOTICES, VOLUME: 47, NÚMERO: 6
INDEXADO EM: Scopus WOS
22
TÍTULO: Distributed and Predictable Software Model Checking  Full Text
AUTORES: Lopes, NP ; Rybalchenko, A;
PUBLICAÇÃO: 2011, FONTE: 12th International Conference on Verification, Model Checking, and Abstract Interpretation in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VOLUME: 6538
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
23
TÍTULO: Applying Prolog to develop distributed systems
AUTORES: Lopes, NP ; Navarro, JA; Rybalchenko, A; Singh, A;
PUBLICAÇÃO: 2010, FONTE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, NÚMERO: 4-6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
24
TÍTULO: Applying Prolog to Develop Distributed Systems PDF
AUTORES: Nuno P Lopes ; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Atul Singh;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1007.3835
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
25
TÍTULO: Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability PDF
AUTORES: Nuno P Lopes ; Levent Aksoy; Vasco M Manquinho; José Monteiro;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.2685
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
26
TÍTULO: openSDK: an open-source implementation of OPEN-R
AUTORES: Nuno P Lopes ; Pedro U Lima;
PUBLICAÇÃO: 2008, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
27
TÍTULO: Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe) PDF
AUTORES: Filipe Cabecinhas; Nuno P Lopes ; Renato Crisostomo; Luís Veiga ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0810.0372
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
28
TÍTULO: Representing and Querying Multiple Ontologies with Contextual Logic Programming  Full Text
AUTORES: Nuno Lopes ; Claudio Fernandes; Salvador Abreu ;
PUBLICAÇÃO: 2008, FONTE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
29
TÍTULO: Contextual logic programming for ontology representation and querying PDF
AUTORES: Lopes, N ; Fernandes, C; Abreu, S ;
PUBLICAÇÃO: 2007, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
30
TÍTULO: On querying ontologies with contextual logic programming PDF
AUTORES: Fernandes, C; Lopes, N ; Abreu, S ;
PUBLICAÇÃO: 2007, FONTE: Workshop on OWL: Experiences and Directions, OWLED 2007 in CEUR Workshop Proceedings, VOLUME: 258
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
Página 3 de 3. Total de resultados: 30.

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

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service