Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 108



71
TITLE: Threads and or-parallelism unified
AUTHORS: Vitor Santos Costa ; Ines Dutra ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | ResearcherID | DBLP
72
TITLE: A Term-Based Global Trie for Tabled Logic Programs  Full Text
AUTHORS: Jorge Costa; Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP
73
TITLE: High Level Thread-Based Competitive Or-Parallelism in Logtalk  Full Text
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID | DBLP
74
TITLE: Improving the efficiency of inductive logic programming systems  Full Text
AUTHORS: Nuno A Fonseca ; Vitor Santos Costa ; Ricardo Rocha ; Rui Camacho ; Fernando Silva ;
PUBLISHED: 2009, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 39, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | ResearcherID | DBLP
75
TITLE: mtDNA GeneExtractor: A computer tool for mtDNA gene/region information extraction  Full Text
AUTHORS: Fernando Freitas; Sandra Oliveira; Ricardo Rocha ; Luisa Pereira ;
PUBLISHED: 2009, SOURCE: MITOCHONDRION, VOLUME: 9, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | ResearcherID
76
TITLE: On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
77
TITLE: One Table Fits All  Full Text
AUTHORS: Jorge Costa; Ricardo Rocha ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP
78
TITLE: Relational Models for Tabling Logic Programs in a Database  Full Text
AUTHORS: Pedro Costa ; Ricardo Rocha ; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
79
TITLE: The Diversity Present in 5140 Human Mitochondrial Genomes
AUTHORS: Luisa Pereira ; Fernando Freitas; Veronica Fernandes; Joana B Pereira ; Marta D Costa; Stephanie Costa; Valdemar Maximo ; Vincent Macaulay; Ricardo Rocha ; David C Samuels;
PUBLISHED: 2009, SOURCE: AMERICAN JOURNAL OF HUMAN GENETICS, VOLUME: 84, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef: 101
IN MY: ORCID | ResearcherID
80
TITLE: An improved continuation call-based implementation of tabling
AUTHORS: Pablo Chico de Guzman; Manuel Carro; Manuel V Hermenegildo; Claudio Silva; Ricardo Rocha ;
PUBLISHED: 2008, SOURCE: 10th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 4902
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | ResearcherID | DBLP
Page 8 of 11. Total results: 108.

A place for researchers and their institutions

Useful Links

Get Help

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