A Stochastic Model for the Formation of Spatial Methylation Patterns...... 160
Alexander Lück, Pascal Giehr, Jörn Walter, and Verena Wolf
Temporal Reprogramming of Boolean Networks..................... 179
Hugues Mandon, Stefan Haar, and Loïc Paulevé
Detecting Toxicity Pathways with a Formal Framework Based
on Equilibrium Changes...................................... 196
Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet,
and Christine Risso-de Faverney
Data-Driven Robust Control for Type 1 Diabetes Under Meal
and Exercise Uncertainties.................................... 214
Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, and Shan Lin
Graph Representations of Monotonic Boolean Model Pools............. 233
Robert Schwieger and Heike Siebert
Explaining Response to Drugs Using Pathway Logic.................. 249
Carolyn Talcott and Merrill Knapp
Automated Property Synthesis of ODEs Based Bio-pathways Models...... 265
Jun Zhou, R. Ramanathan, Weng-Fai Wong, and P.S. Thiagarajan
Tool Papers
TransferEntropyPT: An R Package to Assess Transfer Entropies
via Permutation Tests....................................... 285
Patrick Boba and Kay Hamacher
KADE: A Tool to Compile Kappa Rules into (Reduced) ODE Models...... 291
Ferdinanda Camporesi, Jérôme Feret, and Kim QuyênLý
Database of Dynamic Signatures Generated by Regulatory
Networks (DSGRN)........................................ 300
Bree Cummins, Tomas Gedeon, Shaun Harker,
and Konstantin Mischaikow
PINT: A Static Analyzer for Transient Dynamics of Qualitative
Networks with IPython Interface................................ 309
Loïc Paulevé
Posters
Discrete Bifurcation Analysis with Pithya.......................... 319
Nikola Beneš,LubošBrim, Martin Demko, Matej Hajnal,
Samuel Pastva, and DavidŠafránek
XII Contents