Accepted Papers

  • Heike Siebert, Kirsten Thobe and Adam Streck. Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking (best paper award)
  • Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao and Edmund Clarke. SReach: A Probabilistic Bounded ẟ-Reachability Analyzer for Stochastic Hybrid Systems
  • Wassim Abou-Jaoudé, Jérôme Feret and Denis ThieffryDerivation of dynamical qualitative models from biochemical networks
  • Robert Rozanski, Oliver Ray, Ross King and Stefano Bragaglia. Automating development of metabolic network models (best student paper award)
  • Curtis Madsen, Fedor Shmarov and Paolo Zuliani. BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models
  • Luca Bortolussi, Dimitrios Milios and Guido Sanguinetti. Efficient stochastic simulation of systems with multiple time scales via statistical abstraction
  • Luca Laurenti, Luca Cardelli and Marta Kwiatkowska. Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation
  • Carolin Loos, Carsten Marr, Fabian Theis and Jan Hasenauer. Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics
  • Carolyn Talcott, Merrill Knapp, Vivek Nigam, Robin Donaldson and Tim McCarthy. Inferring Executable Models from Formalized Experimental Evidence
  • Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva and David Šafránek. Parameter Synthesis by Parallel Coloured CTL Model Checking
  • Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel and Carito Guziolowski. Boolean Network Identification from Multiplex Time Series Data
  • Daniel Trejo Banos, Guido Sanguinetti and Andrew J. Millar. Experimental design for inference over the A. thaliana circadian clock networ
  • Francy Camacho, Rodrigo Torres and Raúl Ramos. Feature Learning using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides
  • Guillaume MadelaineCedric Lhoussaine and Joachim NiehrenStructural simplification of chemical reaction networks preserving deterministic semantics
  • Morgan MagninKatsumi Inoue and Alexander AndreychenkoModeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets
  • Ovidiu Radulescu, Satya Swarup Samal, Aurélien Naldi, Dima Grigoriev and Andreas Weber. Symbolic dynamics of biochemical pathways as finite states machines
  • Joachim Niehren, Mathias John, Cristian Versari, François Coutte and Philippe Jacques. Reasoning about Reaction Networks with Partial Kinetic Information
  • Pauline Traynard, François Fages and Sylvain Soliman. Model-based Investigation of Bidirectional Coupling between the Cell Cycle and the Circadian Clock
  • Sergiy BogomolovThomas A. HenzingerAndreas Podelski, Jakob Ruess and Christian SchillingAdaptive moment closure for parameter inference of biochemical reaction networks
  • Chris Banks, Daniel Seaton and Ian StarkAnalysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic
Online user: 1 RSS Feed