Hybrid Systems Biology - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319471501, 9783319471518
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Discrete Abstraction of Multiaffine Systems

2016 ◽  
pp. 128-144 ◽  
Author(s):  
Hui Kong ◽  
Ezio Bartocci ◽  
Sergiy Bogomolov ◽  
Radu Grosu ◽  
Thomas A. Henzinger ◽  
...  

scholarly journals Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems

2016 ◽  
pp. 97-112 ◽  
Author(s):  
Elisabetta De Maria ◽  
Alexandre Muzy ◽  
Daniel Gaffé ◽  
Annie Ressouche ◽  
Franck Grammont
Keyword(s):  
Reactive Systems ◽  
Temporal Properties

Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways

2016 ◽  
pp. 57-66 ◽  
Author(s):  
Matej Hajnal ◽  
David Šafránek ◽  
Martin Demko ◽  
Samuel Pastva ◽  
Pavel Krejčí ◽  
...  
Keyword(s):  
Signalling Pathways

scholarly journals A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways

2016 ◽  
pp. 3-19
Author(s):  
Sucheendra K. Palaniappan ◽  
Matthieu Pichené ◽  
Grégory Batt ◽  
Eric Fabre ◽  
Blaise Genest
Keyword(s):  
Simulation Algorithm ◽  
Biochemical Pathways ◽  
Look Ahead
Load More ...
Sign in / Sign up

Export Citation Format

Share Document