On a conjecture of Brouwer involving the connectivity of strongly regular graphs Fulltext Access 19 Pages 2012
The structure of bull-free graphs I—Three-edge-paths with centers and anticenters Fulltext Access 19 Pages 2012
A proof of Cunninghamʼs conjecture on restricted subgraphs and jump systems Fulltext Access 19 Pages 2012
The equations satisfied by GGS-groups and the abelian group structure of the Gupta-Sidki group Fulltext Access 19 Pages 2012
Near-central permutation factorization and Strahovʼs generalized Murnaghan-Nakayama rule Fulltext Access 19 Pages 2012
Chosen-ciphertext secure anonymous conditional proxy re-encryption with keyword search Fulltext Access 20 Pages 2012
Approximation complexity of complex-weighted degree-two counting constraint satisfaction problems Fulltext Access 20 Pages 2012
Asymptotics of characters of symmetric groups: Structure of Kerov character polynomials Fulltext Access 20 Pages 2012
Multiset rewriting for the verification of depth-bounded processes with name binding Fulltext Access 20 Pages 2012
An improved on-line algorithm for single parallel-batch machine scheduling with delivery times Fulltext Access 20 Pages 2012
Average site perimeter of directed animals on the two-dimensional lattices Fulltext Access 21 Pages 2012
Characterizations of locally testable linear- and affine-invariant families Fulltext Access 21 Pages 2012
Ehrhart series of lecture hall polytopes and Eulerian polynomials for inversion sequences Fulltext Access 21 Pages 2012
Quasigroups satisfying Stein's third law with a specified number of idempotents Fulltext Access 21 Pages 2012
Generalised quadrangles with a group of automorphisms acting primitively on points and lines Fulltext Access 21 Pages 2012
Foundational aspects of multiscale modeling of biological systems with process algebras Fulltext Access 21 Pages 2012
Approximate counting for complex-weighted Boolean constraint satisfaction problems Fulltext Access 22 Pages 2012
Asymptotics of the maximal and the typical dimensions of isotypic components of tensor representations of the symmetric group Fulltext Access 22 Pages 2012
On the model-checking of monadic second-order formulas with edge set quantifications Fulltext Access 22 Pages 2012
Algorithmic paradigms for stability-based cluster validity and model selection statistical methods, with applications to microarray data analysis Fulltext Access 22 Pages 2012
On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation Fulltext Access 22 Pages 2012
Well-quasi-ordering of matrices under Schur complement and applications to directed graphs Fulltext Access 22 Pages 2012
Bounding the size of a vertex-stabiliser in a finite vertex-transitive graph Fulltext Access 23 Pages 2012
Exact minimum degree thresholds for perfect matchings in uniform hypergraphs Fulltext Access 23 Pages 2012
Robust periodic solutions and evolution from seeds in one-dimensional edge cellular automata Fulltext Access 23 Pages 2012
Weighted automata and multi-valued logics over arbitrary bounded lattices Fulltext Access 23 Pages 2012
An algorithm for (n−3)-connectivity augmentation problem: Jump system approach Fulltext Access 23 Pages 2012
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs Fulltext Access 23 Pages 2012
An Introduction to the Topological Theory of Distributed Computing with Safe-consensus Fulltext Access 23 Pages 2012
Performance analysis of the simultaneous perturbation stochastic approximation algorithm on the noisy sphere model Fulltext Access 23 Pages 2012
On the complexity of entailment in existential conjunctive first-order logic with atomic negation Fulltext Access 24 Pages 2012
The functions erf and erfc computed with arbitrary precision and explicit error bounds Fulltext Access 24 Pages 2012