Computational Methods in Systems Biology

13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings

  • Olivier Roux
  • Jérémie Bourdon
Conference proceedings CMSB 2015

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

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

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
      Pages 3-7
    3. Gilles Bernot, Jean-Paul Comet, Olivier Roux
      Pages 8-12
  3. Regular Papers

    1. Front Matter
      Pages 13-13
    2. Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke
      Pages 15-27
    3. Daniel Trejo-Banos, Andrew J. Millar, Guido Sanguinetti
      Pages 28-39
    4. Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti
      Pages 40-51
    5. Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
      Pages 64-76
    6. Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling
      Pages 77-89
    7. Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn Talcott
      Pages 90-103
    8. Ovidiu Radulescu, Satya Swarup Samal, Aurélien Naldi, Dima Grigoriev, Andreas Weber
      Pages 104-120
    9. Francy Camacho, Rodrigo Torres, Raúl Ramos-Pollán
      Pages 121-132
    10. Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren
      Pages 133-144
    11. Robert Rozanski, Stefano Bragaglia, Oliver Ray, Ross King
      Pages 145-156
    12. Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques
      Pages 157-169
    13. Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski
      Pages 170-181
    14. Curtis Madsen, Fedor Shmarov, Paolo Zuliani
      Pages 182-194
    15. Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry
      Pages 195-207
    16. Christopher J. Banks, Daniel D. Seaton, Ian Stark
      Pages 222-238
    17. Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
      Pages 239-250
    18. Luboš Brim, Milan Češka, Martin Demko, Samuel Pastva, David Šafránek
      Pages 251-263
  4. Short Papers

    1. Front Matter
      Pages 277-277
    2. Marko Budinich, Jérémie Bourdon, Abdelhalim Larhlimi, Damien Eveillard
      Pages 279-281
    3. Etienne Z. Gnimpieba, Mathialakan Thavappiragasam, Abalo Chango, Bill Conn, Carol M. Lushbough
      Pages 282-285
  5. Back Matter
    Pages 287-288

About these proceedings


This book constitutes the refereed proceedings of the 13th International Conference on Computational Methods in Systems Biology, CMSB 2015, held in Nantes, France, in September 2015. The 20 full papers and 2 short papers presented were carefully reviewed and selected from 43 full and 4 short paper submissions. The papers cover a wide range of topics in the analysis of biological systems, networks and data such as model checking, stochastic analysis, hybrid systems, circadian clock, time series data, logic programming, and constraints solving ranging from intercellular to multiscale.


biological networks computational biology discrete models model checking simulation and modeling approximate bayesian computation autoencoder boolean networks constraints formalisms gene regulatory network genetic networks neural networks parameter inference rule-based modeling stochastic reaction networks support vector regression systems biology validation verification

Editors and affiliations

  • Olivier Roux
    • 1
  • Jérémie Bourdon
    • 2
  1. 1.École Centrale de NantesNantesFrance
  2. 2.Université de NantesNantesFrance

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-23400-7
  • Online ISBN 978-3-319-23401-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors