Directional dynamics for cellular automata: A sensitivity to initial condition approach Fulltext Access 18 Pages 2008
Optimization techniques for propositional intuitionistic logic and their implementation Fulltext Access 18 Pages 2008
New constructions for provably-secure time-bound hierarchical key assignment schemes Fulltext Access 18 Pages 2008
Approximating the online set multicover problems via randomized winnowing Fulltext Access 18 Pages 2008
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations Fulltext Access 18 Pages 2008
Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems Fulltext Access 18 Pages 2008
Partial ovoids and partial spreads in symplectic and orthogonal polar spaces Fulltext Access 18 Pages 2008
The distribution of the domination number of class cover catch digraphs for non-uniform one-dimensional data Fulltext Access 18 Pages 2008
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code Fulltext Access 18 Pages 2008
Pervasive Compiler Verification – From Verified Programs to Verified Systems Fulltext Access 18 Pages 2008
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation Fulltext Access 18 Pages 2008
Computing the Solution of the m-Korteweg-de Vries Equation on Turing Machines Fulltext Access 18 Pages 2008
Newton's method and the Computational Complexity of the Fundamental Theorem of Algebra Fulltext Access 18 Pages 2008
A Lightweight Approach for the Semantic Validation of Model Refinements Fulltext Access 19 Pages 2008
CC(X): Semantic Combination of Congruence Closure with Solvable Theories Fulltext Access 19 Pages 2008
An Open System Operational Semantics for an Object-Oriented and Component-Based Language Fulltext Access 19 Pages 2008