Journal: Mathematics in Computer Science

Volume 2, Issue 3

399 -- 400Hirokazu Anai, Katsuhisa Horimoto. Foreword
401 -- 420Takeyuki Tamura, Tatsuya Akutsu. Algorithms for Singleton Attractor Detection in Planar and Nonplanar AND/OR Boolean Networks
421 -- 442Heike Siebert. Deriving Behavior of Boolean Bioregulatory Networks from Subnetwork Dynamics
443 -- 464François Boulier, François Lemaire, Alexandre Sedoglavic, Asli Ürgüplü. Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems
465 -- 491Luca Bortolussi, Alberto Policriti. Hybrid Dynamics of Stochastic pi-Calculus
493 -- 515Thomas Sturm, Andreas Weber 0004, Essam O. Abdel-Rahman, M hammed El Kahoui. Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic Biology
517 -- 533M hammed El Kahoui, Adamou Otto. Stability of Disease Free Equilibria in Epidemiological Models
535 -- 556Chris McCaig, Rachel Norman, Carron Shankland. From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology