Abstract is missing.
- Algorithms for Inference, Analysis and Control of Boolean NetworksTatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamura. 1-15 [doi]
- Tutorial on Model Checking: Modelling and Verification in Computer ScienceArmin Biere. 16-21 [doi]
- Differential Algebra and System Modeling in Cellular BiologyFrançois Boulier, François Lemaire. 22-39 [doi]
- Hybrid Semantics for Stochastic pi-CalculusLuca Bortolussi, Alberto Policriti. 40-55 [doi]
- Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic CircuitsFrançois Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. 56-64 [doi]
- On the Computational Power of BiochemistryLuca Cardelli, Gianluigi Zavattaro. 65-80 [doi]
- The Geometry of the Neighbor-Joining Algorithm for Small TreesKord Eickmeyer, Ruriko Yoshida. 81-95 [doi]
- Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural NetsErwin Engeler. 96-109 [doi]
- An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response FunctionsLiliana Ironi, Luigi Panzeri, Erik Plahte. 110-124 [doi]
- Property Preservation along Embedding of Biological Regulatory NetworksMbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall. 125-138 [doi]
- Process Algebra Models of Population DynamicsChris McCaig, Rachel Norman, Carron Shankland. 139-155 [doi]
- Algebraic Analysis of Bifurcation and Limit Cycles for Biological SystemsWei Niu, Dongming Wang. 156-171 [doi]
- The Smallest Multistationary Mass-Preserving Chemical Reaction NetworkAnne Shiu. 172-184 [doi]
- Local Structure and Behavior of Boolean Bioregulatory NetworksHeike Siebert. 185-199 [doi]
- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic BiologyThomas Sturm, Andreas Weber. 200-215 [doi]
- An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR NodesTakeyuki Tamura, Tatsuya Akutsu. 216-229 [doi]
- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis MethodsJohannes Wollbold, Reinhard Guthke, Bernhard Ganter. 230-244 [doi]