General
The proceedings of AB'08 have been published in the Springer LNCS series as volume 5147.The proceedings of AB'07 have been published in the Springer LNCS series as volume 4545.
An electronic version of the proceedings of AB'05 is available for download.
Preliminary Versions of the Papers (all zipped here)
Tatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamura
Algorithms for Inference, Analysis and Control of Boolean Networks (Tutorial Talk)
Armin Biere
Tutorial on Model Checking Modelling and Verification in Computer Science (Tutorial Talk)
Francois Boulier, Francois Lemaire
Differential Algebra and System Modeling in Cellular Biology (Tutorial Talk)
Luca Bortolussi, Alberto Policriti
Hybrid Semantics for Stochastic pi-calculus
Francois Boulier, Marc Lefranc, Francois Lemaire, Pierre-Emmanuel Morant
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
Luca Cardelli, Gianluigi Zavattaro
On the Computational Power of Biochemistry
Kord Eickmeyer, Ruriko Yoshida
The Geometry of the Neighbor-Joining Algorithm for Small Trees
Erwin Engeler
Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets
Liliana Ironi, Luigi Panzeri, Erik Plahte
An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions
Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall
Property Preservation Along Embedding of Biological Regulatory Networks
Chris McCaig, Rachel Norman, Carron Shankland
Process Algebra Models of Population Dynamics
Wei Niu, Dongming Wang
Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems
Anne Shiu
The Smallest Multistationary Mass-Preserving Chemical Reaction Network
Heike Siebert
Local Structure and Behavior of Boolean Bioregulatory Networks
Thomas Sturm, Andreas Weber
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
Takeyuki Tamura, Tatsuya Akutsu
An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes
Johannes Wollbold, Reinhard Guthke, Bernhard Ganter
Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods