Mathematics in Computer Science
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
Table of contents
- 399
-
ForewordAnai, Hirokazu / Horimoto, Katsuhisa et al. | 2009
- 401
-
Algorithms for Singleton Attractor Detection in Planar and Nonplanar AND/OR Boolean NetworksTamura, Takeyuki / Akutsu, Tatsuya et al. | 2009
- 421
-
Deriving Behavior of Boolean Bioregulatory Networks from Subnetwork DynamicsSiebert, Heike et al. | 2009
- 443
-
Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction SystemsBoulier, François / Lemaire, François / Sedoglavic, Alexandre et al. | 2009
- 465
-
Hybrid Dynamics of Stochastic π-CalculusBortolussi, Luca / Policriti, Alberto et al. | 2009
- 493
-
Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic BiologySturm, Thomas / Weber, Andreas / Abdel-Rahman, Essam O. et al. | 2009
- 517
-
Stability of Disease Free Equilibria in Epidemiological ModelsKahoui, M’hammed El / Otto, Adamou et al. | 2009
- 535
-
From Individuals to Populations: A Symbolic Process Algebra Approach to EpidemiologyMcCaig, Chris / Norman, Rachel / Shankland, Carron et al. | 2009