Abstract is missing.
- Qualitative Modeling and Simulation of Bacterial Regulatory NetworksHidde de Jong. 1 [doi]
- Integrated Analysis from Abstract Stochastic Process Algebra ModelsJane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore. 2-4 [doi]
- An Exact Brownian Dynamics Method for Cell SimulationKoichi Takahashi. 5-6 [doi]
- Multiscale Modelling of Neuronal SignallingNicolas Le Novère. 7 [doi]
- Systems Biology of Halophilic ArchaeaDieter Oesterhelt. 8 [doi]
- A Partial Granger Causality Approach to Explore Causal Networks Derived From Multi-parameter DataRitesh Krishna, Shuixia Guo. 9-27 [doi]
- Functional Evolution of Ribozyme-Catalyzed Metabolisms in a Graph-Based Toy-UniverseAlexander Ullrich, Christoph Flamm. 28-43 [doi]
- Component-Based Modelling of RNA Structure FoldingCarsten Maus. 44-62 [doi]
- A Language for Biochemical SystemsMichael Pedersen, Gordon D. Plotkin. 63-82 [doi]
- The Attributed Pi CalculusMathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher. 83-102 [doi]
- The Continuous pi-Calculus: A Process Algebra for Biochemical ModellingMarek Kwiatkowski, Ian Stark. 103-122 [doi]
- Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical SystemsDirk Lebiedz, Dominik Skanda, Marc Fein. 123-140 [doi]
- Formal Analysis of Abnormal Excitation in Cardiac TissuePei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva. 141-155 [doi]
- The Distribution of Mutational Effects on Fitness in a Simple Circadian ClockLaurence Loewe, Jane Hillston. 156-175 [doi]
- SED-ML - An XML Format for the Implementation of the MIASE GuidelinesDagmar Köhn, Nicolas Le Novère. 176-190 [doi]
- On Parallel Stochastic Simulation of Diffusive SystemsLorenzo Dematté, Tommaso Mazza. 191-210 [doi]
- Large-Scale Design Space Exploration of SSAMatthias Jeschke, Roland Ewald. 211-230 [doi]
- Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling PathwayEdmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay. 231-250 [doi]
- On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems BiologyAurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman. 251-268 [doi]
- A Model Checking Approach to the Parameter Estimation of Biochemical PathwaysRobin Donaldson, David Gilbert. 269-287 [doi]
- Compositional Definitions of Minimal Flows in Petri NetsMichael Pedersen. 288-307 [doi]
- On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic NetworkAbdelhalim Larhlimi, Alexander Bockmayr. 308-327 [doi]
- A Combinatorial Approach to Reconstruct Petri Nets from Experimental DataMarkus Durzinsky, Annegret Wagler, Robert Weismantel. 328-346 [doi]
- Analyzing a Discrete Model of Aplysia Central Pattern GeneratorAshish Tiwari, Carolyn L. Talcott. 347-366 [doi]
- Stochastic Analysis of Amino Acid Substitution in Protein SynthesisDragan Bosnacki, Huub M. M. ten Eikelder, M. N. Steijaert, Erik P. de Vink. 367-386 [doi]
- A Stochastic Single Cell Based Model of BrdU Measured Hematopoietic Stem Cell KineticsRichard C. van der Wath, Pietro Liò. 387-401 [doi]