Computational Methods in Systems Biology

12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

  • Pedro Mendes
  • Joseph O. Dada
  • Kieran Smallbone
Conference proceedings CMSB 2014

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

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

Table of contents

  1. Front Matter
  2. Formalisms for Modelling Biological Processes

    1. François Lemaire, Alexandre Temperville
      Pages 1-19
    2. Sabine Peres, Martin Morterol, Laurent Simon
      Pages 20-31
    3. Kirsten Thobe, Adam Streck, Hannes Klarner, Heike Siebert
      Pages 32-44
  3. Model Inference from Experimental Data

  4. Frameworks for Model Verification, Validation, and Analysis of Biological Systems

    1. Milan Češka, Frits Dannenberg, Marta Kwiatkowska, Nicola Paoletti
      Pages 86-98
    2. Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
      Pages 99-113
    3. Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon
      Pages 129-142
    4. Nicola Bombieri, Rosario Distefano, Giovanni Scardoni, Franco Fummi, Carlo Laudanna, Rosalba Giugno
      Pages 143-154
  5. Models and Their Biological Applications

    1. Lakshmeesh R. M. Maruthi, Ilya Tkachev, Alfonso Carta, Eugenio Cinquemani, Pascal Hersen, Gregory Batt et al.
      Pages 155-172
    2. Agnes Köhler, Jean Krivine, Jakob Vidmar
      Pages 173-195
    3. Rachel Lintott, Stephen McMahon, Kevin Prise, Celine Addie-Lagorio, Carron Shankland
      Pages 196-210
    4. Rafael S. Costa, Son Nguyen, Andras Hartmann, Susana Vinga
      Pages 211-224
  6. Computational Approaches for Synthetic Biology

  7. Flash Posters

    1. Abhishekh Gupta, Jason Lloyd-Price, Andre S. Ribeiro
      Pages 239-243
    2. Argyris Zardilis, João Dias, Animesh Acharjee, James Smith
      Pages 244-247
    3. Donal Stewart, Stephen Gilmore, Michael A. Cousin
      Pages 248-251
    4. Arne T. Bittig, Florian Reinhardt, Simone Baltrusch, Adelinde M. Uhrmacher
      Pages 252-255
    5. Natasa Miskov-Zivanov, Peter Wei, Chang Sheng Clement Loh
      Pages 260-263
  8. Back Matter

About these proceedings


This book constitutes the proceedings of the 12th International Conference on Computational Methods in Systems Biology, CMSB 2014, held in Manchester, UK, in November 2014.
The 16 regular papers presented together with 6 poster papers were carefully reviewed and selected from 31 regular and 18 poster submissions. The papers are organized in topical sections on formalisms for modeling biological processes, model inference from experimental data, frameworks for model verification, validation, and analysis of biological systems, models and their biological applications, computational approaches for synthetic biology, and flash posters.


agent models biological networks computational biology computational transcriptomics constraints continuous simulation discrete models estimation formalisms gene regulatory network multiobjective optimization multiscale systems probabilistic inference problems rule-based modeling simulation and modeling systems biology validation verification

Editors and affiliations

  • Pedro Mendes
    • 1
  • Joseph O. Dada
    • 1
  • Kieran Smallbone
    • 1
  1. 1.Manchester Institute of BiotechnologyThe University of ManchesterManchesterUK

Bibliographic information

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