Hybrid Systems Biology - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319269153, 9783319269160
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

2015 ◽  
pp. 156-172 ◽  
Author(s):  
Ezio Bartocci ◽  
Luca Bortolussi ◽  
Dimitrios Milios ◽  
Laura Nenzi ◽  
Guido Sanguinetti
Keyword(s):  
Temporal Logic ◽  
Spatio Temporal ◽  
Emergent Behaviours

scholarly journals Integrating Time-Series Data in Large-Scale Discrete Cell-Based Models

2015 ◽  
pp. 75-95
Author(s):  
Louis Fippo Fitime ◽  
Christian Schuster ◽  
Peter Angel ◽  
Olivier Roux ◽  
Carito Guziolowski
Keyword(s):  
Time Series ◽  
Large Scale ◽  
Time Series Data ◽  
Series Data

Parallelized Parameter Estimation of Biological Pathway Models

2015 ◽  
pp. 37-57 ◽  
Author(s):  
R. Ramanathan ◽  
Yan Zhang ◽  
Jun Zhou ◽  
Benjamin M. Gyori ◽  
Weng-Fai Wong ◽  
...  
Keyword(s):  
Parameter Estimation ◽  
Biological Pathway ◽  
Pathway Models

scholarly journals Approximate Probabilistic Verification of Hybrid Systems

2015 ◽  
pp. 96-116 ◽  
Author(s):  
Benjamin M. Gyori ◽  
Bing Liu ◽  
Soumya Paul ◽  
R. Ramanathan ◽  
P. S. Thiagarajan
Keyword(s):  
Hybrid Systems ◽  
Probabilistic Verification ◽  
Verification Of Hybrid Systems

scholarly journals Model Checking Tap Withdrawal in C. Elegans

2015 ◽  
pp. 195-210 ◽  
Author(s):  
Md. Ariful Islam ◽  
Richard De Francisco ◽  
Chuchu Fan ◽  
Radu Grosu ◽  
Sayan Mitra ◽  
...  
Keyword(s):  
Model Checking ◽  
C Elegans
Load More ...
Sign in / Sign up

Export Citation Format

Share Document