Computational Methods in Systems Biology: 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings | SpringerLink
Skip to main content
Springer Nature Link
Log in

Computational Methods in Systems Biology

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

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Luca Bortolussi

    1. University of Trieste, Trieste, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Guido Sanguinetti

    1. University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Bioinformatics (LNBI)

Included in the following conference series:

Conference proceedings info: CMSB 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook JPY 5719
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.


Similar content being viewed by others

Keywords

Table of contents (32 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Regular Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Sequential Reprogramming of Boolean Networks Made Practical

      • Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé
      Pages 3-19

    3. Sequential Reprogramming of Biological Network Fate

      • Jérémie Pardo, Sergiu Ivanov, Franck Delaplace
      Pages 20-41

    4. Control Variates for Stochastic Simulation of Chemical Reaction Networks

      • Michael Backenköhler, Luca Bortolussi, Verena Wolf
      Pages 42-59

    5. Effective Computational Methods for Hybrid Stochastic Gene Networks

      • Guilherme C. P. Innocentini, Fernando Antoneli, Arran Hodgkinson, Ovidiu Radulescu
      Pages 60-77

    6. On Chemical Reaction Network Design by a Nested Evolution Algorithm

      • Elisabeth Degrand, Mathieu Hemery, François Fages
      Pages 78-95

    7. Designing Distributed Cell Classifier Circuits Using a Genetic Algorithm

      • Melania Nowicka, Heike Siebert
      Pages 96-119

    8. Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting

      • Paul Piho, Filip Margetiny, Ezio Bartocci, Richard R. Ribchester, Jane Hillston
      Pages 120-139

    9. Cell Volume Distributions in Exponentially Growing Populations

      • Pavol Bokes, Abhyudai Singh
      Pages 140-154

    10. Transient Memory in Gene Regulation

      • Calin Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin
      Pages 155-187

    11. A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors

      • Josephine Lamp, Simone Silvetti, Marc Breton, Laura Nenzi, Lu Feng
      Pages 188-206

    12. Reachability Design Through Approximate Bayesian Computation

      • Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède
      Pages 207-223

    13. Fast Enumeration of Non-isomorphic Chemical Reaction Networks

      • Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau
      Pages 224-247

    14. A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository

      • Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin
      Pages 248-265

    15. Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints

      • Emilie Allart, Joachim Niehren, Cristian Versari
      Pages 266-285

  3. Tool Papers

    1. Front Matter

      Pages 287-287
      Download chapter PDF

    2. BRE:IN - A Backend for Reasoning About Interaction Networks with Temporal Logic

      • Judah Goldfeder, Hillel Kugler
      Pages 289-295

    3. The Kappa Simulator Made Interactive

      • Pierre Boutillier
      Pages 296-301

    4. Biochemical Reaction Networks with Fuzzy Kinetic Parameters in Snoopy

      • George Assaf, Monika Heiner, Fei Liu
      Pages 302-307
Back to top

Other volumes

  1. Computational Methods in Systems Biology

Editors and Affiliations

  • University of Trieste, Trieste, Italy

    Luca Bortolussi

  • University of Edinburgh, Edinburgh, UK

    Guido Sanguinetti

Bibliographic Information

Publish with us

Policies and ethics

Back to top