Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 110



21
TÍTULO: Introduction to the 33rd international conference on logic programming special issue
AUTORES: Rocha, R ; Son, TC;
PUBLICAÇÃO: 2017, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, NÚMERO: 5-6
INDEXADO EM: Scopus WOS DBLP CrossRef
22
TÍTULO: On Applying Probabilistic Logic Programming to Breast Cancer Data
AUTORES: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2017, FONTE: ILP, VOLUME: 10759 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 3
23
TÍTULO: On scaling dynamic programming problems with a multithreaded tabling, Prolog system
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2017, FONTE: 1st International Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH Conference in JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 125
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
24
TÍTULO: On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems
AUTORES: Goncalves, R; Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2017, FONTE: INFORMATION, VOLUME: 8, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef
25
TÍTULO: Towards a Lock-Free, Fixed Size and Persistent Hash Map Design
AUTORES: Miguel Areias ; Ricardo Jorge Gomes Lopes da Rocha ;
PUBLICAÇÃO: 2017, FONTE: SBAC-PAD
INDEXADO EM: Scopus DBLP CrossRef: 5
26
TÍTULO: Towards an Automated Test Bench Environment for Prolog Systems
AUTORES: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2017, FONTE: SLATE, VOLUME: 56
INDEXADO EM: Scopus DBLP
27
TÍTULO: Using Iterative Deepening for Probabilistic Logic Inference
AUTORES: Theofrastos Mantadelis ; Ricardo Rocha ;
PUBLICAÇÃO: 2017, FONTE: PADL, VOLUME: 10137 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 3
28
TÍTULO: A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
29
TÍTULO: Declarative Coordination of Graph-based Parallel Programs
AUTORES: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLICAÇÃO: 2016, FONTE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
30
TÍTULO: Estimation-Based Search Space Traversal in PILP Environments
AUTORES: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2016, FONTE: ILP, VOLUME: 10326 LNAI
INDEXADO EM: Scopus DBLP CrossRef: 2
Página 3 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