default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAutomated Reasoning for Systems Biology and Medicine 2019
- Pietro Liò, Paolo Zuliani:
Automated Reasoning for Systems Biology and Medicine. Computational Biology 30, Springer 2019, ISBN 978-3-030-17296-1
Model Checking
- Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Model Checking Approach to the Analysis of Biological Systems. 3-35 - Sara-Jane Dunn, Boyan Yordanov:
Automated Reasoning for the Synthesis and Analysis of Biological Programs. 37-62 - Bing Liu
, Benjamin M. Gyori, P. S. Thiagarajan:
Statistical Model Checking-Based Analysis of Biological Networks. 63-92 - Taisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory P. Forlenza, David M. Maahs, Sriram Sankaranarayanan:
Models, Devices, Properties, and Verification of Artificial Pancreas Systems. 93-131 - Matthew A. Clarke, Steven Woodhouse, Nir Piterman, Benjamin A. Hall, Jasmin Fisher:
Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution. 133-153
Formal Methods and Logic
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca:
Set-Based Analysis for Biological Modeling. 157-189 - Misbah Razzaq, Lokmane Chebouba, Pierre Le Jeune, Hanen Mhamdi, Carito Guziolowski, Jérémie Bourdon:
Logic and Linear Programs to Understand Cancer Response. 191-213 - Cinzia Bernardeschi, Andrea Domenici, Paolo Masci:
Logic-Based Formalization of System Requirements for Integrated Clinical Environments. 215-242 - Juliana Küster Filipe Bowles, Marco B. Caminati:
Balancing Prescriptions with Constraint Solvers. 243-267 - Satya Swarup Samal, Jeyashree Krishnan, Ali Hadizadeh Esfahani, Christoph Lüders, Andreas Weber, Ovidiu Radulescu:
Metastable Regimes and Tipping Points of Biochemical Networks with Potential Applications in Precision Medicine. 269-295
Stochastic Modelling and Analysis
- Ludovica Luisa Vissat, Jane Hillston, Anna Williams:
Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions. 299-326 - Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers:
Approximation Techniques for Stochastic Analysis of Biological Systems. 327-348 - Amr Ismail, Mostafa Herajy, Monika Heiner:
A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets. 349-367 - Alena Simalatsar, Monia Guidi, Pierre Roduit, Thierry Buclin:
Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol. 369-397
Machine Learning and Artificial Intelligence
- Maria Pires Pacheco, Tamara Bintener, Thomas Sauter:
Towards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient Data. 401-424 - Fusun Yaman, Aaron Adler, Jacob Beal:
Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering. 425-452 - Dragan Bosnacki, Natal A. W. van Riel, Mitko Veta:
Deep Learning with Convolutional Neural Networks for Histopathology Image Analysis. 453-469
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-10 00:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
