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

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