Partial characterizations of clique-perfect graphs II: Diamond-free and Helly circular-arc graphs Fulltext Access 15 Pages 2009
On the satisfiability threshold of formulas with three literals per clause Fulltext Access 15 Pages 2009
The “equal last letter” predicate for words on infinite alphabets and classes of multitape automata Fulltext Access 15 Pages 2009
A push–relabel approximation algorithm for approximating the minimum-degree MST problem and its generalization to matroids Fulltext Access 15 Pages 2009
Single-edge monotonic sequences of graphs and linear-time algorithms for minimal completions and deletions Fulltext Access 15 Pages 2009
Safe termination detection in an asynchronous distributed system when processes may crash and recover Fulltext Access 15 Pages 2009
Two equivalence relations on digital lines with irrational slopes. A continued fraction approach to upper mechanical words Fulltext Access 15 Pages 2009
Two-dimensional hierarchies of proper languages of lexicalized FRR-automata Fulltext Access 15 Pages 2009
A characterization of some distance-regular graphs by strongly closed subgraphs Fulltext Access 15 Pages 2009
Optimal strategies for maintaining a chain of relays between an explorer and a base camp Fulltext Access 15 Pages 2009
Complete solutions to the Oberwolfach problem for an infinite set of orders Fulltext Access 15 Pages 2009
Association schemes related to universally optimal configurations, Kerdock codes and extremal Euclidean line-sets Fulltext Access 15 Pages 2009
Generalised dual arcs and Veronesean surfaces, with applications to cryptography Fulltext Access 15 Pages 2009
From line-systems to sphere-systems — Schläfli’s double six, Lie’s line-sphere transformation, and Grace’s theorem Fulltext Access 15 Pages 2009
Exponentially many nonisomorphic orientable triangular embeddings of K12s+3K12s+3 Fulltext Access 15 Pages 2009
WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems Fulltext Access 15 Pages 2009
Haplotype inferring via galled-tree networks using a hypergraph covering problem for special genotype matrices Fulltext Access 15 Pages 2009
A Technique to Build Debugging Tools for Lazy Functional Logic Languages Fulltext Access 15 Pages 2009
Path-based distance functions in n-dimensional generalizations of the face- and body-centered cubic grids Fulltext Access 15 Pages 2009
A Reformulation-Linearization Technique (RLT) for semi-infinite and convex programs under mixed 0-1 and general discrete restrictions Fulltext Access 15 Pages 2009
Collision-free path coloring with application to minimum-delay gathering in sensor networks Fulltext Access 15 Pages 2009
The self-affine property of (U,r)(U,r)-Carlitz sequences of polynomials deciphered in terms of graph directed IFS Fulltext Access 15 Pages 2009
Certifying algorithms for recognizing proper circular-arc graphs and unit circular-arc graphs Fulltext Access 15 Pages 2009
Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence Fulltext Access 15 Pages 2009
NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation Fulltext Access 15 Pages 2009
Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins Fulltext Access 15 Pages 2009
Quality Factors and Coding Standards – a Comparison Between Open Source Forges Fulltext Access 15 Pages 2009
A Software Maintenance Maturity Model (S3M): Measurement Practices at Maturity Levels 3 and 4 Fulltext Access 15 Pages 2009
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS Fulltext Access 15 Pages 2009
Simploidals sets: Definitions, operations and comparison with simplicial sets Fulltext Access 16 Pages 2009
The complexity of minimizing the number of shape matrices subject to minimal beam-on time in multileaf collimator field decomposition with bounded fluence Fulltext Access 16 Pages 2009
On the approximability of the Maximum Agreement SubTree and Maximum Compatible Tree problems Fulltext Access 16 Pages 2009
Approximation algorithms for constrained generalized tree alignment problem Fulltext Access 16 Pages 2009