Ricardo Nuno de Sousa Lopes


AuthID: R-000-FF2

Confirmed Publications: 14



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

A place for researchers and their institutions

Useful Links

Get Help

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