Abstract is missing.
- Rate Equations for GraphsVincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki. 3-26 [doi]
- Stationary Distributions and Metastable Behaviour for Self-regulating Proteins with General Lifetime DistributionsCandan Çelik, Pavol Bokes, Abhyudai Singh. 27-43 [doi]
- Accelerating Reactions at the DNA Can Slow Down Transient Gene ExpressionPavol Bokes, Julia Klein, Tatjana Petrov. 44-60 [doi]
- Graphical Conditions for Rate Independence in Chemical Reaction NetworksElisabeth Degrand, François Fages, Sylvain Soliman. 61-78 [doi]
- Interval Constraint Satisfaction and Optimization for Biological Homeostasis and MultistationarityAurélien Desoeuvres, Gilles Trombettoni, Ovidiu Radulescu. 79-101 [doi]
- Growth Dependent Computation of Chokepoints in Metabolic NetworksAlexandru Oarga, Bridget Bannerman, Jorge Júlvez. 102-119 [doi]
- On the Complexity of Quadratization for Polynomial Differential EquationsMathieu Hemery, François Fages, Sylvain Soliman. 120-140 [doi]
- Comparing Probabilistic and Logic Programming Approaches to Predict the Effects of Enzymes in a Neurodegenerative Disease ModelSophie Le Bars, Jérémie Bourdon, Carito Guziolowski. 141-156 [doi]
- Control Strategy Identification via Trap Spaces in Boolean NetworksLaura Cifuentes Fontanals, Elisa Tonello, Heike Siebert. 159-175 [doi]
- Qualitative Analysis of Mammalian Circadian Oscillations: Cycle Dynamics and RobustnessOusmane Diop, Madalena Chaves, Laurent Tournier. 176-192 [doi]
- Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate DecisionStéphanie Chevalier, Vincent Noël, Laurence Calzone, Andrei Yu. Zinovyev, Loïc Paulevé. 193-209 [doi]
- Classifier Construction in Boolean Networks Using Algebraic MethodsRobert Schwieger, Matías R. Bender, Heike Siebert, Christian Haase. 210-233 [doi]
- Sequential Temporary and Permanent Control of Boolean NetworksCui Su, Jun Pang 0001. 234-251 [doi]
- 2: Simultaneous Inference and Model Checking of Chemical Reaction NetworksGareth W. Molyneux, Alessandro Abate. 255-279 [doi]
- Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL SpecificationsEva Smijáková, Samuel Pastva, David Safránek, Lubos Brim. 280-297 [doi]
- Core Models of Receptor Reactions to Evaluate Basic Pathway Designs Enabling Heterogeneous Commitments to ApoptosisMarielle Péré, Madalena Chaves, Jérémie Roux. 298-320 [doi]
- Drawing the Line: Basin Boundaries in Safe Petri NetsStefan Haar, Loïc Paulevé, Stefan Schwoon. 321-336 [doi]
- ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory NetworksFilipe Gouveia, Inês Lynce, Pedro T. Monteiro. 339-348 [doi]
- fnyzer: A Python Package for the Analysis of Flexible NetsJorge Júlvez, Stephen G. Oliver. 349-355 [doi]
- eBCSgen: A Software Tool for Biochemical Space LanguageMatej Troják, David Safránek, Lukrécia Mertová, Lubos Brim. 356-361 [doi]
- What is a Cell Cycle Checkpoint? The TotemBioNet AnswerDéborah Boyenval, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet. 362-372 [doi]
- Kaemika App: Integrating Protocols and Chemical Simulation - Integrating Protocols and Chemical SimulationLuca Cardelli. 373-379 [doi]