Ricardo Jorge Gomes Lopes da Rocha


AuthID: R-000-FCK

Confirmed Publications: 110



41
42
TITLE: Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs
AUTHORS: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLISHED: 2014, SOURCE: PPDP
INDEXED IN: Scopus DBLP CrossRef: 3
43
TITLE: On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: PADL, VOLUME: 8324 LNCS
INDEXED IN: Scopus DBLP CrossRef: 7
44
TITLE: Tabling, Rational Terms, and Coinduction Finally Together!
AUTHORS: Mantadelis, T ; Rocha, R ; Moura, P ;
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: 1
45
TITLE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal
AUTHORS: José Paulo Leal ; Ricardo Rocha ; Alberto Simões;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
46
TITLE: Batched Evaluation of Linear Tabled Logic Programs
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
47
TITLE: Efficient Support for Mode-Directed Tabling in the YapTab Tabling System
AUTHORS: João Santos ; Ricardo Rocha ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.7680
INDEXED IN: DBLP
48
TITLE: On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores
AUTHORS: Rui Vieira; Ricardo Rocha ; Fernando M A Silva ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.7690
INDEXED IN: DBLP
49
TITLE: On the Efficient Implementation of Mode-Directed Tabling
AUTHORS: João Santos ; Ricardo Rocha ;
PUBLISHED: 2013, SOURCE: PADL, VOLUME: 7752 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
50
TITLE: Or-Parallel Prolog Execution on Clusters of Multicores
AUTHORS: João Santos ; Ricardo Rocha ;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29
INDEXED IN: Scopus DBLP
Page 5 of 11. Total results: 110.

footer slogan

Useful Links

Get Help

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