More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Automated Reasoning for Systems Biology and Medicine 2019

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - series/cb/30
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/30
Pietro Liò, Paolo Zuliani:
Automated Reasoning for Systems Biology and Medicine. Computational Biology 30, Springer 2019, ISBN 978-3-030-17296-1

Model Checking

- view
  authority control:
- export record
  dblp key:
  - series/cb/BenesBPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/BenesBPS19
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Model Checking Approach to the Analysis of Biological Systems. 3-35
- view
  authority control:
- export record
  dblp key:
  - series/cb/DunnY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/DunnY19
Sara-Jane Dunn, Boyan Yordanov:
Automated Reasoning for the Synthesis and Analysis of Biological Programs. 37-62
- view
  authority control:
- export record
  dblp key:
  - series/cb/0013GT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/0013GT19
Bing Liu, Benjamin M. Gyori, P. S. Thiagarajan:
Statistical Model Checking-Based Analysis of Biological Networks. 63-92
- view
  authority control:
- export record
  dblp key:
  - series/cb/KushnerBCFMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/KushnerBCFMS19
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
- view
  authority control:
- export record
  dblp key:
  - series/cb/ClarkeWPHF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/ClarkeWPHF19
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

- view
  authority control:
- export record
  dblp key:
  - series/cb/DangDFMPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/DangDFMPR19
Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca:
Set-Based Analysis for Biological Modeling. 157-189
- view
  authority control:
- export record
  dblp key:
  - series/cb/RazzaqCJMGB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/RazzaqCJMGB19
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
- view
  authority control:
- export record
  dblp key:
  - series/cb/BernardeschiDM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/BernardeschiDM19
Cinzia Bernardeschi, Andrea Domenici, Paolo Masci:
Logic-Based Formalization of System Requirements for Integrated Clinical Environments. 215-242
- view
  authority control:
- export record
  dblp key:
  - series/cb/BowlesC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/BowlesC19
Juliana Küster Filipe Bowles, Marco B. Caminati:
Balancing Prescriptions with Constraint Solvers. 243-267
- view
  authority control:
- export record
  dblp key:
  - series/cb/SamalKEL0R19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/SamalKEL0R19
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

- view
  authority control:
- export record
  dblp key:
  - series/cb/VissatHW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/VissatHW19
Ludovica Luisa Vissat, Jane Hillston, Anna Williams:
Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions. 299-326
- view
  authority control:
- export record
  dblp key:
  - series/cb/Neupane0M0M19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/Neupane0M0M19
Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers:
Approximation Techniques for Stochastic Analysis of Biological Systems. 327-348
- view
  authority control:
- export record
  dblp key:
  - series/cb/IsmailHH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/IsmailHH19
Amr Ismail, Mostafa Herajy, Monika Heiner:
A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets. 349-367
- view
  authority control:
- export record
  dblp key:
  - series/cb/SimalatsarGRB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/SimalatsarGRB19
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

- view
  authority control:
- export record
  dblp key:
  - series/cb/PachecoBS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/PachecoBS19
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
- view
  authority control:
- export record
  dblp key:
  - series/cb/YamanAB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/YamanAB19
Fusun Yaman, Aaron Adler, Jacob Beal:
Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering. 425-452
- view
  authority control:
- export record
  dblp key:
  - series/cb/BosnackiRV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/BosnackiRV19
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.