Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 109



31
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
32
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: 6
NO MEU: ORCID | DBLP
33
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
34
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
35
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
36
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
37
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
38
TÍTULO: A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling PDF
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1405.2850
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
39
TÍTULO: A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines  Full Text
AUTORES: Joao Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2014, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP
40
Página 4 de 11. Total de resultados: 109.

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

Links Úteis

Ajuda

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