The Castle of Hagenberg Algebraic Biology 2008
General Submission Registration Program Location


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

Abstract Booklet

The booklet containing the abstracts of invited talks and short communications can be found here.