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
Exponentially many nonisomorphic orientable triangular embeddings of K12sK12s Fulltext Access 26 Pages 2008
Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus Fulltext Access 26 Pages 2008
Jacobians in isogeny classes of supersingular abelian threefolds in characteristic 2 Fulltext Access 27 Pages 2008
The cyclic sieving phenomenon for faces of generalized cluster complexes Fulltext Access 27 Pages 2008
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems Fulltext Access 27 Pages 2008
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method Fulltext Access 28 Pages 2008
Efficient algorithms and methods to solve dynamic MINs stability problem using stable matching with complete ties Fulltext Access 28 Pages 2008
A max-flow approach to improved lower bounds for quadratic unconstrained binary optimization (QUBO) Fulltext Access 29 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
General Refinement, Part One: Interfaces, Determinism and Special Refinement Fulltext Access 31 Pages 2008
Schur Q-polynomials, multiple hypergeometric series and enumeration of marked shifted tableaux Fulltext Access 31 Pages 2008
Proper partial geometries with Singer groups and pseudogeometric partial difference sets Fulltext Access 31 Pages 2008
Maximally edge-connected and vertex-connected graphs and digraphs: A survey Fulltext Access 32 Pages 2008
A classification of tightly attached half-arc-transitive graphs of valency 4 Fulltext Access 33 Pages 2008
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi Fulltext Access 33 Pages 2008
Explicit formulas for the variance of conditioned sojourn times in M/D/1-PS Fulltext Access 4 Pages 2007