Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Powerlists with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-2017 (11)
Publication types (Num. hits)
article(3) inproceedings(8)
Venues (Conferences, Journals, ...)
AMAST(1) CANDAR(1) Euro-Par(1) HiPC Workshops(1) IJCAR(1) Inf. Process. Lett.(1) J. Autom. Reason.(1) PDCAT(1) Sci. Comput. Program.(1) SYNASC(1) TYPES(1)
Authors
Frédéric Loulergue(3) Virginia Niculescu(3) Jacob Kornerup(2) Adel Bouhoula(1) Adrian Sterca(1) Andreas Abel 0001(1) Anshu S. Anand(1) Darius Bufnea(1) Deepak Kapur(1) Florent Jacquemard(1) Julien Tesson(1) Klaus Achatz(1) Mahadevan Subramaniam(1) R. K. Shyamasundar(1) Ralph Matthes(1) Ruben A. Gamboa(1) More (+10 of total 18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
231Ruben A. Gamboa A Formalization of Powerlist Algebra in ACL2. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Powerlists, Verification, ACL2
35Virginia Niculescu, Frédéric Loulergue, Darius Bufnea, Adrian Sterca A Java Framework for High Level Parallel Programming Using Powerlists. Search on Bibsonomy PDCAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Anshu S. Anand, R. K. Shyamasundar Scaling Computation on GPUs Using Powerlists. Search on Bibsonomy HiPC Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Frédéric Loulergue, Virginia Niculescu, Julien Tesson Implementing Powerlists with Bulk Synchronous Parallel ML. Search on Bibsonomy SYNASC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
35Frédéric Loulergue, Virginia Niculescu, Simon Robillard Powerlists in Coq: Programming and Reasoning. Search on Bibsonomy CANDAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
35Jacob Kornerup Odd-Even Sort in Powerlists. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
35Jacob Kornerup Parlists - A Generalization of Powerlists. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
35Klaus Achatz, Wolfram Schulte Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Deepak Kapur, Mahadevan Subramaniam Automated Reasoning About Parallel Algorithms Using Powerlists. Search on Bibsonomy AMAST The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
28Adel Bouhoula, Florent Jacquemard Automated Induction with Constrained Tree Automata. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Andreas Abel 0001, Ralph Matthes (Co-)Iteration for Higher-Order Nested Datatypes. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license