Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 110



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

footer slogan

Useful Links

Get Help

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