Advertisement

Computational Methods in Systems Biology

17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

  • Luca Bortolussi
  • Guido Sanguinetti
Conference proceedings CMSB 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xi
  2. Regular Papers

    1. Front Matter
      Pages 1-1
    2. Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé
      Pages 3-19
    3. Jérémie Pardo, Sergiu Ivanov, Franck Delaplace
      Pages 20-41
    4. Michael Backenköhler, Luca Bortolussi, Verena Wolf
      Pages 42-59
    5. Guilherme C. P. Innocentini, Fernando Antoneli, Arran Hodgkinson, Ovidiu Radulescu
      Pages 60-77
    6. Elisabeth Degrand, Mathieu Hemery, François Fages
      Pages 78-95
    7. Paul Piho, Filip Margetiny, Ezio Bartocci, Richard R. Ribchester, Jane Hillston
      Pages 120-139
    8. Pavol Bokes, Abhyudai Singh
      Pages 140-154
    9. Calin Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin
      Pages 155-187
    10. Josephine Lamp, Simone Silvetti, Marc Breton, Laura Nenzi, Lu Feng
      Pages 188-206
    11. Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède
      Pages 207-223
    12. Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau
      Pages 224-247
    13. Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin
      Pages 248-265
    14. Emilie Allart, Joachim Niehren, Cristian Versari
      Pages 266-285
  3. Tool Papers

    1. Front Matter
      Pages 287-287
    2. Pierre Boutillier
      Pages 296-301
    3. George Assaf, Monika Heiner, Fei Liu
      Pages 302-307
    4. Christopher W. Lorton, Joshua L. Proctor, Min K. Roh, Philip A. Welkhoff
      Pages 308-314
    5. M. P. Saccomani, G. Bellu, S. Audoly, L. d’Angió
      Pages 329-334
  4. Extended Abstracts (Posters and Highlight Talks)

    1. Front Matter
      Pages 335-335
    2. Ankit Gupta, Mustafa Khammash, Guido Sanguinetti
      Pages 342-346
    3. Kaan Öcal, Ramon Grima, Guido Sanguinetti
      Pages 347-351
    4. Julien Martinelli, Jeremy Grignard, Sylvain Soliman, François Fages
      Pages 352-355
    5. David Šafránek, Matej Troják, Vojtěch Brůža, Tomáš Vejpustek, Jan Papoušek, Martin Demko et al.
      Pages 356-359
    6. Lenka Přibylová, Barbora Losová
      Pages 360-363
    7. Cui Su, Soumya Paul, Jun Pang
      Pages 364-367
    8. Akos Vertes, Albert-Baskar Arul, Peter Avar, Andrew R. Korte, Lida Parvin, Ziad J. Sahab et al.
      Pages 368-372
    9. Ines Abdeljaoued-Tej, Alia Benkahla, Ghassen Haddad, Annick Valibouze
      Pages 373-378
    10. Michael Backenköhler, Luca Bortolussi, Verena Wolf
      Pages 379-382
    11. Matej Hajnal, Morgane Nouvian, Tatjana Petrov, David Šafránek
      Pages 383-386
  5. Back Matter
    Pages 387-388

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in Systems Biology, CMSB 2019, held in Trieste, Italy, in September 2019.

The 14 full papers, 7 tool papers and 11 posters were carefully reviewed and selected from 53 submissions. Topics of interest 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; computational approaches for synthetic biology; and case studies in systems and synthetic biology.

Keywords

artificial intelligence bioinformatics boolean algebra boolean networks computational systems biology differential equations formal logic graph theory model checking numerical methods parameter estimation probability semantics software engineering theorem proving

Editors and affiliations

  1. 1.University of TriesteTriesteItaly
  2. 2.University of EdinburghEdinburghUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-31304-3
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-31303-6
  • Online ISBN 978-3-030-31304-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site