Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2008, volume: 194, number: 3

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Describing the Immune System Using Enhanced Mobile Membranes. [Citation Graph (, )][DBLP]
   
   
3. 
   An Intermediate Language for the Simulation of Biological Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. [Citation Graph (, )][DBLP]
   
   
5. 
   Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. [Citation Graph (, )][DBLP]
   
   
6. 
   A Static Analysis for Beta-Binders. [Citation Graph (, )][DBLP]
   
   
7. 
   A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. [Citation Graph (, )][DBLP]
   
   
8. 
   Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. [Citation Graph (, )][DBLP]
   
   
9. 
   Concurrency in Biological Modeling: Behavior, Execution and Visualization. [Citation Graph (, )][DBLP]
   
   
10. 
    A Spatial Extension to the pi Calculus. [Citation Graph (, )][DBLP]
    
    
11. 
    Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine. [Citation Graph (, )][DBLP]
    
    
12. 
    Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. [Citation Graph (, )][DBLP]