On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms Fulltext Access 25 Pages 2005
Efficient instance retrieval with standard and relational path indexing Fulltext Access 25 Pages 2005
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols Fulltext Access 25 Pages 2005
View Transformation in Visual Environments applied to Algebraic High-Level Nets Fulltext Access 26 Pages 2005
Finding the most interesting correlations in a database: how hard can it be? Fulltext Access 26 Pages 2005
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting Fulltext Access 26 Pages 2005
Most mean powerful test of a composite null against a composite alternative Fulltext Access 26 Pages 2005
Recognition and computation of minimal triangulations for AT-free claw-free and co-comparability graphs Fulltext Access 26 Pages 2005
Hardness results for the center and median string problems under the weighted and unweighted edit distances Fulltext Access 26 Pages 2005
A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies Fulltext Access 26 Pages 2005
Unresolved systems of language equations: Expressive power and decision problems Fulltext Access 26 Pages 2005
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) Fulltext Access 26 Pages 2005
Establishing local temporal heap safety properties with applications to compile-time memory management Fulltext Access 26 Pages 2005
On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases Fulltext Access 27 Pages 2005
First-order expressibility of languages with neutral letters or: The Crane Beach conjecture Fulltext Access 27 Pages 2005
On the completeness and decidability of duration calculus with iteration Fulltext Access 27 Pages 2005
An object based algebra for specifying a fault tolerant software architecture Fulltext Access 27 Pages 2005
A visual display device for significant features in complicated signals Fulltext Access 27 Pages 2005
Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation Fulltext Access 27 Pages 2005
Testing from Structured Algebraic Specifications: The Veritas Case Study Fulltext Access 27 Pages 2005
Verification and refinement with fine-grained action-based concurrent objects Fulltext Access 27 Pages 2005
Insufficiency of four known necessary conditions on string unavoidability Fulltext Access 28 Pages 2005
Enumeration of symmetry classes of convex polyominoes on the honeycomb lattice Fulltext Access 28 Pages 2005
A context-free and a 1-counter geodesic language for a Baumslag-Solitar group Fulltext Access 28 Pages 2005
The structure of reflexive regular splicing languages via Schützenberger constants Fulltext Access 28 Pages 2005