Discrete strip-concave functions, Gelfand-Tsetlin patterns, and related polyhedra Fulltext Access 19 Pages 2005
Irreducible hypergraphs for Hall-type conditions, and arc-minimal digraph expanders Fulltext Access 20 Pages 2005
On composition and lookahead delegation of e-services modeled by automata Fulltext Access 20 Pages 2005
Restricted Motzkin permutations, Motzkin paths, continued fractions, and Chebyshev polynomials Fulltext Access 20 Pages 2005
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting Fulltext Access 20 Pages 2005
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources Fulltext Access 20 Pages 2005
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis Fulltext Access 20 Pages 2005
Activity preserving bijections between spanning trees and orientations in graphs Fulltext Access 20 Pages 2005
A new existence proof for large sets of disjoint Steiner triple systems Fulltext Access 20 Pages 2005
Expressive power of existential first-order sentences of Büchi's sequential calculus Fulltext Access 20 Pages 2005
Relational structures having finitely many full-cardinality restrictions Fulltext Access 20 Pages 2005
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC Fulltext Access 20 Pages 2005
Integration of Reliability and Performance Analyses for Active Network Services Fulltext Access 20 Pages 2005
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis Fulltext Access 20 Pages 2005
Reconstruction of 8-connected but not 4-connected hv-convex discrete sets Fulltext Access 20 Pages 2005
Computing the minimum DNF representation of Boolean functions defined by intervals Fulltext Access 20 Pages 2005
Semi-online scheduling jobs with tightly-grouped processing times on three identical machines Fulltext Access 20 Pages 2005
A compactness argument in the additive theory and the polynomial method Fulltext Access 21 Pages 2005