DOI,IST REx ID,Title of publication
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.3189/172756505781829124,12657,"An enhanced temperature-index glacier melt model including the shortwave radiation balance: Development and testing for Haut Glacier d’Arolla, Switzerland"
10.1523/JNEUROSCI.4900-04.2005,1298,In vivo performance of genetically encoded indicators of neural activity in flies
10.1093/hmg/ddi350,843,Distribution of the strength of selection against amino acid replacements in human proteins
10.1007/s10858-005-4425-x,8491,SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds
10.1021/ja051306e,8492,Very fast two-dimensional NMR spectroscopy for real-time investigation of dynamic events in proteins on the time scale of seconds
10.1016/j.jfa.2004.09.006,8516,On diffusion in high-dimensional Hamiltonian systems