Publications

Publications with the same authors as the Single Time-Stamped Tries for Retroactive Call Subsumption publication

Group by: Tipo Ano Order: Title Year Type of publication

Article in International Scientific Journal

Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs

Flavio Cruz (Author) (Other); Ricardo Rocha (Author) (FCUP)

2011

Scientific classification Indexing

ISI Web of Knowledge

Scopus - 1 Citation

FOS: Computer and information sciences

Declarative Coordination of Graph-based Parallel Programs

Flavio Cruz (Author) (Other); Ricardo Rocha (Author) (FCUP); Goldstein, SC (Author) (Other)

2016

Indexing

ISI Web of Knowledge

Scopus - 3 Citations

A Linear Logic Programming Language for Concurrent Programming over Graph Structures

Flavio Cruz (Author) (Other); Ricardo Rocha (Author) (FCUP); Seth Copen Goldstein (Author) (Other); Frank Pfenning (Author) (Other)

2014

Scientific classification Indexing

ISI Web of Knowledge - 6 Citations

Scopus - 7 Citations

FOS: Computer and information sciences

Article in International Conference Proceedings Book

Thread-aware logic programming for data-driven parallel programs

Cruz, F (Author) (Other); Rocha, R (Author) (FCUP); Goldstein, SC (Author) (Other)

2015

Indexing

ISI Web of Knowledge

Scopus

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

Flavio Cruz (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2010

Scientific classification Indexing

ISI Web of Knowledge - 4 Citations

Scopus - 4 Citations

FOS: Computer and information sciences

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

Flavio Cruz (Author) (Other); Ricardo Rocha (Author) (FCUP)

2015

Scientific classification Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

FOS: Computer and information sciences

Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs

Flávio Cruz (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2010

Scientific classification

FOS: Computer and information sciences

CORDIS: Programming

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs

Flávio Cruz (Author) (Other); Ricardo Rocha (Author) (FCUP); Seth Copen Goldstein (Author) (Other)

2014

Indexing

ISI Web of Knowledge

Scopus - 2 Citations

A parallel virtual machine for executing forward-chaining linear logic programs

Cruz, F (Author) (Other); Rocha, R (Author) (FCUP); Goldstein, SC (Author) (Other)

2014

Indexing

ISI Web of Knowledge

Scopus - 1 Citation

Records 1 to 9 from 9

 

1