Abstract is missing.
- Model Checking Approach to the Analysis of Biological SystemsNikola Benes, Lubos Brim, Samuel Pastva, David Safránek. 3-35 [doi]
- Automated Reasoning for the Synthesis and Analysis of Biological ProgramsSara-Jane Dunn, Boyan Yordanov. 37-62 [doi]
- Statistical Model Checking-Based Analysis of Biological NetworksBing Liu 0013, Benjamin M. Gyori, P. S. Thiagarajan. 63-92 [doi]
- Models, Devices, Properties, and Verification of Artificial Pancreas SystemsTaisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory P. Forlenza, David M. Maahs, Sriram Sankaranarayanan. 93-131 [doi]
- Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer EvolutionMatthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher. 133-153 [doi]
- Set-Based Analysis for Biological ModelingThao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca. 157-189 [doi]
- Logic and Linear Programs to Understand Cancer ResponseMisbah Razzaq, Lokmane Chebouba, Pierre Le Jeune, Hanen Mhamdi, Carito Guziolowski, Jérémie Bourdon. 191-213 [doi]
- Logic-Based Formalization of System Requirements for Integrated Clinical EnvironmentsCinzia Bernardeschi, Andrea Domenici, Paolo Masci. 215-242 [doi]
- Balancing Prescriptions with Constraint SolversJuliana Küster Filipe Bowles, Marco B. Caminati. 243-267 [doi]
- Metastable Regimes and Tipping Points of Biochemical Networks with Potential Applications in Precision MedicineSatya Swarup Samal, Jeyashree Krishnan, Ali Hadizadeh Esfahani, Christoph Lüders, Andreas Weber 0004, Ovidiu Radulescu. 269-295 [doi]
- Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis LesionsLudovica Luisa Vissat, Jane Hillston, Anna Williams. 299-326 [doi]
- Approximation Techniques for Stochastic Analysis of Biological SystemsThakur Neupane, Zhen Zhang 0006, Curtis Madsen, Hao Zheng 0001, Chris J. Myers. 327-348 [doi]
- A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri NetsAmr Ismail, Mostafa Herajy, Monika Heiner. 349-367 [doi]
- Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic PropofolAlena Simalatsar, Monia Guidi, Pierre Roduit, Thierry Buclin. 369-397 [doi]
- Towards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient DataMaria Pires Pacheco, Tamara Bintener, Thomas Sauter. 401-424 [doi]
- Opportunities and Challenges in Applying Artificial Intelligence to BioengineeringFusun Yaman, Aaron Adler, Jacob Beal. 425-452 [doi]
- Deep Learning with Convolutional Neural Networks for Histopathology Image AnalysisDragan Bosnacki, Natal A. W. van Riel, Mitko Veta. 453-469 [doi]