DOI,IST REx ID,Title of publication
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
10.2307/121093,8526,An extension of the Artin-Mazur theorem
10.1038/22514,883,Interactions among quantitative traits in the course of sympatric speciation
10.1007/pl00009268,11679,"Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology"
10.1016/s1389-1286(99)00022-5,11687,Finding related pages in the world wide Web
10.1016/s1389-1286(99)00016-x,11688,Measuring index quality using random walks on the web
10.1145/301250.301300,11691,Scheduling data transfers in a network and the set scheduling problem
10.1145/320211.320215,11769,Randomized fully dynamic graph algorithms with polylogarithmic time per operation
10.1145/331403.331405,11895,Analysis of a very large web search engine query log
null,11925,Scheduling multicasts on unit-capacity trees and meshes