The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Flávio Cruz" ( http://dblp.L3S.de/Authors/Flávio_Cruz )

  Author page on DBLP  Author page in RDF  Community of Flávio Cruz in ASPL-2

Publication years (Num. hits)
2010 (1) 2011 (3) 2014 (3) 2015 (3) 2016 (1)
Publication types (Num. hits)
article(6) inproceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 12 publication records. Showing 11 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein Declarative coordination of graph-based parallel programs. Search on Bibsonomy PPOPP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Andreas Moser, Michael I. Cohen A scalable file based data store for forensic analysis. Search on Bibsonomy Digital Investigation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001 On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein Thread-Aware Logic Programming for Data-Driven Parallel Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein, Frank Pfenning A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein, Frank Pfenning A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001 Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001 Single Time-Stamped Tries for Retroactive Call Subsumption Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001 Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001 Retroactive Subsumption-Based Tabled Evaluation of Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license