_id,doi,title
1052,10.1140/epjd/e2011-20085-4,Optimal trapping wavelengths of Cs 2 molecules in an optical lattice
1053,10.1103/PhysRevLett.107.175301,Precision measurements on a tunable Mott insulator of ultracold atoms
1054,10.1103/PhysRevLett.107.230404,Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension
12649,10.1029/2010wr009824,"The value of glacier mass balance, satellite snow cover images, and hourly discharge for improving the performance of a physically based distributed hydrological model"
12651,10.1029/2011jd015842,"Spatial and temporal variability of air temperature on a melting glacier: Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal Norte Glacier, Chile"
12652,10.3189/002214311796406013,Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling
969,10.1103/PhysRevB.83.024506,Isotope effect on the superfluid density in conventional and high-temperature superconductors
9762,10.5061/dryad.299h8,Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas)
9943,10.1109/isbi.2011.5872394,Ilastik: Interactive learning and segmentation toolkit
3345,10.1007/978-3-642-22993-0_21,Energy and mean-payoff parity Markov Decision Processes
3346,10.1109/LICS.2011.10,Two views on multiple mean payoff objectives in Markov Decision Processes
3347,10.1007/978-3-642-21254-3_16,Finitary languages
3348,10.1145/1967701.1967734,Synthesis of memory efficient real time controllers for safety objectives
3349,10.4204/EPTCS.54.6,A reduction from parity games to simple stochastic games
3351,10.1007/978-3-642-22953-4_13,On memoryless quantitative objectives
3353,10.1145/1985342.1985345,A theory of synchronous relational interfaces
3355,10.1109/QEST.2011.40,Quantitative evaluation of BFT protocols
3356,10.1109/LICS.2011.33,Temporal specifications with accumulative values
3358,10.1145/1966445.1966476,Scheduling large jobs by abstraction refinement
3360,10.4230/LIPIcs.CSL.2011.82,Determinizing discounted-sum automata