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.