Two spanning disjoint paths with required length in generalized hypercubes Fulltext Access 24 Pages 2013
On the Representation and Aggregation of Evidence in Software Engineering: A Theory and Belief-based Perspective Fulltext Access 24 Pages 2013
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions Fulltext Access 24 Pages 2013
Complex zero-free regions at large |q| for multivariate Tutte polynomials (alias Potts-model partition functions) with general complex edge weights Fulltext Access 25 Pages 2013
FpFp-affine recurrent nn-dimensional sequences over FqFq are pp-automatic Fulltext Access 25 Pages 2013
Realization of affine type A Kirillov–Reshetikhin crystals via polytopes Fulltext Access 25 Pages 2013
A Riccati differential equation and free subgroup numbers for lifts of PSL2(Z) modulo prime powers Fulltext Access 25 Pages 2013
A study of Jacobi–Perron boundary words for the generation of discrete planes Fulltext Access 25 Pages 2013
Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories Fulltext Access 25 Pages 2013
Towards fully multivariate algorithmics: Parameter ecology and the deconstruction of computational complexity Fulltext Access 26 Pages 2013
Rhombic tilings of (n,k)-Ovals, (n,k,λ)-cyclic difference sets, and related topics Fulltext Access 26 Pages 2013
Structural operational semantics for stochastic and weighted transition systems Fulltext Access 26 Pages 2013
Parallelogram polyominoes, the sandpile model on a complete bipartite graph, and a q,t-Narayana polynomial Fulltext Access 27 Pages 2013
An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination Fulltext Access 27 Pages 2013
Polynomiality, wall crossings and tropical geometry of rational double Hurwitz cycles Fulltext Access 28 Pages 2013
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking Fulltext Access 29 Pages 2013
Correctness of concurrent executions of closed nested transactions in transactional memory systems Fulltext Access 29 Pages 2013
Corner cuts are close to optimal: From solid grids to polygons and back Fulltext Access 29 Pages 2013
A process algebra framework for multi-scale modelling of biological systems Fulltext Access 31 Pages 2013
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems Fulltext Access 37 Pages 2013
Uniformity in association schemes and coherent configurations: Cometric Q-antipodal schemes and linked systems Fulltext Access 39 Pages 2013
Separation of variables and combinatorics of linearization coefficients of orthogonal polynomials Fulltext Access 39 Pages 2013
Complementary cooperation, minimal winning coalitions, and power indices Fulltext Access 40 Pages 2013
On embeddings of CAT(0) cube complexes into products of trees via colouring their hyperplanes Fulltext Access 40 Pages 2013
An analysis for proving probabilistic termination of biological systems Fulltext Access 47 Pages 2013
Tight absolute bound for First Fit Decreasing bin-packing: FFD(L)⩽11/9FFD(L)⩽11/9OPT(L)+6/9OPT(L)+6/9 Fulltext Access 49 Pages 2013
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences Fulltext Access 54 Pages 2013
A characterization of 1-cycle resonant graphs among bipartite 2-connected plane graphs Fulltext Access 4 Pages 2012
On graphs for which the connected domination number is at most the total domination number Fulltext Access 4 Pages 2012
Kekulé structures of polyomino chains and the Hosoya index of caterpillar trees Fulltext Access 4 Pages 2012
A simpler proof for vertex-pancyclicity of squares of connected claw-free graphs Fulltext Access 4 Pages 2012
A group theoretic characterization of Buekenhout–Metz unitals in PG(2,q2) containing conics Fulltext Access 4 Pages 2012