Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 110



101
TÍTULO: Concurrent table accesses in parallel tabled logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2004, FONTE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149
INDEXADO EM: Scopus WOS DBLP CrossRef
102
TÍTULO: Speculative computations in or-parallel tabled logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2004, FONTE: 20th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3132
INDEXADO EM: Scopus WOS DBLP CrossRef
103
TÍTULO: The MyYapDB deductive database system
AUTORES: Ferreira, M ; Rocha, R ;
PUBLICAÇÃO: 2004, FONTE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
104
TÍTULO: Efficient data structures for inductive logic programming
AUTORES: Fonseca, N ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLICAÇÃO: 2003, FONTE: 13th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2835
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Handle
105
TÍTULO: YapDss: An Or-parallel prolog system for scalable Beowulf clusters
AUTORES: Rocha, R ; Silva, F ; Martins, R ;
PUBLICAÇÃO: 2003, FONTE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
106
TÍTULO: Achieving Scalability in Parallel Tabled Logic Programs
AUTORES: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLICAÇÃO: 2002, FONTE: IPDPS
INDEXADO EM: Scopus DBLP CrossRef
107
TÍTULO: On a Tabling Engine That Can Exploit Or-Parallelism
AUTORES: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLICAÇÃO: 2001, FONTE: ICLP, VOLUME: 2237
INDEXADO EM: Scopus DBLP CrossRef: 13
108
TÍTULO: Novel models for or-parallel logic programs: A performance analysis
AUTORES: Costa, VS ; Rocha, R ; Silva, F ;
PUBLICAÇÃO: 2000, FONTE: 6th International Euro-Par 2000 Conference in EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 1900
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
109
TÍTULO: Or-Parallelism within Tabling
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 1999, FONTE: 1st International Workshop on Practical Aspects of Declarative Languages (PADL 99) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 1551
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
110
TÍTULO: YapOr: an Or-Parallel Prolog System Based on Environment Copying
AUTORES: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLICAÇÃO: 1999, FONTE: EPIA, VOLUME: 1695
INDEXADO EM: Scopus DBLP CrossRef: 7
Página 11 de 11. Total de resultados: 110.

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

Links Úteis

Ajuda

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