The degree of a typical vertex in generalized random intersection graph models Fulltext Access 14 Pages 2006
Resolvable group divisible designs with block size four and index three Fulltext Access 14 Pages 2006
Applications of operator identities to the multiple q-binomial theorem and q-Gauss summation theorem Fulltext Access 14 Pages 2006
Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study Fulltext Access 14 Pages 2006
Permutation polytopes and indecomposable elements in permutation groups Fulltext Access 14 Pages 2006
On the minimal degree implying equality of the largest triangle-free and bipartite subgraphs Fulltext Access 14 Pages 2006
Subquadrangles of order s of generalized quadrangles of order (s,s2), Part III Fulltext Access 14 Pages 2006
Eulerian colorings and the bipartizing matchings conjecture of Fleischner Fulltext Access 14 Pages 2006
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions Fulltext Access 14 Pages 2006
Model Checking of Component Behavior Specification: A Real Life Experience Fulltext Access 14 Pages 2006
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress) Fulltext Access 14 Pages 2006
The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem Fulltext Access 14 Pages 2006
Generalized metarationalities in the graph model for conflict resolution Fulltext Access 14 Pages 2006
An annotated bibliography of combinatorial optimization problems with fixed cardinality constraints Fulltext Access 14 Pages 2006
Accelerated algorithm for pattern detection in logical analysis of data Fulltext Access 14 Pages 2006
Choiceless Polynomial Time, Counting and the Cai–Fürer–Immerman Graphs: (Extended Abstract) Fulltext Access 14 Pages 2006
On the Use of Singular Value Decomposition for a Fast Intrusion Detection System Fulltext Access 14 Pages 2006
Sparse anti-magic squares and vertex-magic labelings of bipartite graphs Fulltext Access 15 Pages 2006
Formulas for multi-parameter classes of Kazhdan–Lusztig polynomials in S(n)S(n) Fulltext Access 15 Pages 2006