Abstract is missing.
- Cells as ComputationAmitai Regev, Ehud Y. Shapiro. 1-3 [doi]
- Formal Modeling of C. elegans Development: A Scenario-Based ApproachNa aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern. 4-20 [doi]
- Causal pi-Calculus for Biochemical ModellingMichele Curti, Pierpaolo Degano, Cosima Tatiana Baldari. 21-33 [doi]
- Graphs for Core Molecular BiologyVincent Danos, Cosimo Laneve. 34-46 [doi]
- Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas AeruginosaSabine Peres, Jean-Paul Comet. 47-56 [doi]
- Modeling Cellular Behavior with Hybrid Automata: Bisimulation and CollapsingMarco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni. 57-74 [doi]
- Multiscale Modeling of Alternative Splicing RegulationDamien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr. 75-87 [doi]
- A Method for Estimating Metabolic Fluxes from Incomplete Isotopomer InformationJuho Rousu, Ari Rantanen, Hannu Maaheimo, Esa Pitkänen, Katja Saarela, Esko Ukkonen. 88-103 [doi]
- Dynamic Bayesian Network and Nonparametric Regression for Nonlinear Modeling of Gene Networks from Time Series Gene Expression DataSunYong Kim, Seiya Imoto, Satoru Miyano. 104-113 [doi]
- Discrete Event Simulation for a Better Understanding of Metabolite Channeling - A System Theoretic ApproachDaniela Degenring, Mathias Röhl, Adelinde Uhrmacher. 114-126 [doi]
- Mathematical Modeling of the Influence of RKIP on the ERK Signaling PathwayKwang-Hyun Cho, Sung-Young Shin, Hyun Woo Kim, Olaf Wolkenhauer, Brian McFerran, Walter Kolch. 127-141 [doi]
- A Method to Identify Essential Enzymes in the Metabolism: Application to Escherichia ColiNey Lemke, Fabiana Herédia, Cláudia K. Barcellos, José C. M. Mombach. 142-148 [doi]
- Symbolic Model Checking of Biochemical NetworksNathalie Chabrier, François Fages. 149-162 [doi]
- Coupled Oscillator Models for a Set of Communicating CellsWill Casey. 163 [doi]
- Representing and Simulating Protein Functional Domains in Signal Transduction Using MaudeSteven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott. 164-165 [doi]
- A Core Modeling Language for the Working Molecular Biologist (Abstract)Marc Chiaverini, Vincent Danos. 166 [doi]
- Integrating Simulation Packages via Systems Biology Mark-Up LanguageManuel Corpas. 167 [doi]
- Recreating Biopathway Databases towards SimulationMasao Nagasaki, Atsushi Doi, Hiroshi Matsuno, Satoru Miyano. 168-169 [doi]
- How to Synthesize an Optimized Genetic-Switching System? A System-Theoretic Approach Based on SQPKwang-Hyun Cho, Jong-Ho Cha, Olaf Wolkenhauer. 170 [doi]
- Simulation Study of the TNF alpha Mediated NF-kappa B Signaling PathwayKwang-Hyun Cho, Sung-Young Shin, Hyeon Woo Lee, Olaf Wolkenhauer. 171 [doi]
- Detection and Analysis of Unexpected State Components in Biological SystemsAnastasia Pagnoni, Andrea Visconti. 172 [doi]
- Model Validation of Biological Pathways Using Petri Nets - Demonstrated for ApoptosisMonika Heiner, Ina Koch, Jürgen Will. 173 [doi]
- An Overview of Data Models for the Analysis of Biochemical PathwaysYves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak. 174 [doi]
- Discrete Event Systems and Client-Server Model for Signaling MechanismsGabriel Ciobanu, Dorin Huzum. 175-177 [doi]
- Enhanced Operational Semantics in Systems BiologyPierpaolo Degano, Corrado Priami. 178-181 [doi]
- Issues in Computational Methods for Functional Genomics and Systems BiologyMagali Roux-Rouquié, Leroy E. Hood, Sandrine Imbeaud, Charles Auffray. 182-186 [doi]
- Integrating Biological Process Modelling with Gene Expression Data and Ontologies for Functional GenomicsLiviu Badea, Doina Tilivea. 187-193 [doi]
- Computer Simulation of ProtocellsDoron Lancet. 194-197 [doi]
- How to Solve Semantic Puzzles of Systems BiologyOlaf Langmack. 198-201 [doi]
- Evolution as Design EngineerDavid L. Dill, Patrick Lincoln. 202-206 [doi]
- Inference, Modeling and Simulation of Gene NetworksSatoru Miyano. 207-211 [doi]