Flávio Manuel Fernandes Cruz


AuthID: R-000-TYC

Confirmed Publications: 10



1
TITLE: Declarative Coordination of Graph-based Parallel Programs  Full Text
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2016, SOURCE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2
TITLE: A scalable file based data store for forensic analysis  Full Text
AUTHORS: Cruz, F ; Moser, A; Cohen, M;
PUBLISHED: 2015, SOURCE: DFRWS Europe Proceedings of the Second Annual DFRWS Europe in DIGITAL INVESTIGATION, VOLUME: 12
INDEXED IN: WOS DBLP CrossRef: 9
3
TITLE: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTHORS: Cruz, F ; Rocha, R ;
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
4
TITLE: Thread-Aware Logic Programming for Data-Driven Parallel Programs
AUTHORS: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLISHED: 2015, SOURCE: ICLP (Technical Communications), VOLUME: 1433
INDEXED IN: Scopus DBLP
5
TITLE: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC; Pfenning, F ;
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
6
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
7
TITLE: Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs  Full Text
AUTHORS: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLISHED: 2014, SOURCE: PPDP
INDEXED IN: Scopus DBLP CrossRef: 3
8
TITLE: Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
AUTHORS: Cruz, F ; Rocha, R ;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef
9
TITLE: Single Time-Stamped Tries for Retroactive Call Subsumption
AUTHORS: Flávio Cruz ; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.3779
INDEXED IN: DBLP
10
TITLE: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
AUTHORS: Cruz, F ; Rocha, R ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXED IN: Scopus WOS DBLP CrossRef: 3

footer slogan

Useful Links

Get Help

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