A network approach for specially structured linear programs arising in 0–1 quadratic optimization Fulltext Access 24 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
The algebra of metric betweenness II: Geometry and equational characterization of weakly median graphs 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
Partial characterizations of clique-perfect graphs I: Subclasses of claw-free graphs Fulltext Access 25 Pages 2008
Constructions for strictly cyclic 3-designs and applications to optimal OOCs with λ=2 Fulltext Access 25 Pages 2008
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools Fulltext Access 26 Pages 2008
Exponentially many nonisomorphic orientable triangular embeddings of K12sK12s Fulltext Access 26 Pages 2008
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus Fulltext Access 26 Pages 2008
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System Fulltext Access 26 Pages 2008
Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus Fulltext Access 26 Pages 2008
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems Fulltext Access 27 Pages 2008
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof Fulltext Access 27 Pages 2008
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method Fulltext Access 28 Pages 2008
Resolvable balanced incomplete block designs with subdesigns of block size 4 Fulltext Access 30 Pages 2008
The subconstituent algebra of a bipartite distance-regular graph; thin modules with endpoint two Fulltext Access 30 Pages 2008
Proper partial geometries with Singer groups and pseudogeometric partial difference sets Fulltext Access 31 Pages 2008
Schur Q-polynomials, multiple hypergeometric series and enumeration of marked shifted tableaux Fulltext Access 31 Pages 2008
General Refinement, Part One: Interfaces, Determinism and Special Refinement Fulltext Access 31 Pages 2008
Maximally edge-connected and vertex-connected graphs and digraphs: A survey Fulltext Access 32 Pages 2008
The complexity of deciding reachability properties of distributed negotiation schemes Fulltext Access 32 Pages 2008
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi Fulltext Access 33 Pages 2008