Abstract is missing.
- Modal Logics for Brane CalculusMarino Miculan, Giorgio Bacci. 1-16 [doi]
- Deciding Behavioural Properties in Brane CalculiNadia Busi. 17-31 [doi]
- Probabilistic Model Checking of Complex Biological PathwaysJohn Heath, Marta Z. Kwiatkowska, Gethin J. Norman, David Parker, Oksana Tymchyshyn. 32-47 [doi]
- Type Inference in Systems BiologyFrançois Fages, Sylvain Soliman. 48-62 [doi]
- Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State MethodsMuffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston. 63-77 [doi]
- A Formal Approach to Molecular DockingDavide Prandi. 78-92 [doi]
- Feedbacks and Oscillations in the Virtual Cell VICEDavide Chiarugi, M. Chinellato, Pierpaolo Degano, G. Lo Brutto, Roberto Marangoni. 93-107 [doi]
- Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral ProteinsMatteo Cavaliere, Sean Sedwards. 108-126 [doi]
- Modelling and Analysing Genetic Networks: From Boolean Networks to Petri NetsL. Jason Steggles, Richard Banks, Anil Wipat. 127-141 [doi]
- Regulatory Network Reconstruction Using Stochastic Logical NetworksBartek Wilczynski, Jerzy Tiuryn. 142-154 [doi]
- Identifying Submodules of Cellular Regulatory NetworksGuido Sanguinetti, Magnus Rattray, Neil D. Lawrence. 155-168 [doi]
- Incorporating Time Delays into the Logical Analysis of Gene Regulatory NetworksHeike Siebert, Alexander Bockmayr. 169-183 [doi]
- A Computational Model for Eukaryotic Directional SensingAndrea Gamba, Antonio de Candia, Fausto Cavalli, Stefano Di Talia, Antonio Coniglio, Federico Bussolino, Guido Serini. 184-195 [doi]
- Modeling Evolutionary Dynamics of HIV InfectionLuca Sguanci, Pietro Liò, Franco Bagnoli. 196-211 [doi]
- Compositional Reachability Analysis of Genetic NetworksGregor Gößler. 212-226 [doi]
- Randomization and Feedback Properties of Directed Graphs Inspired by Gene NetworksM. Cosentino Lagomarsino, P. Jona, B. Bassetti. 227-241 [doi]
- Computational Model of a Central Pattern GeneratorEnrico Cataldo, John H. Byrne, Douglas A. Baxter. 242-256 [doi]
- Rewriting Game Theory as a Foundation for State-Based Models of Gene RegulationChafika Chettaoui, Franck Delaplace, Pierre Lescanne, Mun delanji Vestergaard, René Vestergaard. 257-270 [doi]
- Condition Transition Analysis Reveals TF Activity Related to Nutrient-Limitation-Specific Effects of Oxygen Presence in YeastTheo A. Knijnenburg, Lodewyk F. A. Wessels, Marcel J. T. Reinders. 271-284 [doi]
- An In Silico Analogue of In Vitro Systems Used to Study Epithelial Cell MorphogenesisMark R. Grant, C. Anthony Hunt. 285-297 [doi]
- A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate ConversionHauke Busch, Werner Sandmann, Verena Wolf. 298-311 [doi]
- Possibilistic Approach to Biclustering: An Application to Oligonucleotide Microarray Data AnalysisMaurizio Filippone, Francesco Masulli, Stefano Rovetta, Sushmita Mitra, Haider Banka. 312-322 [doi]