Full Papers

  • Pavol Bokes, Michal Hojcka and Abhyudai Singh. Buffering gene expression noise by microRNA based feedforward regulation
  • Cameron Chalk, Niels Kornerup, Wyatt Reeves and David Soloveichik. Composable Rate-Independent Computation in Continuous Chemical Reaction Networks
  • Keenan Breik, Cameron Chalk, David Doty, David Haley and David Soloveichik. Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks
  • Hillel Kugler, Sara-Jane Dunn and Boyan Yordanov. Formal Analysis of Network Motifs
  • Emine Güven, Michael J Wester, Bridget S Wilson, Jeremy S Edwards and Ádám M Halász. Characterization of the Experimentally Observed Clustering of VEGF Receptors
  • Jeremy Revell and Paolo Zuliani. Stochastic Rate Parameter Inference using the Cross-Entropy Method
  • Carolyn Talcott, Akos Vertes, Mark-Oliver Stehr, Brian Davis, Et. Al. Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data
  • Samuel M.D. Oliveira, Mohamed N.M. Bahrudeen, Sofia Startceva, Vinodh Kandavalli and Andre S. Ribeiro. Modeling and engineering promoters with pre-defined RNA production dynamics in Escherichia coli
  • Jonathan Laurent, Hector F Medina-Abarca, Pierre Boutillier, Jean Yang and Walter Fontana. A Trace Query Language for Rule-based Models
  • Misbah Razzaq, Roland Kaminiski, Javier Romero, Torsten Schaub, Jeremie Bourdon and Carito Guziolowski. Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data
  • Timothy Self, David Gilbert and Monika Heiner. Derivation of a biomass proxy for dynamic analysis of whole genome metabolic models
  • Taisa Kushner, Sriram Sankaranarayanan and Souradeep Dutta. Robust Data-Driven Control of Artificial Pancreas Systems using Neural Networks
  • Luca Laurenti, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska and Boyan Yordanov. Experimental Biological Protocols with Formal Semantics
  • Ashutosh Gupta, Ankit Shukla and Somya Mani. Synthesis for Vesicle Traffic Systems
  • Luca Bortolussi and Luca Palmieri. Deep Abstractions of Chemical Reaction Networks

Tool Papers

  • Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet, Jerome Feret, Nathalie Theret, Kim Quyen Ly and Pierre Vignet. KaSa: a Static Analyzer for Kappa
  • Justin Feigelman, Daniel Weindl, Fabian J Theis, Carsten Marr and Jan Hasenauer. LNA++: Linear Noise Approximation with First and Second Order Sensitivities

  • François Fages and Sylvain Soliman. On Robustness Computation and Optimization in BIOCHAM-4

  • Andrzej Mizera, Jun Pang, Hongyang Qu and Qixia Yuan. ASSA-PBN 3.0: Analysing Context-sensitive Probabilistic Boolean Networks