Computational Methods in Systems Biology

14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

  • Ezio Bartocci
  • Pietro Lio
  • Nicola Paoletti

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9859)

Also part of the Lecture Notes in Bioinformatics book sub series (LNBI, volume 9859)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Paper

    1. Front Matter
      Pages 1-1
  3. Regular Papers

    1. Front Matter
      Pages 13-13
    2. Michael Backenköhler, Luca Bortolussi, Verena Wolf
      Pages 15-29
    3. Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
      Pages 30-48
    4. Giulio Caravagna, Luca Bortolussi, Guido Sanguinetti
      Pages 49-66
    5. Eugen Czeizler, Cristian Gratie, Wu Kai Chiu, Krishna Kanhaiya, Ion Petre
      Pages 67-81
    6. Martin Demko, Nikola Beneš, Luboš Brim, Samuel Pastva, David Šafránek
      Pages 82-97
    7. François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
      Pages 98-115
    8. Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton et al.
      Pages 132-146
    9. Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
      Pages 147-167
    10. Carolin Loos, Anna Fiedler, Jan Hasenauer
      Pages 186-200
    11. Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren
      Pages 201-215
    12. Andrzej Mizera, Jun Pang, Qixia Yuan
      Pages 216-231
    13. Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe
      Pages 232-251
    14. Loïc Paulevé
      Pages 252-272
    15. Jasha Sommer-Simpson, John Reinitz, Leonid Fridlyand, Louis Philipson, Ovidiu Radulescu
      Pages 273-288

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016. The 20 full papers, 3 tool papers and 9 posters presented were carefully reviewed and selected from 37 regular paper submissions. The topics include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; and computational approaches for synthetic biology.

Keywords

formal methods live and medical sciences model checking simulation and modeling uncertainty quantification approximation automated static analysis big data computational biology dynamic analysis dynamic modeling game theory logical frameworks model verification and validation modeling methodologies optimization parallel computing probabilistic model checking temporal logic time series data

Editors and affiliations

  • Ezio Bartocci
    • 1
  • Pietro Lio
    • 2
  • Nicola Paoletti
    • 3
  1. 1.TU WienViennaAustria
  2. 2.Computer LaboratoryUniversity of CambridgeCambridgeUnited Kingdom
  3. 3.Department of Computer ScienceUniversity of OxfordOxfordUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-45177-0
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-45176-3
  • Online ISBN 978-3-319-45177-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book