DOI,IST REx ID,Title of publication
10.1145/1450058.1450070,4533,Interface theories with component reuse
10.1016/j.ipl.2007.08.035,4534,Reduction of stochastic parity to stochastic mean-payoff games
10.1145/1403375.1403595,4546,Logical reliability of interacting real-time tasks
10.1007/s00182-007-0110-5,4548,Stochastic limit-average games are in EXPTIME
10.1109/ASE.2008.13,4568,Program analysis with dynamic change of precision
10.1017/S0016672308009683,517,Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin
10.1126/science.1152697,581,Observation of the spin hall effect of light via weak measurements
null,584,Spin hall effect of light via weak measurements: Sharp and smooth index variations
10.1073/pnas.0707607105,6146,A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans
10.1016/j.tig.2008.01.001,6148,Beyond induced mutants: using worms to study natural variation in genetic pathways
10.1016/j.cub.2008.01.002,6149,Sleep: dozy worms and sleepy flies
10.1126/science.1154413,1982,Spatial regulators for bacterial cell division self-organize into surface waves in vitro
10.1017/S0016672308009804,2065,A multispecies approach for comparing sequence evolution of X-linked and autosomal sites in Drosophila
10.2312/SCA/SCA08/057-066,2078,Pose-space animation and transfer of facial details
10.1103/PhysRevLett.100.080404,1036,Control of interaction-induced dephasing of bloch oscillations
10.1103/PhysRevLett.100.083002,1037,Metastable feshbach molecules in high rotational states
10.1126/science.1159909,1039,Quantum gas of deeply bound ground state molecules
10.1021/om700916f,10392,Density functional study of protonated formylmetallocenes
10.1109/ICCV.2003.1238310,3170,Computing geodesics and minimal surfaces via graph cuts
10.1109/ICCV.2003.1238463,3174,Visual correspondence using energy minimization and mutual information