Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 112



31
TÍTULO: Estimation-Based Search Space Traversal in PILP Environments
AUTORES: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2016, FONTE: 26th International Conference on Inductive Logic Programming, ILP 2016 in Inductive Logic Programming - 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers, VOLUME: 10326
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
32
TÍTULO: On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
AUTORES: Joao Santos ; Ricardo Rocha ;
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
33
TÍTULO: Batched Evaluation of Full-Sharing Multithreaded Tabling
AUTORES: Miguel Areias ; Ricardo Rocha ;
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
34
TÍTULO: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTORES: Flavio Cruz ; Ricardo Rocha ;
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
35
TÍTULO: SkILL - a Stochastic Inductive Logic Learner
AUTORES: Joana Corte Real ; Theofrastos Mantadelis ; Ines Dutra ; Ricardo Rocha ; Elizabeth Burnside;
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
36
TÍTULO: Thread-aware logic programming for data-driven parallel programs PDF
AUTORES: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLICAÇÃO: 2015, FONTE: 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1433
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
37
TÍTULO: A Hybrid MapReduce Model for Prolog
AUTORES: Joana Corte Real ; Ines Dutra ; Ricardo Rocha ;
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
38
TÍTULO: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTORES: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein; Frank Pfenning ;
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
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
39
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
40
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
Página 4 de 12. Total de resultados: 112.

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

Links Úteis

Ajuda

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