Flávio Manuel Fernandes Cruz


AuthID: R-000-TYC

Confirmed Publications: 10



1
TITLE: Declarative Coordination of Graph-based Parallel Programs  Full Text
AUTHORS: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
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
IN MY: DBLP
2
TITLE: A scalable file based data store for forensic analysis  Full Text
AUTHORS: Flavio Cruz ; Andreas Moser; Michael Cohen;
PUBLISHED: 2015, SOURCE: DFRWS Europe Proceedings of the Second Annual DFRWS Europe in DIGITAL INVESTIGATION, VOLUME: 12, ISSUE: Supplement-1
INDEXED IN: WOS DBLP CrossRef
IN MY: DBLP
3
TITLE: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
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
IN MY: DBLP
4
TITLE: Thread-aware logic programming for data-driven parallel programs PDF
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2015, SOURCE: 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1433
INDEXED IN: Scopus DBLP
IN MY: DBLP
5
TITLE: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTHORS: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein; Frank Pfenning ;
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
IN MY: DBLP
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
AUTHORS: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: DBLP
8
TITLE: Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
9
TITLE: Single Time-Stamped Tries for Retroactive Call Subsumption PDF
AUTHORS: Flávio Cruz ; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.3779
INDEXED IN: DBLP arXiv
IN MY: DBLP
10
TITLE: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
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
IN MY: DBLP

A place for researchers and their institutions

Useful Links

Get Help

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