Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. - Flávio Cruz; Ricardo Rocha 001 (JELIA, 2010)

Single Time-Stamped Tries for Retroactive Call Subsumption - Flávio Cruz; Ricardo Rocha 001 (CoRR, 2011)

Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs. - Flávio Cruz; Ricardo Rocha 001 (Theory Pract. Log. Program., 2011)

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. - Flávio Cruz; Ricardo Rocha 001; Seth Copen Goldstein (PPDP, 2014)

A Linear Logic Programming Language for Concurrent Programming over Graph Structures. - Flávio Cruz; Ricardo Rocha 001; Seth Copen Goldstein; Frank Pfenning (Theory Pract. Log. Program., 2014)

Thread-Aware Logic Programming for Data-Driven Parallel Programs. - Flávio Cruz; Ricardo Rocha 001; Seth Copen Goldstein (ICLP (Technical Communications), 2015)

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. - Flávio Cruz; Ricardo Rocha 001 (PADL, 2015)

A scalable file based data store for forensic analysis. - Flávio Cruz; Andreas Moser; Michael I. Cohen (Digit. Investig., 2015)

Linear Logic and Coordination for Parallel Programming - Flávio Cruz (2015)

Declarative coordination of graph-based parallel programs. - Flávio Cruz; Ricardo Rocha 001; Seth Copen Goldstein (PPoPP, 2016)