Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 110



41
42
TÍTULO: Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs
AUTORES: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLICAÇÃO: 2014, FONTE: PPDP
INDEXADO EM: Scopus DBLP CrossRef: 3
43
TÍTULO: On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2014, FONTE: PADL, VOLUME: 8324 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 7
44
TÍTULO: Tabling, Rational Terms, and Coinduction Finally Together!
AUTORES: Mantadelis, T ; Rocha, R ; Moura, P ;
PUBLICAÇÃO: 2014, FONTE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 4-5
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
45
TÍTULO: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal
AUTORES: José Paulo Leal ; Ricardo Rocha ; Alberto Simões;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
46
TÍTULO: Batched Evaluation of Linear Tabled Logic Programs
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef
47
TÍTULO: Efficient Support for Mode-Directed Tabling in the YapTab Tabling System
AUTORES: João Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1301.7680
INDEXADO EM: DBLP
48
TÍTULO: On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores
AUTORES: Rui Vieira; Ricardo Rocha ; Fernando M A Silva ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1301.7690
INDEXADO EM: DBLP
49
TÍTULO: On the Efficient Implementation of Mode-Directed Tabling
AUTORES: João Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: PADL, VOLUME: 7752 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
50
TÍTULO: Or-Parallel Prolog Execution on Clusters of Multicores
AUTORES: João Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29
INDEXADO EM: Scopus DBLP
Página 5 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