Algebraic biology. Third international conference, AB 2008, Castle of Hagenberg, Austria, July 31--August 2, 2008. Proceedings (Q957960)

The articles of this volume will be reviewed individually. For the preceding conference from 2007 see Zbl 1121.92001. Indexed articles: \textit{Akutsu, Tatsuya; Hayashida, Morihiro; Tamura, Takeyuki}, Algorithms for inference, analysis and control of Boolean networks, 1-15 [Zbl 1171.92330] \textit{Biere, Armin}, Tutorial on model checking: Modelling and verification in computer science, 16-21 [Zbl 1171.68546] \textit{Boulier, François; Lemaire, François}, Differential algebra and system modeling in cellular biology, 22-39 [Zbl 1171.92313] \textit{Bortolussi, Luca; Policriti, Alberto}, Hybrid semantics for stochastic \(\pi \)-calculus, 40-55 [Zbl 1171.68563] \textit{Boulier, François; Lefranc, Marc; Lemaire, François; Morant, Pierre-Emmanuel}, Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits, 56-64 [Zbl 1171.92317] \textit{Cardelli, Luca; Zavattaro, Gianluigi}, On the computational power of biochemistry, 65-80 [Zbl 1171.92318] \textit{Eickmeyer, Kord; Yoshida, Ruriko}, The geometry of the neighbor-joining algorithm for small trees, 81-95 [Zbl 1171.92331] \textit{Engeler, Erwin}, Neural algebra and consciousness: A theory of structural functionality in neural nets, 96-109 [Zbl 1171.92305] \textit{Ironi, Liliana; Panzeri, Luigi; Plahte, Erik}, An algorithm for qualitative simulation of gene regulatory networks with steep sigmoidal response functions, 110-124 [Zbl 1171.92320] \textit{Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale}, Property preservation along embedding of biological regulatory networks, 125-138 [Zbl 1171.92302] \textit{McCaig, Chris; Norman, Rachel; Shankland, Carron}, Process algebra models of population dynamics, 139-155 [Zbl 1171.92336] \textit{Niu, Wei; Wang, Dongming}, Algebraic analysis of bifurcation and limit cycles for biological systems, 156-171 [Zbl 1171.92307] \textit{Shiu, Anne}, The smallest multistationary mass-preserving chemical reaction network, 172-184 [Zbl 1171.92322] \textit{Siebert, Heike}, Local structure and behavior of Boolean bioregulatory networks, 185-199 [Zbl 1171.92303] \textit{Sturm, Thomas; Weber, Andreas}, Investigating generic methods to solve Hopf bifurcation problems in algebraic biology, 200-215 [Zbl 1171.92301] \textit{Tamura, Takeyuki; Akutsu, Tatsuya}, An improved algorithm for detecting a singleton attractor in a Boolean network consisting of AND/OR nodes, 216-229 [Zbl 1171.92304] \textit{Wollbold, Johannes; Guthke, Reinhard; Ganter, Bernhard}, Constructing a knowledge base for gene regulatory dynamics by formal concept analysis methods, 230-244 [Zbl 1171.68755]