default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd AB 2008: Castle of Hagenberg, Austria
- Katsuhisa Horimoto, Georg Regensburger
, Markus Rosenkranz, Hiroshi Yoshida:
Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings. Lecture Notes in Computer Science 5147, Springer 2008, ISBN 978-3-540-85100-4 - Tatsuya Akutsu, Morihiro Hayashida, Takeyuki Tamura:
Algorithms for Inference, Analysis and Control of Boolean Networks. 1-15 - Armin Biere:
Tutorial on Model Checking: Modelling and Verification in Computer Science. 16-21 - François Boulier, François Lemaire:
Differential Algebra and System Modeling in Cellular Biology. 22-39 - Luca Bortolussi, Alberto Policriti:
Hybrid Semantics for Stochastic pi-Calculus. 40-55 - 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 - Luca Cardelli, Gianluigi Zavattaro:
On the Computational Power of Biochemistry. 65-80 - Kord Eickmeyer, Ruriko Yoshida:
The Geometry of the Neighbor-Joining Algorithm for Small Trees. 81-95 - Erwin Engeler:
Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets. 96-109 - Liliana Ironi, Luigi Panzeri, Erik Plahte:
An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions. 110-124 - Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall:
Property Preservation along Embedding of Biological Regulatory Networks. 125-138 - Chris McCaig, Rachel Norman, Carron Shankland:
Process Algebra Models of Population Dynamics. 139-155 - Wei Niu, Dongming Wang:
Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems. 156-171 - Anne Shiu:
The Smallest Multistationary Mass-Preserving Chemical Reaction Network. 172-184 - Heike Siebert:
Local Structure and Behavior of Boolean Bioregulatory Networks. 185-199 - Thomas Sturm, Andreas Weber:
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology. 200-215 - Takeyuki Tamura, Tatsuya Akutsu:
An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes. 216-229 - Johannes Wollbold, Reinhard Guthke, Bernhard Ganter:
Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods. 230-244
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-06 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
