BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
algorithm (4)
word (4)
theorem (2)
partial (2)
system (2)

Stem combinator$ (all stems)

18 papers:

STOCSTOC-2015-ChanL #clustering #combinator #integer
Clustered Integer 3SUM via Additive Combinatorics (TMC, ML), pp. 31–40.
STOCSTOC-2014-AggarwalDL #combinator
Non-malleable codes from additive combinatorics (DA, YD, SL), pp. 774–783.
LATALATA-2014-DennunzioFM #combinator
Extremal Combinatorics of Reaction Systems (AD, EF, LM), pp. 297–307.
LICSLICS-CSL-2014-BarceloM #combinator #graph #logic #word
Graph logics with rational relations: the role of word combinatorics (PB, PM), p. 10.
CIAACIAA-J-2012-GocHS13 #automation #combinator #word
Automatic Theorem-Proving in Combinatorics on Words (DG, DH, JS), pp. 781–798.
ESEC-FSEESEC-FSE-2013-KimMKBSBd #combinator #configuration management #dynamic analysis #lightweight #named #testing
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems (CHPK, DM, SK, DSB, SS, PB, Md), pp. 257–267.
AFLAFL-J-2011-Blanchet-Sadri12 #algorithm #combinator #word
Algorithmic Combinatorics on Partial Words (FBS), pp. 1189–1206.
CIAACIAA-2012-GocHS #automation #combinator #word
Automatic Theorem-Proving in Combinatorics on Words (DG, DH, JS), pp. 180–191.
DLTDLT-J-2010-BrodaMMR11 #approach #automaton #combinator #complexity #on the
On the Average State Complexity of Partial derivative Automata: an analytic Combinatorics Approach (SB, AM, NM, RR), pp. 1593–1606.
ITiCSEITiCSE-2008-Rubio-Sanchez #combinator #equivalence #problem
An introduction to problem equivalence with combinatorics (MRS), p. 313.
ICALPICALP-A-2008-FominV #combinator
Treewidth Computation and Extremal Combinatorics (FVF, YV), pp. 210–221.
LICSLICS-2007-HarmerHM #category theory #combinator
Categorical Combinatorics for Innocent Strategies (RH, MH, PAM), pp. 379–388.
ICSTSAT-2003-Kullmann #combinator
The Combinatorics of Conflicts between Clauses (OK), pp. 426–440.
ICALPICALP-2001-FerencziHZ #combinator
Combinatorics of Three-Interval Exchanges (SF, CH, LQZ), pp. 567–578.
ICALPICALP-2001-RivalsR #combinator #string
Combinatorics of Periods in Strings (ER, SR), pp. 615–626.
ICALPICALP-2001-SadakaneTT #algorithm #combinator #sequence
Combinatorics and Algorithms on Low-Discrepancy Roundings of a Real Sequence (KS, NTC, TT), pp. 166–177.
STOCSTOC-1989-ChazelleEGS #algorithm #combinator
Lines in Space-Combinatorics, Algorithms and Applications (BC, HE, LJG, MS), pp. 382–393.
ICALPICALP-1988-EdelsbrunnerGPPSS #algorithm #combinator
Arrangements of Curves in the Plane — Topology, Combinatorics, and Algorithms (HE, LJG, JP, RP, RS, MS), pp. 214–229.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.