DOI,IST REx ID,Title of publication
10.1145/1065910.1065914,4457,Composable code generation for distributed Giotto
DOI: 10.1007/11603009_13,4536,Automatic rectangular refinement of affine hybrid systems
10.1007/11590156_1,4541,Semiperfect-information games
10.1007/11523468_71,4553,The complexity of stochastic Rabin and Streett games
10.1109/LICS.2005.26,4554,Mean-payoff parity games
null,4557,Counterexample-guided planning
10.1007/11560548_7,4560,Verifying quantitative properties using bound functions
10.1145/1060745.1060770,4576,Web service interfaces
10.1007/978-3-540-31984-9_2,4579,Checking memory safety with BLAST
10.1007/1-4020-3532-2_3,4624,Interface-based design
10.1016/j.tcs.2005.07.033,4625,Model checking discounted temporal properties
10.1080/10425170410001667348,12203,"A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides"
10.1029/2003jd003973,12658,Spatial and temporal variability of meteorological variables at Haut Glacier d'Arolla (Switzerland) during the ablation season 2001: Measurements and simulations
10.1002/cpa.20032,8517,A limit shape theorem for periodic stochastic dispersion
10.1214/aop/1078415827,8518,Sample path properties of the stochastic flows
10.1110/ps.03465504,864,Prediction of functional sites by analysis of sequence and structure conservation
10.1093/nar/gkh330,870,Bioinformatical assay of human gene morbidity
10.1016/j.tig.2004.05.001,875,A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications
10.1038/ng1451,889,Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs
10.1038/nature02601,898,Positive selection at sites of multiple amino acid replacements since rat-mouse divergence