Abstract is missing.
- Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction NetworksLisa Bartoli, Pier Luigi Martelli, Ivan Rossi, Piero Fariselli, Rita Casadio. 1-17 [doi]
- The Equivalence between Biology and ComputationJohn K. Heath. 18-25 [doi]
- BlenX4Bio - BlenX for BiologistsCorrado Priami, Paolo Ballarini, Paola Quaglia. 26-51 [doi]
- Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the ::::Neurospora crassa:::: Circadian NetworkOzgur E. Akman, Federica Ciocchetta, Andrea Degasperi, Maria Luisa Guerriero. 52-67 [doi]
- Quantitative Pathway Logic for Computational BiologyMichele Baggi, Demis Ballis, Moreno Falaschi. 68-82 [doi]
- A Prize-Collecting Steiner Tree Approach for Transduction Network InferenceMarc Bailly-Bechet, Alfredo Braunstein, Riccardo Zecchina. 83-95 [doi]
- Formal Analysis of the Genetic ToggleGiampaolo Bella, Pietro Liò. 96-110 [doi]
- Control Strategies for the Regulation of the Eukaryotic Heat Shock ResponseElena Czeizler, Eugen Czeizler, Ralph-Johan Back, Ion Petre. 111-125 [doi]
- Computing Reachable States for Nonlinear Biological ModelsThao Dang, Colas Le Guernic, Oded Maler. 126-141 [doi]
- On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell CycleElisabetta De Maria, François Fages, Sylvain Soliman. 142-157 [doi]
- The ::::kappa::::-Lattice: Decidability Boundaries for Qualitative Analysis in Biological LanguagesGiorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro. 158-172 [doi]
- Approximation of Event Probabilities in Noisy Cellular ProcessesFrédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf. 173-188 [doi]
- Equivalence and Discretisation in Bio-PEPAVashti Galpin, Jane Hillston. 189-204 [doi]
- Improved Parameter Estimation for Completely Observed Ordinary Differential Equations with Application to Biological SystemsPeter Gennemark, Dag Wedelin. 205-217 [doi]
- A Bayesian Approach to Model Checking Biological SystemsSumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani. 218-234 [doi]
- Dynamic Compartments in the Imperative ::::pi::::-CalculusMathias John, Cédric Lhoussaine, Joachim Niehren. 235-250 [doi]
- Probabilistic Approximations of Signaling Pathway DynamicsBing Liu, P. S. Thiagarajan, David Hsu. 251-265 [doi]
- A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical PropertiesAurélien Naldi, Elisabeth Remy, Denis Thieffry, Claudine Chaouiya. 266-280 [doi]
- On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis ProcessLucia Napione, Daniele Manini, Francesca Cordero, András Horváth, Andrea Picco, Massimiliano De Pierro, Simona Pavan, Matteo Sereno, Andrea Veglio, Federico Bussolino, Gianfranco Balbo. 281-295 [doi]
- CSL Model Checking of Biochemical Networks with Interval Decision DiagramsMartin Schwarick, Monika Heiner. 296-312 [doi]
- Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic ModelsHayssam Soueidan, Grégoire Sutre, Macha Nikolski. 313-327 [doi]