Abstract is missing.
- Bio-Curation for Cellular Signalling: The KAMI ProjectRuss Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Ievgeniia Oshurko. 3-19 [doi]
- Quantitative Regular Expressions for Arrhythmia Detection AlgorithmsHoussam Abbas, Alena Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu. 23-39 [doi]
- Detecting Attractors in Biological Models with Uncertain ParametersJiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek. 40-56 [doi]
- Abduction Based Drug Target Discovery Using Boolean Control NetworkCélia Biane, Franck Delaplace. 57-73 [doi]
- Probably Approximately Correct Learning of Regulatory Networks from Time-Series DataArthur Carcano, François Fages, Sylvain Soliman. 74-90 [doi]
- Identifying Functional Families of Trajectories in Biological Pathways by Soft Clustering: Application to TGF-β SignalingJean Coquet, Nathalie Théret, Vincent Legagneux, Olivier Dameron. 91-107 [doi]
- Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital ProgramsFrançois Fages, Guillaume Le Guludec, Olivier Bournez, Amaury Pouly. 108-127 [doi]
- A Scheme for Adaptive Selection of Population Sizes in Approximate Bayesian Computation - Sequential Monte CarloEmmanuel Klinger, Jan Hasenauer. 128-144 [doi]
- Methods to Expand Cell Signaling Models Using Automated Reading and Model CheckingKai-Wen Liang, Qinsi Wang, Cheryl Telmer, Divyaa Ravichandran, Peter Spirtes, Natasa Miskov-Zivanov. 145-159 [doi]
- A Stochastic Model for the Formation of Spatial Methylation PatternsAlexander Lück, Pascal Giehr, Jörn Walter, Verena Wolf. 160-178 [doi]
- Temporal Reprogramming of Boolean NetworksHugues Mandon, Stefan Haar, Loïc Paulevé. 179-195 [doi]
- Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium ChangesBenjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney. 196-213 [doi]
- Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise UncertaintiesNicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin. 214-232 [doi]
- Graph Representations of Monotonic Boolean Model PoolsRobert Schwieger, Heike Siebert. 233-248 [doi]
- Explaining Response to Drugs Using Pathway LogicCarolyn L. Talcott, Merrill Knapp. 249-264 [doi]
- Automated Property Synthesis of ODEs Based Bio-pathways ModelsJun Zhou, R. Ramanathan, Weng-Fai Wong, P. S. Thiagarajan. 265-282 [doi]
- TransferEntropyPT: An R Package to Assess Transfer Entropies via Permutation TestsPatrick Boba, Kay Hamacher. 285-290 [doi]
- KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE ModelsFerdinanda Camporesi, Jérôme Feret, Kim Quyên Lý. 291-299 [doi]
- Database of Dynamic Signatures Generated by Regulatory Networks (DSGRN)Bree Cummins, Tomás Gedeon, Shaun Harker, Konstantin Mischaikow. 300-308 [doi]
- Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython InterfaceLoïc Paulevé. 309-316 [doi]