Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 109



31
TITLE: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2015, SOURCE: 17th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, VOLUME: 9131
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
32
TITLE: SkILL - a Stochastic Inductive Logic Learner
AUTHORS: Joana Corte Real ; Theofrastos Mantadelis ; Ines Dutra ; Ricardo Rocha ; Elizabeth Burnside;
PUBLISHED: 2015, SOURCE: IEEE 14th International Conference on Machine Learning and Applications ICMLA in 2015 IEEE 14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA)
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
33
TITLE: Thread-aware logic programming for data-driven parallel programs PDF
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2015, SOURCE: 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1433
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
34
TITLE: A Hybrid MapReduce Model for Prolog
AUTHORS: Joana Corte Real ; Ines Dutra ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
35
TITLE: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTHORS: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein; Frank Pfenning ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | ResearcherID | DBLP
36
TITLE: A parallel virtual machine for executing forward-chaining linear logic programs
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
37
TITLE: A portable prolog predicate for printing rational terms
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
38
TITLE: A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling PDF
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.2850
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
39
TITLE: A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines  Full Text
AUTHORS: Joao Santos ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP
40
Page 4 of 11. Total results: 109.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service