4. CMSB 2006: Trento, Italy

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