The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase set-sharing (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2005 (17) 2006-2021 (7)
Publication types (Num. hits)
article(7) inproceedings(17)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 11 keywords

Results
Found 24 publication records. Showing 24 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
44Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo Efficient Top-Down Set-Sharing Analysis Using Cliques. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Patricia M. Hill, Roberto Bagnara, Enea Zaffanella The Correctness of Set-Sharing. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF occur-check, rational trees, set-sharing, logic programming, abstract interpretation
38Francisco Bueno, Maria J. García de la Banda Set-Sharing Is Not Always Redundant for Pair-Sharing. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo Efficient Set Sharing Using ZBDDs. Search on Bibsonomy LCPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo Negative Ternary Set-Sharing. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Michael Codish, Harald Søndergaard The Boolean Logic of Set Sharing Analysis. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
30Mario Méndez-Lojo, Manuel V. Hermenegildo Precise Set Sharing Analysis for Java-Style Programs. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Vitaly Lagoon, Peter J. Stuckey Precise pair-sharing analysis of logic programs. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF program analysis, sharing
29Xuan Li, Lunjin Lu Inverting abstract unification for set-sharing. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF maximal models and Boolean formulas, set-sharing, logic programs, backward analysis
16Roberto Bagnara, Patricia M. Hill, Enea Zaffanella Set-sharing is redundant for pair-sharing. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Roberto Bagnara, Patricia M. Hill, Enea Zaffanella Set-Sharing is Redundant for Pair-Sharing. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
12Enea Zaffanella, Patricia M. Hill, Roberto Bagnara Decomposing Non-redundant Sharing by Complementation. Search on Bibsonomy SAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Abstract Interpretation, Domain Decomposition, Complementation, Sharing Analysis
10Masato Takeichi Conflict-free Collaborative Set Sharing for Distributed Systems. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
10Xuan Li, Andy King, Lunjin Lu Lazy Set-Sharing Analysis. Search on Bibsonomy FLOPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
10Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo A study of set-sharing analysis via cliques. Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
10Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo A Study of Set-Sharing Analysis via Clique. Search on Bibsonomy WLPE The full citation details ... 2005 DBLP  BibTeX  RDF
10Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng SOC Test Scheduling with Test Set Sharing and Broadcasting. Search on Bibsonomy Asian Test Symposium The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
10Patricia M. Hill, Enea Zaffanella, Roberto Bagnara A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
10Patricia M. Hill, Enea Zaffanella, Roberto Bagnara A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Patricia M. Hill, Roberto Bagnara, Enea Zaffanella Soundness, idempotence and commutativity of set-sharing. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Patricia M. Hill, Roberto Bagnara, Enea Zaffanella Soundness, Idempotence and Commutativity of Set-Sharing Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
10Patricia M. Hill, Roberto Bagnara, Enea Zaffanella The Correctness of Set-Sharing. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1998 DBLP  BibTeX  RDF
4Huaifeng Zhang, Yanchang Zhao, Longbing Cao, Chengqi Zhang Combined Association Rule Mining. Search on Bibsonomy PAKDD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
4Jacob M. Howe, Andy King Implementing Groundness Analysis with Definite Boolean Functions. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF definite Boolean functions, interpretation, groundness analysis, (constraint) logic programs
Displaying result #1 - #24 of 24 (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