Algorithms for computing the Shapley value of cooperative games on lattices Fulltext Access 15 Pages 2018
Congruences modulo powers of 3 for 3- and 9-colored generalized Frobenius partitions Fulltext Access 15 Pages 2018
Moments about the mean of the size of a self-conjugate (s,t)-core partition Fulltext Access 15 Pages 2018
Computing with an algebraic-perturbation variant of Barvinok's algorithm Fulltext Access 15 Pages 2018
Transversals in completely reducible multiary quasigroups and in multiary quasigroups of order 4 Fulltext Access 16 Pages 2018
q-log-convexity from linear transformations and polynomials with only real zeros Fulltext Access 16 Pages 2018
Fault-tolerant strong Menger (edge) connectivity and 3-extra edge-connectivity of balanced hypercubes Fulltext Access 16 Pages 2018
Local checkability, no strings attached: (A)cyclicity, reachability, loop free updates in SDNs Fulltext Access 16 Pages 2018
Block interpolation: A framework for tight exponential-time counting complexity Fulltext Access 16 Pages 2018
A polynomial bound for the arithmetic k-cycle removal lemma in vector spaces Fulltext Access 16 Pages 2018
Transposing G to Câ¯: Expressivity of generalized algebraic data types in an object-oriented language Fulltext Access 16 Pages 2018
Five-list-coloring graphs on surfaces III. One list of size one and one list of size two Fulltext Access 16 Pages 2018
Lagrangian densities of some sparse hypergraphs and Turán numbers of their extensions Fulltext Access 17 Pages 2018
A new lower bound for the chromatic number of general Kneser hypergraphs Fulltext Access 17 Pages 2018
Bijections for Weyl Chamber walks ending on an axis, using arc diagrams and Schnyder woods Fulltext Access 17 Pages 2018
EERTREE: An efficient data structure for processing palindromes in strings Fulltext Access 17 Pages 2018
Enumerating lambda terms by weighted length of their De Bruijn representation Fulltext Access 17 Pages 2018
Recursions associated to trapezoid, symmetric and rotation symmetric functions over Galois fields Fulltext Access 17 Pages 2018
Optimal design of switched Ethernet networks implementing the Multiple Spanning Tree Protocol Fulltext Access 17 Pages 2018
Interleaving isotactics - An equivalence notion on behaviour abstractions Fulltext Access 18 Pages 2018
Strongly Menger-edge-connectedness and strongly Menger-vertex-connectedness of regular networks Fulltext Access 18 Pages 2018
Randomized k-set agreement in crash-prone and Byzantine asynchronous systems Fulltext Access 18 Pages 2018
First-order μ-calculus over generic transition systems and applications to the situation calculus Fulltext Access 20 Pages 2018
Computing and estimating the volume of the solution space of SMT(LA) constraints Fulltext Access 20 Pages 2018
Partitioning H-minor free graphs into three subgraphs with no large components Fulltext Access 20 Pages 2018
On the complexity of an expanded Tarski's fixed point problem under the componentwise ordering Fulltext Access 20 Pages 2018
Primitive permutation groups with a suborbit of length 5 and vertex-primitive graphs of valency 5 Fulltext Access 20 Pages 2018
Completion of partial Latin Hypercube Designs: NP-completeness and inapproximability Fulltext Access 20 Pages 2018