Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Publicações Confirmadas: 109



41
TÍTULO: Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs
AUTORES: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLICAÇÃO: 2014, FONTE: 16th International Symposium on Principles and Practice of Declarative Programming, PPDP 2014 in Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
42
TÍTULO: On the correctness and efficiency of lock-free expandable tries for tabled logic programs
AUTORES: Areias, M ; Rocha, R ;
PUBLICAÇÃO: 2014, FONTE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8324 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | DBLP
43
TÍTULO: Tabling, Rational Terms, and Coinduction Finally Together!
AUTORES: Theofrastos Mantadelis ; Ricardo Rocha ; Paulo Moura ;
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: 2
NO MEU: ORCID | ResearcherID | DBLP
44
TÍTULO: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal
AUTORES: José Paulo Leal ; Ricardo Rocha ; Alberto Simões;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
45
TÍTULO: Batched Evaluation of Linear Tabled Logic Programs  Full Text
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
46
TÍTULO: Efficient Support for Mode-Directed Tabling in the YapTab Tabling System PDF
AUTORES: João Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1301.7680
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
47
TÍTULO: On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores PDF
AUTORES: Rui Vieira; Ricardo Rocha ; Fernando M. A. Silva ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1301.7690
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
48
TÍTULO: On the efficient implementation of mode-directed tabling
AUTORES: Santos, J ; Rocha, R ;
PUBLICAÇÃO: 2013, FONTE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7752 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
49
TÍTULO: Or-parallel prolog execution on clusters of multicores  Full Text
AUTORES: Santos, J ; Rocha, R ;
PUBLICAÇÃO: 2013, FONTE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
50
TÍTULO: Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems PDF
AUTORES: Ricardo Rocha ; Christian Theil Have;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1307.8389
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
Página 5 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