Ricardo Nuno de Sousa Lopes


AuthID: R-000-FF2

Publicações Confirmadas: 14



1
TÍTULO: A design and implementation of the Extended Andorra Model
AUTORES: Ricardo Lopes ; Vitor Santos Costa ; Fernando Silva ;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2
TÍTULO: Anomalous Origin of the Left Coronary Artery from the Pulmonary Artery in an Asymptomatic Adult. Asymptomatic Adult with ALCAPA  Full Text
AUTORES: Ricardo Lopes ; Pedro Bernardo Almeida; Mario Jorge Amorim ; Domingos Magalhaes; Joao Carlos Silva; Paulo Pinho; Maria Julia Maciel ;
PUBLICAÇÃO: 2011, FONTE: CONGENITAL HEART DISEASE, VOLUME: 6, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef: 2
3
TÍTULO: Demand-driven indexing of Prolog clauses
AUTORES: Vitor Santos Costa ; Konstantinos Sagonas; Ricardo Lopes ;
PUBLICAÇÃO: 2007, FONTE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
4
TÍTULO: On applying program transformation to implement suspension-based tabling in Prolog
AUTORES: Ricardo Rocha ; Claudio Silva; Ricardo Lopes ;
PUBLICAÇÃO: 2007, FONTE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
5
TÍTULO: Spatial-yap: A logic-based geographic information system
AUTORES: David Vaz; Michel Ferreira ; Ricardo Lopes ;
PUBLICAÇÃO: 2007, FONTE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
6
TÍTULO: An external module for implementing linear tabling in prolog (Extended abstract)
AUTORES: Claudio Silva; Ricardo Rocha ; Ricardo Lopes ;
PUBLICAÇÃO: 2006, FONTE: 22nd International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4079
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
7
8
TÍTULO: IMPACT: Innovative models for prolog with advanced control and tabling
AUTORES: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
9
TÍTULO: Improving memory usage in the BEAM
AUTORES: Lopes, R ; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 7th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 3350
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
10
TÍTULO: Exploiting parallelism in the Extended Andorra Model
AUTORES: Lopes, R ; Costa, VS ; Silva, F ;
PUBLICAÇÃO: 2004, FONTE: IASTED International Conference on Parallel and Distributed Computing and Networks in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks
INDEXADO EM: WOS DBLP
Página 1 de 2. Total de resultados: 14.

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