DOI,IST REx ID,Title of publication
10.1016/B0-12-226865-2/00070-5,4275,Differentiation
10.1017/S0016672300239220,4276,Population genetics of multiple loci
10.1007/3-540-46419-0_21,4433,Fair bisimulation
10.1007/3-540-46430-1_15,4434,Robust undecidability of timed and hybrid systems
10.1007/3-540-46419-0_11,4435,Symbolic model checking for rectangular hybrid systems
10.1007/3-540-46541-3_2,4439,A classification of symbolic transition systems
10.1007/3-540-46430-1_14,4481,Beyond HyTech: Hybrid systems analysis using interval numerical methods
10.1007/978-3-540-45099-3_12,4482,Abstract interpretation of game properties
10.1109/ICCAD.2000.896481,4483,Decomposing refinement proofs using assume-guarantee reasoning
10.1007/3-540-44929-9_38,4512,Masaccio: A formal model for embedded components
10.1007/978-3-642-59615-5,4513,The theory of hybrid automata
10.1109/5.871304 ,4598,Discrete abstractions of hybrid systems
10.1109/LICS.2000.855763,4627,Concurrent omega-regular games
10.1007/3-540-44618-4_33,4637,The control of synchronous systems
10.1007/10722167_17,4638,Detecting errors before reaching them