Computational Biology - Automated Reasoning for Systems Biology and Medicine
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030172961, 9783030172978
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking Approach to the Analysis of Biological Systems

2019 ◽  
pp. 3-35
Author(s):  
Nikola Beneš ◽  
Luboš Brim ◽  
Samuel Pastva ◽  
David Šafránek
Keyword(s):  
Model Checking ◽  
Biological Systems

scholarly journals Logic and Linear Programs to Understand Cancer Response

2019 ◽  
pp. 191-213
Author(s):  
Misbah Razzaq ◽  
Lokmane Chebouba ◽  
Pierre Le Jeune ◽  
Hanen Mhamdi ◽  
Carito Guziolowski ◽  
...  
Keyword(s):  
Linear Programs

scholarly journals Metastable Regimes and Tipping Points of Biochemical Networks with Potential Applications in Precision Medicine

2019 ◽  
pp. 269-295 ◽  
Author(s):  
Satya Swarup Samal ◽  
Jeyashree Krishnan ◽  
Ali Hadizadeh Esfahani ◽  
Christoph Lüders ◽  
Andreas Weber ◽  
...  
Keyword(s):  
Precision Medicine ◽  
Biochemical Networks ◽  
Tipping Points ◽  
Potential Applications

Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol

2019 ◽  
pp. 369-397
Author(s):  
Alena Simalatsar ◽  
Monia Guidi ◽  
Pierre Roduit ◽  
Thierry Buclin
Keyword(s):  
Delivery Rate
Load More ...
Sign in / Sign up

Export Citation Format

Share Document