3. AB 2008: Castle of Hagenberg, Austria

• Tatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamura:
  Algorithms for Inference, Analysis and Control of Boolean Networks. 1-15
  Electronic Edition (link) BibTeX
• Armin Biere:
  Tutorial on Model Checking: Modelling and Verification in Computer Science. 16-21
  Electronic Edition (link) BibTeX
• François Boulier, François Lemaire:
  Differential Algebra and System Modeling in Cellular Biology. 22-39
  Electronic Edition (link) BibTeX
• Luca Bortolussi, Alberto Policriti:
  Hybrid Semantics for Stochastic pi-Calculus. 40-55
  Electronic Edition (link) BibTeX
• François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant:
  Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits. 56-64
  Electronic Edition (link) BibTeX
• Luca Cardelli, Gianluigi Zavattaro:
  On the Computational Power of Biochemistry. 65-80
  Electronic Edition (link) BibTeX
• Kord Eickmeyer, Ruriko Yoshida:
  The Geometry of the Neighbor-Joining Algorithm for Small Trees. 81-95
  Electronic Edition (link) BibTeX
• Erwin Engeler:
  Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets. 96-109
  Electronic Edition (link) BibTeX
• Liliana Ironi, Luigi Panzeri, Erik Plahte:
  An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions. 110-124
  Electronic Edition (link) BibTeX
• Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall:
  Property Preservation along Embedding of Biological Regulatory Networks. 125-138
  Electronic Edition (link) BibTeX
• Chris McCaig, Rachel Norman, Carron Shankland:
  Process Algebra Models of Population Dynamics. 139-155
  Electronic Edition (link) BibTeX
• Wei Niu, Dongming Wang:
  Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems. 156-171
  Electronic Edition (link) BibTeX
• Anne Shiu:
  The Smallest Multistationary Mass-Preserving Chemical Reaction Network. 172-184
  Electronic Edition (link) BibTeX
• Heike Siebert:
  Local Structure and Behavior of Boolean Bioregulatory Networks. 185-199
  Electronic Edition (link) BibTeX
• Thomas Sturm, Andreas Weber:
  Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology. 200-215
  Electronic Edition (link) BibTeX
• Takeyuki Tamura, Tatsuya Akutsu:
  An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes. 216-229
  Electronic Edition (link) BibTeX
• Johannes Wollbold, Reinhard Guthke, Bernhard Ganter:
  Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods. 230-244
  Electronic Edition (link) BibTeX