Inclusion dynamics hybrid automata
Information and Computation
Discrete Semantics for Hybrid Automata
Discrete Event Dynamic Systems
Hybrid automata, reachability, and Systems Biology
Theoretical Computer Science
Algebraic systems biology: theses and hypotheses
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Hybrid systems and biology: continuous and discrete modeling for systems biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Symbolic algorithm analysis of rectangular hybrid systems
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
Reachability problems on extended o-minimal hybrid automata
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
| Hi-index | 0.00 |