Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes Fulltext Access 16 Pages 2008
Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine Fulltext Access 16 Pages 2008
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis Fulltext Access 16 Pages 2008
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE Fulltext Access 16 Pages 2008
Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking Fulltext Access 16 Pages 2008
Computational Soundness of a Call by Name Calculus of Recursively-scoped Records Fulltext Access 16 Pages 2008
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular Fulltext Access 16 Pages 2008
Checking Emptiness of Non-Deterministic Regular Types with Set Operators Fulltext Access 16 Pages 2008
Locality of Corner Transformation for Multidimensional Spatial Access Methods Fulltext Access 16 Pages 2008
Modeling and Verifying Time Sensitive Security Protocols with Constraints Fulltext Access 16 Pages 2008
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration 1 Fulltext Access 16 Pages 2008
An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models Fulltext Access 16 Pages 2008
The hyperplanes of the near hexagon on the 2-factors of the complete graph K8K8 Fulltext Access 16 Pages 2008
The max-flow min-cut property of two-dimensional affine convex geometries Fulltext Access 16 Pages 2008
Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework Fulltext Access 16 Pages 2008
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers Fulltext Access 16 Pages 2008
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking Fulltext Access 16 Pages 2008
Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces Fulltext Access 16 Pages 2008
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems Fulltext Access 16 Pages 2008
Falsifying Safety Properties Through Games on Over-approximating Models Fulltext Access 16 Pages 2008
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects Fulltext Access 16 Pages 2008
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks Fulltext Access 16 Pages 2008
Towards a Systematic Method for Proving Termination of Graph Transformation Systems Fulltext Access 16 Pages 2008
Maude as a Platform for Designing and Implementing Deep Inference Systems Fulltext Access 16 Pages 2008
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS Fulltext Access 16 Pages 2008
Computability of Topological Pressure for Shifts of Finite Type with Applications in Statistical Physics Fulltext Access 17 Pages 2008
Platform Independent Timing of Java Virtual Machine Bytecode Instructions Fulltext Access 17 Pages 2008
A Functional Algorithm for Exact Real Integration with Invariant Measures Fulltext Access 17 Pages 2008
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Fulltext Access 17 Pages 2008
Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking Fulltext Access 17 Pages 2008