Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Computational Methods in Systems Biology

18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Alessandro Abate

    1. Department of Computer Science, University of Oxford, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tatjana Petrov

    1. Department of Computer and Information Science, University of Konstanz, Konstanz, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Verena Wolf

    1. Department of Computer Science, Saarland University, Saarbrücken, Germany

    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 12314)

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

Included in the following conference series:

Conference proceedings info: CMSB 2020.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • 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

Table of contents (22 papers)

  1. Front Matter

    Pages i-xix
    Download chapter PDF

  2. Modelling and Analysis

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Rate Equations for Graphs

      • Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
      Pages 3-26

    3. Stationary Distributions and Metastable Behaviour for Self-regulating Proteins with General Lifetime Distributions

      • Candan Çelik, Pavol Bokes, Abhyudai Singh
      Pages 27-43

    4. Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression

      • Pavol Bokes, Julia Klein, Tatjana Petrov
      Pages 44-60

    5. Graphical Conditions for Rate Independence in Chemical Reaction Networks

      • Élisabeth Degrand, François Fages, Sylvain Soliman
      Pages 61-78

    6. Interval Constraint Satisfaction and Optimization for Biological Homeostasis and Multistationarity

      • Aurélien Desoeuvres, Gilles Trombettoni, Ovidiu Radulescu
      Pages 79-101

    7. Growth Dependent Computation of Chokepoints in Metabolic Networks

      • Alexandru Oarga, Bridget Bannerman, Jorge Júlvez
      Pages 102-119

    8. On the Complexity of Quadratization for Polynomial Differential Equations

      • Mathieu Hemery, François Fages, Sylvain Soliman
      Pages 120-140

    9. Comparing Probabilistic and Logic Programming Approaches to Predict the Effects of Enzymes in a Neurodegenerative Disease Model

      • Sophie Le Bars, Jérémie Bourdon, Carito Guziolowski
      Pages 141-156

  3. Boolean Networks

    1. Front Matter

      Pages 157-157
      Download chapter PDF

    2. Control Strategy Identification via Trap Spaces in Boolean Networks

      • Laura Cifuentes Fontanals, Elisa Tonello, Heike Siebert
      Pages 159-175

    3. Qualitative Analysis of Mammalian Circadian Oscillations: Cycle Dynamics and Robustness

      • Ousmane Diop, Madalena Chaves, Laurent Tournier
      Pages 176-192

    4. Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision

      • Stéphanie Chevalier, Vincent Noël, Laurence Calzone, Andrei Zinovyev, Loïc Paulevé
      Pages 193-209

    5. Classifier Construction in Boolean Networks Using Algebraic Methods

      • Robert Schwieger, Matías R. Bender, Heike Siebert, Christian Haase
      Pages 210-233

    6. Sequential Temporary and Permanent Control of Boolean Networks

      • Cui Su, Jun Pang
      Pages 234-251

  4. Inference and Identification

    1. Front Matter

      Pages 253-253
      Download chapter PDF

    2. ABC(SMC)\(^2\): Simultaneous Inference and Model Checking of Chemical Reaction Networks

      • Gareth W. Molyneux, Alessandro Abate
      Pages 255-279

    3. Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications

      • Eva Šmijáková, Samuel Pastva, David Šafránek, Luboš Brim
      Pages 280-297

    4. Core Models of Receptor Reactions to Evaluate Basic Pathway Designs Enabling Heterogeneous Commitments to Apoptosis

      • Marielle Péré, Madalena Chaves, Jérémie Roux
      Pages 298-320
Back to top

Other volumes

  1. Computational Methods in Systems Biology

Keywords

About this book

This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.*

The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions. In addition 3 abstracts of invited talks and 2 tutorials have been included in this volume. 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.

* The conference was held virtually due to the COVID-19 pandemic.

Editors and Affiliations

  • Department of Computer Science, University of Oxford, Oxford, UK

    Alessandro Abate

  • Department of Computer and Information Science, University of Konstanz, Konstanz, Germany

    Tatjana Petrov

  • Department of Computer Science, Saarland University, Saarbrücken, Germany

    Verena Wolf

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation