Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Handbook of Industrial Robotics
Handbook of Industrial Robotics
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Qualitative analysis of nonlinear biochemical networks with piecewise-affine functions
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Algebraic systems biology: theses and hypotheses
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Refining dynamics of gene regulatory networks in a stochastic π-calculus framework
Transactions on computational systems biology XIII
Hi-index | 0.00 |
The authors argue for the need to model and analyze biological networks at molecular and cellular levels. They propose a computational toolbox for biologists. Central to their approach is the paradigm of hybrid models in which discrete events are combined with continuous differential equations to capture switching behavior.