Bijective enumeration of some colored permutations given by the product of two long cycles Fulltext Access 14 Pages 2012
Some properties of edge intersection graphs of single-bend paths on a grid Fulltext Access 14 Pages 2012
The size-cost of Boolean operations on constant height deterministic pushdown automata Fulltext Access 14 Pages 2012
On the complexity of the Eulerian closed walk with precedence path constraints problem Fulltext Access 14 Pages 2012
Influence of tree topology restrictions on the complexity of haplotyping with missing data Fulltext Access 14 Pages 2012
An extended Earley’s algorithm for Petri net controlled grammars without λ rules and cyclic rules Fulltext Access 14 Pages 2012
Linear and nonlinear constructions of DNA codes with Hamming distance dd, constant GC-content and a reverse-complement constraint Fulltext Access 14 Pages 2012
Complete m-spotty weight enumerators of binary codes, Jacobi forms, and partial Epstein zeta functions Fulltext Access 14 Pages 2012
Weak geodesic topology and fixed finite subgraph theorems in infinite partial cubes I. Topologies and the geodesic convexity Fulltext Access 14 Pages 2012
Characterising the linear clique-width of a class of graphs by forbidden induced subgraphs Fulltext Access 14 Pages 2012
A non-uniform birthday problem with applications to discrete logarithms Fulltext Access 14 Pages 2012
A branch-and-cut-and-price approach for the capacitated mm-ring–star problem Fulltext Access 14 Pages 2012
Decomposing locally semicomplete digraphs into strong spanning subdigraphs Fulltext Access 14 Pages 2012
On a family of Schreier graphs of intermediate growth associated with a self-similar group Fulltext Access 14 Pages 2012
An asymptotic analysis of the evolutionary spatial prisoner’s dilemma on a path Fulltext Access 14 Pages 2012
Linear time algorithms for two disjoint paths problems on directed acyclic graphs Fulltext Access 14 Pages 2012
On the expressive power of univariate equations over sets of natural numbers Fulltext Access 14 Pages 2012
Coloring KkKk-free intersection graphs of geometric objects in the plane Fulltext Access 14 Pages 2012
Learning secrets interactively. Dynamic modeling in inductive inference Fulltext Access 14 Pages 2012
A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation Fulltext Access 14 Pages 2012
A combinatorial description of the Gindikin–Karpelevich formula in type A Fulltext Access 14 Pages 2012
Three value TSP and linkages with the three value linear spanning 2-forests Fulltext Access 15 Pages 2012
Characterizing (quasi-)ultrametric finite spaces in terms of (directed) graphs Fulltext Access 15 Pages 2012
Generalized kk-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation Fulltext Access 15 Pages 2012
An Inductive-style Procedure for Counting Monochromatic Simplexes of Symmetric Subdivisions with Applications to Distributed Computing Fulltext Access 15 Pages 2012
A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources Fulltext Access 15 Pages 2012
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic Fulltext Access 15 Pages 2012
EXPTIME-completeness of thorough refinement on modal transition systems Fulltext Access 15 Pages 2012
Probabilistic model checking of biological systems with uncertain kinetic rates Fulltext Access 15 Pages 2012