Abstract is missing.
- Algebraic Systems Biology: Theses and HypothesesBud Mishra. 1-14 [doi]
- Discrete Models of Biochemical Networks: The Toric Variety of Nested Canalyzing FunctionsAbdul Salam Jarrah, Reinhard C. Laubenbacher. 15-22 [doi]
- Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse)Gheorghe Paun. 23-35 [doi]
- Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory NetworksHeike Siebert, Alexander Bockmayr. 36-50 [doi]
- Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality ReductionAlberto Casagrande, Kevin Casey, Rachele Falchi, Carla Piazza, Benedetto Ruperti, Giannina Vizzotto, Bud Mishra. 51-65 [doi]
- On Proving the Absence of Oscillations in Models of Genetic CircuitsFrançois Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Asli Ürgüplü. 66-80 [doi]
- Attenuation Regulation as a Term Rewriting SystemEugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily A. Lyubetsky. 81-94 [doi]
- Glucose-Insulin Control of Type1 Diabetic Patients in H::2::/H::infinity:: Space Via Computer AlgebraLevente Kovács, Béla Paláncz. 95-109 [doi]
- Exact Parameter Determination for Parkinson s Disease Diagnosis with PET Using an Algebraic ApproachHiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto. 110-124 [doi]
- Efficient Haplotype Inference with Pseudo-boolean OptimizationAna Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira. 125-139 [doi]
- An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic AttractorsIgor Zinovik, Daniel Kroening, Yury Chebiryak. 140-154 [doi]
- Analyzing Pathways Using SAT-Based ApproachesAshish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute. 155-169 [doi]
- Algorithmic Algebraic Model Checking IV: Characterization of Metabolic NetworksVenkatesh Mysore, Bud Mishra. 170-184 [doi]
- Cascaded GamesJittisak Senachak, Mun delanji Vestergaard, René Vestergaard. 185-201 [doi]
- On Differential Algebraic Decision Methods for the Estimation of Anaerobic Digestion ModelsElena Chorukova, Sette Diop, Ivan Simeonov. 202-216 [doi]
- Protein Structure Prediction Using Residual Dipolar CouplingsIoannis Z. Emiris, Sotirios I. Pantos. 217-231 [doi]
- A Stochastic Pi Calculus for Concurrent ObjectsCéline Kuttler, Cédric Lhoussaine, Joachim Niehren. 232-246 [doi]
- Modeling Static Biological Compartments with Beta-bindersMaria Luisa Guerriero, Corrado Priami, Alessandro Romanel. 247-261 [doi]
- Deducing Interactions in Partially Unspecified Biological SystemsPaolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni. 262-276 [doi]
- Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie SymmetriesAlexandre Sedoglavic. 277-291 [doi]
- Prefix Reversals on Binary and Ternary StringsCor A. J. Hurkens, Leo van Iersel, Judith Keijsper, Steven Kelk, Leen Stougie, John Tromp. 292-306 [doi]
- Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees ::::K:::: ::1, ::::n:::: ::Julia Chifman, Sonja Petrovic. 307-321 [doi]
- Inference of Protein-Protein Interactions by Using Co-evolutionary InformationTetsuya Sato, Yoshihiro Yamanishi, Katsuhisa Horimoto, Minoru Kanehisa, Hiroyuki Toh. 322-333 [doi]
- A Short Survey of Automated ReasoningJohn Harrison. 334-349 [doi]
- Inference of Complex Regulatory Network for the Cell Cycle System in ::::Saccharomyces Cerevisiae::::Sachiyo Aburatani. 350-364 [doi]
- Manifestation and Exploitation of Invariants in BioinformaticsLimsoon Wong. 365-377 [doi]