Flávio Cruz

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Topics

Strong And Uniform Equivalence

Answer Set Semantics

Graph Structures

Top Venues

Digit. Investig.

Publications

Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein
Declarative coordination of graph-based parallel programs. PPOPP (2016)
Flávio Cruz, Ricardo Rocha
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. PADL (2015)
Flávio Cruz, Andreas Moser, Michael I. Cohen
A scalable file based data store for forensic analysis. Digit. Investig. (2015)
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein
Thread-Aware Logic Programming for Data-Driven Parallel Programs. ICLP (Technical Communications) (2015)
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning
A Linear Logic Programming Language for Concurrent Programming over Graph Structures. CoRR (2014)
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning
A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Theory Pract. Log. Program. 14 (4-5) (2014)
Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. PPDP (2014)
Flávio Cruz, Ricardo Rocha
Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs CoRR (2011)
Flávio Cruz, Ricardo Rocha
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs. Theory Pract. Log. Program. 11 (4-5) (2011)
Flávio Cruz, Ricardo Rocha
Single Time-Stamped Tries for Retroactive Call Subsumption CoRR (2011)
Flávio Cruz, Ricardo Rocha
Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. JELIA (2010)