Improved upper and lower bounds on the feedback vertex numbers of grids and butterflies Fulltext Access 21 Pages 2008
Hamilton cycle decompositions of the tensor product of complete multipartite graphs Fulltext Access 21 Pages 2008
GG-graphs: An efficient tool for constructing symmetric and semisymmetric graphs Fulltext Access 21 Pages 2008
The BOXEL framework for 2.5D data with applications to virtual drivethroughs and ray tracing Fulltext Access 21 Pages 2008
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic Fulltext Access 22 Pages 2008
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems Fulltext Access 22 Pages 2008
Meinardus' theorem on weighted partitions: Extensions and a probabilistic proof Fulltext Access 22 Pages 2008
Mixed expansion formula for the rectangular Schur functions and the affine Lie algebra Fulltext Access 22 Pages 2008
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus Fulltext Access 22 Pages 2008
A bijective proof of Jackson's formula for the number of factorizations of a cycle Fulltext Access 22 Pages 2008
Orbits of rational n-sets of projective spaces under the action of the linear group Fulltext Access 22 Pages 2008
Trivial factors for L-functions of symmetric products of Kloosterman sheaves Fulltext Access 22 Pages 2008
Pattern classes of permutations via bijections between linearly ordered sets Fulltext Access 22 Pages 2008
A few more Kirkman squares and doubly near resolvable BIBDs with block size 3 Fulltext Access 22 Pages 2008
Continued fractions for hyperquadratic power series over a finite field Fulltext Access 22 Pages 2008
Asymptotic enumeration of sparse nonnegative integer matrices with specified row and column sums Fulltext Access 23 Pages 2008
Recursive geometry of the flow complex and topology of the flow complex filtration Fulltext Access 23 Pages 2008
A Calculus for Generation, Verification and Refinement of BPEL Specifications 1 Fulltext Access 23 Pages 2008
Combined route capacity and route length models for unit demand vehicle routing problems Fulltext Access 23 Pages 2008
An iterated local search algorithm for the time-dependent vehicle routing problem with time windows Fulltext Access 23 Pages 2008
A network approach for specially structured linear programs arising in 0–1 quadratic optimization Fulltext Access 24 Pages 2008
A multi-dimensional approach to the construction and enumeration of Golay complementary sequences Fulltext Access 24 Pages 2008
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions Fulltext Access 24 Pages 2008
P-partition products and fundamental quasi-symmetric function positivity Fulltext Access 24 Pages 2008
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time Fulltext Access 24 Pages 2008
Partial characterizations of clique-perfect graphs I: Subclasses of claw-free graphs Fulltext Access 25 Pages 2008
Combinatorial functional and differential equations applied to differential posets Fulltext Access 25 Pages 2008
On gaps and unoccupied urns in sequences of geometrically distributed random variables Fulltext Access 25 Pages 2008
Constructions for strictly cyclic 3-designs and applications to optimal OOCs with λ=2 Fulltext Access 25 Pages 2008
A new characterization for the m-quasiinvariants of Sn and explicit basis for two row hook shapes Fulltext Access 25 Pages 2008
The algebra of metric betweenness II: Geometry and equational characterization of weakly median graphs Fulltext Access 25 Pages 2008