DOI,IST REx ID,Title of publication
10.1007/11787006_10,4401,Preserving secrecy under refinement
10.1007/11817963_5,4406,Antichains: A new algorithm for checking universality of finite automata
10.1007/11813040_1,4431,The embedded systems design challenge
10.1007/11867340_1,4432,Timed alternating-time temporal logic
10.1109/RTAS.2006.11,4436,An interface algebra for real-time components
10.1007/11874683_26,4437,Solving games without determinization
10.1016/j.tcs.2005.11.015,4451,On the universal and existential fragments of the mu-calculus
10.1145/1181775.1181790,4523,Synergy: A new algorithm for property checking
10.1145/1176887.1176907,4526,A hierarchical coordination language for interacting real-time tasks
10.1109/WSC.2006.322942,4528,Executable biology
10.1007/11672142_42,4538,Strategy improvement and randomized subexponential algorithms for stochastic parity games
10.1007/11691372_17,4539,Finitary winning in omega-regular games
10.1109/QEST.2006.11,4549,Compositional quantitative reasoning
10.1016/j.tcs.2006.07.032,4550,Games with secure equilibria
10.1007/11672142_26,4551,Markov decision processes with multiple objectives
10.1109/QEST.2006.48,4552,Strategy improvement for concurrent reachability games
10.1007/11817963_48,4574,Lazy shape analysis
10.1145/1083356.1083357,11698,Hyperlink analysis on the world wide web
10.1016/j.jalgor.2004.11.001,11763,An online throughput-competitive algorithm for multicast routing and admission control
10.1007/s11280-004-4870-6,11904,Query-free news search