© 2018

Computational Methods in Systems Biology

16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

  • Milan Češka
  • David Šafránek
Conference proceedings CMSB 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XXIII
  2. Regular Papers

    1. Front Matter
      Pages 1-1
    2. Samuel M. D. Oliveira, Mohamed N. M. Bahrudeen, Sofia Startceva, Vinodh Kandavalli, Andre S. Ribeiro
      Pages 3-20
    3. Luca Bortolussi, Luca Palmieri
      Pages 21-38
    4. Timothy Self, David Gilbert, Monika Heiner
      Pages 39-58 Open Access
    5. Misbah Razzaq, Roland Kaminski, Javier Romero, Torsten Schaub, Jeremie Bourdon, Carito Guziolowski
      Pages 59-74
    6. Emine Güven, Michael J. Wester, Bridget S. Wilson, Jeremy S. Edwards, Ádám M. Halász
      Pages 75-92
    7. Ashutosh Gupta, Somya Mani, Ankit Shukla
      Pages 93-110
    8. Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov
      Pages 111-128
    9. Pavol Bokes, Michal Hojcka, Abhyudai Singh
      Pages 129-145
    10. Jeremy Revell, Paolo Zuliani
      Pages 146-164 Open Access
    11. Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov
      Pages 165-182 Open Access
    12. Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan
      Pages 183-202
    13. Keenan Breik, Cameron Chalk, David Doty, David Haley, David Soloveichik
      Pages 203-219
    14. Jonathan Laurent, Hector F. Medina-Abarca, Pierre Boutillier, Jean Yang, Walter Fontana
      Pages 220-237
    15. Akos Vertes, Albert-Baskar Arul, Peter Avar, Andrew R. Korte, Hang Li, Peter Nemes et al.
      Pages 238-255
    16. Cameron Chalk, Niels Kornerup, Wyatt Reeves, David Soloveichik
      Pages 256-273
  3. Tool Papers

    1. Front Matter
      Pages 275-275
    2. Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
      Pages 277-284
    3. Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet, Jérôme Feret, Kim Quyên Lý, Nathalie Theret et al.
      Pages 285-291

About these proceedings


Chapters 3, 9 and 10 are available open access under a Creative Commons Attribution 4.0 International License via


Agent / Discrete Models Artificial intelligence Computational Systems Biology Continuous Models Data Processing Formal logic Formal Methods Machine Learning Model Development and Analysis Model Verification and Validation Network Science Parallel Computing Methodologies Semantics Signal processing Software engineering Systems Theory

Editors and affiliations

  • Milan Češka
    • 1
  • David Šafránek
    • 2
  1. 1.Brno University of TechnologyBrnoCzech Republic
  2. 2.Masaryk UniversityBrnoCzech Republic

Bibliographic information