


default search action
18th CMSB 2020: Konstanz, Germany
- Alessandro Abate

, Tatjana Petrov
, Verena Wolf
:
Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings. Lecture Notes in Computer Science 12314, Springer 2020, ISBN 978-3-030-60326-7
Modelling and Analysis
- Vincent Danos, Tobias Heindel

, Ricardo Honorato-Zimmer
, Sandro Stucki
:
Rate Equations for Graphs. 3-26 - Candan Çelik

, Pavol Bokes
, Abhyudai Singh:
Stationary Distributions and Metastable Behaviour for Self-regulating Proteins with General Lifetime Distributions. 27-43 - Pavol Bokes

, Julia Klein
, Tatjana Petrov
:
Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression. 44-60 - Elisabeth Degrand, François Fages, Sylvain Soliman:

Graphical Conditions for Rate Independence in Chemical Reaction Networks. 61-78 - Aurélien Desoeuvres

, Gilles Trombettoni, Ovidiu Radulescu
:
Interval Constraint Satisfaction and Optimization for Biological Homeostasis and Multistationarity. 79-101 - Alexandru Oarga

, Bridget Bannerman
, Jorge Júlvez
:
Growth Dependent Computation of Chokepoints in Metabolic Networks. 102-119 - Mathieu Hemery, François Fages, Sylvain Soliman:

On the Complexity of Quadratization for Polynomial Differential Equations. 120-140 - Sophie Le Bars

, Jérémie Bourdon, Carito Guziolowski:
Comparing Probabilistic and Logic Programming Approaches to Predict the Effects of Enzymes in a Neurodegenerative Disease Model. 141-156
Boolean Networks
- Laura Cifuentes Fontanals, Elisa Tonello, Heike Siebert

:
Control Strategy Identification via Trap Spaces in Boolean Networks. 159-175 - Ousmane Diop, Madalena Chaves, Laurent Tournier:

Qualitative Analysis of Mammalian Circadian Oscillations: Cycle Dynamics and Robustness. 176-192 - Stéphanie Chevalier

, Vincent Noël
, Laurence Calzone, Andrei Yu. Zinovyev, Loïc Paulevé:
Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision. 193-209 - Robert Schwieger

, Matías R. Bender
, Heike Siebert
, Christian Haase:
Classifier Construction in Boolean Networks Using Algebraic Methods. 210-233 - Cui Su, Jun Pang:

Sequential Temporary and Permanent Control of Boolean Networks. 234-251
Inference and Identification
- Gareth W. Molyneux, Alessandro Abate:

ABC(SMC)2: Simultaneous Inference and Model Checking of Chemical Reaction Networks. 255-279 - Eva Smijáková, Samuel Pastva

, David Safránek
, Lubos Brim:
Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. 280-297 - Marielle Péré

, Madalena Chaves, Jérémie Roux
:
Core Models of Receptor Reactions to Evaluate Basic Pathway Designs Enabling Heterogeneous Commitments to Apoptosis. 298-320 - Stefan Haar, Loïc Paulevé, Stefan Schwoon:

Drawing the Line: Basin Boundaries in Safe Petri Nets. 321-336
Tools
- Filipe Gouveia

, Inês Lynce
, Pedro T. Monteiro
:
ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks. 339-348 - Jorge Júlvez

, Stephen G. Oliver
:
fnyzer: A Python Package for the Analysis of Flexible Nets. 349-355 - Matej Troják, David Safránek

, Lukrécia Mertová, Lubos Brim:
eBCSgen: A Software Tool for Biochemical Space Language. 356-361 - Déborah Boyenval

, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet
:
What is a Cell Cycle Checkpoint? The TotemBioNet Answer. 362-372 - Luca Cardelli:

Kaemika App: Integrating Protocols and Chemical Simulation - Integrating Protocols and Chemical Simulation. 373-379

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














