Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 109



71
TÍTULO: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
AUTORES: Flavio Cruz ; Ricardo Rocha ;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP
72
TÍTULO: Threads and or-parallelism unified
AUTORES: Vitor Santos Costa ; Ines Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2010, FONTE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, NÚMERO: 4-6
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | ResearcherID | DBLP
73
TÍTULO: A Term-Based Global Trie for Tabled Logic Programs  Full Text
AUTORES: Jorge Costa; Joao Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP
74
TÍTULO: High Level Thread-Based Competitive Or-Parallelism in Logtalk  Full Text
AUTORES: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLICAÇÃO: 2009, FONTE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | ResearcherID | DBLP
75
TÍTULO: Improving the efficiency of inductive logic programming systems  Full Text
AUTORES: Fonseca, NA ; Costa, VS ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLICAÇÃO: 2009, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 39, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Handle
NO MEU: ORCID | DBLP
76
TÍTULO: mtDNA GeneExtractor: A computer tool for mtDNA gene/region information extraction  Full Text
AUTORES: Fernando Freitas; Sandra Oliveira; Ricardo Rocha ; Luisa Pereira ;
PUBLICAÇÃO: 2009, FONTE: MITOCHONDRION, VOLUME: 9, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID | ResearcherID
77
TÍTULO: On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
78
TÍTULO: One Table Fits All  Full Text
AUTORES: Jorge Costa; Ricardo Rocha ;
PUBLICAÇÃO: 2009, FONTE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP
79
TÍTULO: Relational Models for Tabling Logic Programs in a Database  Full Text
AUTORES: Pedro Costa ; Ricardo Rocha ; Michel Ferreira ;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
80
TÍTULO: The Diversity Present in 5140 Human Mitochondrial Genomes
AUTORES: Luisa Pereira ; Fernando Freitas; Veronica Fernandes; Joana B Pereira ; Marta D Costa; Stephanie Costa; Valdemar Maximo ; Vincent Macaulay; Ricardo Rocha ; David C Samuels;
PUBLICAÇÃO: 2009, FONTE: AMERICAN JOURNAL OF HUMAN GENETICS, VOLUME: 84, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef: 101
NO MEU: ORCID | ResearcherID
Página 8 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