Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 110



31
TÍTULO: On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
AUTORES: Santos, J ; Rocha, R ;
PUBLICAÇÃO: 2016, FONTE: 32nd International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 16, NÚMERO: 5-6
INDEXADO EM: WOS DBLP CrossRef: 1
32
TÍTULO: Batched Evaluation of Full-Sharing Multithreaded Tabling
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
33
TÍTULO: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTORES: Cruz, F ; Rocha, R ;
PUBLICAÇÃO: 2015, FONTE: 17th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, VOLUME: 9131
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
34
TÍTULO: SkILL - a Stochastic Inductive Logic Learner
AUTORES: Côrte Real, J ; Mantadelis, T ; Dutra, I ; Rocha, R ; Burnside, E;
PUBLICAÇÃO: 2015, FONTE: IEEE 14th International Conference on Machine Learning and Applications ICMLA in 2015 IEEE 14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA)
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
35
TÍTULO: Thread-Aware Logic Programming for Data-Driven Parallel Programs
AUTORES: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLICAÇÃO: 2015, FONTE: ICLP (Technical Communications), VOLUME: 1433
INDEXADO EM: Scopus DBLP
36
TÍTULO: A Hybrid MapReduce Model for Prolog
AUTORES: Côrte Real, J ; Dutra, I ; Rocha, R ;
PUBLICAÇÃO: 2014, FONTE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC)
INDEXADO EM: Scopus WOS DBLP CrossRef
37
TÍTULO: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTORES: Cruz, F ; Rocha, R ; Goldstein, SC; Pfenning, F ;
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: 7
38
TÍTULO: A parallel virtual machine for executing forward-chaining linear logic programs
AUTORES: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLICAÇÃO: 2014, FONTE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
39
TÍTULO: A portable prolog predicate for printing rational terms
AUTORES: Mantadelis, T ; Rocha, R ;
PUBLICAÇÃO: 2014, FONTE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
40
TÍTULO: A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines
AUTORES: Santos, J ; Rocha, R ;
PUBLICAÇÃO: 2014, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
Página 4 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