Publicações

Publicações com os mesmos autores da publicação Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs

Agrupar Por: Tipo Ano Ordenação: Título Ano Tipo de Publicação

Outras Publicações

Single Time-Stamped Tries for Retroactive Call Subsumption

Flávio Cruz (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)

2011

Indexação

ISI Web of Knowledge

Artigo em Revista Científica Internacional

Declarative Coordination of Graph-based Parallel Programs

Flavio Cruz (Autor) (Outra); Ricardo Rocha (Autor) (FCUP); Goldstein, SC (Autor) (Outra)

2016

Indexação

ISI Web of Knowledge

Scopus - 3 Citações

A Linear Logic Programming Language for Concurrent Programming over Graph Structures

Flavio Cruz (Autor) (Outra); Ricardo Rocha (Autor) (FCUP); Seth Copen Goldstein (Autor) (Outra); Frank Pfenning (Autor) (Outra)

2014

Classificação Científica Indexação

ISI Web of Knowledge - 6 Citações

Scopus - 7 Citações

FOS: Ciências da computação e da informação

Artigo em Livro de Atas de Conferência Internacional

Thread-aware logic programming for data-driven parallel programs

Cruz, F (Autor) (Outra); Rocha, R (Autor) (FCUP); Goldstein, SC (Autor) (Outra)

2015

Indexação

ISI Web of Knowledge

Scopus

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

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

2010

Classificação Científica Indexação

ISI Web of Knowledge - 4 Citações

Scopus - 4 Citações

FOS: Ciências da computação e da informação

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

Flavio Cruz (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)

2015

Classificação Científica Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 1 Citação

FOS: Ciências da computação e da informação

Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs

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

2010

Classificação Científica

FOS: Ciências da computação e da informação

CORDIS: Programação

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

Flávio Cruz (Autor) (Outra); Ricardo Rocha (Autor) (FCUP); Seth Copen Goldstein (Autor) (Outra)

2014

Indexação

ISI Web of Knowledge

Scopus - 2 Citações

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

Cruz, F (Autor) (Outra); Rocha, R (Autor) (FCUP); Goldstein, SC (Autor) (Outra)

2014

Indexação

ISI Web of Knowledge

Scopus - 1 Citação

Registos 1 a 9 de 9

 

1