Flávio Manuel Fernandes Cruz


AuthID: R-000-TYC

Publicações Confirmadas: 10



1
TÍTULO: Declarative Coordination of Graph-based Parallel Programs  Full Text
AUTORES: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLICAÇÃO: 2016, FONTE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2
TÍTULO: A scalable file based data store for forensic analysis  Full Text
AUTORES: Cruz, F ; Moser, A; Cohen, M;
PUBLICAÇÃO: 2015, FONTE: DFRWS Europe Proceedings of the Second Annual DFRWS Europe in DIGITAL INVESTIGATION, VOLUME: 12
INDEXADO EM: WOS DBLP CrossRef: 9
3
TÍTULO: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTORES: Cruz, F ; Rocha, R ;
PUBLICAÇÃO: 2015, FONTE: 17th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, VOLUME: 9131
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
4
TÍTULO: Thread-Aware Logic Programming for Data-Driven Parallel Programs
AUTORES: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLICAÇÃO: 2015, FONTE: ICLP (Technical Communications), VOLUME: 1433
INDEXADO EM: Scopus DBLP
5
TÍTULO: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTORES: Cruz, F ; Rocha, R ; Goldstein, SC; Pfenning, F ;
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: 7
6
TÍTULO: A parallel virtual machine for executing forward-chaining linear logic programs
AUTORES: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus
7
TÍTULO: Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs  Full Text
AUTORES: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLICAÇÃO: 2014, FONTE: PPDP
INDEXADO EM: Scopus DBLP CrossRef: 3
8
TÍTULO: Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
AUTORES: Cruz, F ; Rocha, R ;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5
INDEXADO EM: Scopus WOS DBLP CrossRef
9
TÍTULO: Single Time-Stamped Tries for Retroactive Call Subsumption
AUTORES: Flávio Cruz ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.3779
INDEXADO EM: DBLP
10
TÍTULO: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
AUTORES: Cruz, F ; Rocha, R ;
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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service