DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-14295-6_41,4390,ToHe,Model checking of linearizability of concurrent list implementations
10.1007/978-3-642-15375-4_18,4393,ToHe,Simulation distances
10.1007/978-3-642-12029-9_19,4396,ToHe,Shape refinement through explicit heap analysis
10.4230/LIPIcs.FSTTCS.2010.1,488,ToHe,Expressiveness of streaming string transducers
10.4204/EPTCS.25.7,489,KrCh,How do we remember the past in randomised strategies? 
10.1145/1778765.1778777,2095,,High-quality single-shot capture of facial geometry
10.1016/j.jmaa.2009.08.041,2124,,Malliavin calculus and decoupling inequalities in Banach spaces
10.1039/B920899B ,2194,,An analytic model of the stereodynamics of rotationally inelastic molecular collisions
10.1063/1.3386530,2195,,Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions
10.1021/jp1032299,2196,,Fine-tuning molecular energy levels by nonresonant laser pulses
10.1103/PhysRevA.82.022711,2197,,Multiple scattering of matter waves: An analytic model of the refractive index for atomic and molecular gases
10.1515/CRELLE.2010.064,232,,Le problème des diviseurs pour des formes binaires de degré 4
10.1142/9789814304634_0045 ,2322,, Equivalence of Sobolev inequalities and Lieb-Thirring inequalities
10.1142/9789814304634_0013,2323,,Hot topics on cold gases
10.1007/978-1-4419-1341-8_6,2324,,Sharp fractional Hardy inequalities in half-spaces
10.1002/mana.200810195,2389,,Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy
10.1103/PhysRevLett.104.210402,2392,,Bipolaron and N-polaron binding energies
10.1186/1748-7188-5-37,2409,JoBo,Accuracy of phylogeny reconstruction methods combining overlapping gene data sets 
10.1016/j.devcel.2010.05.020,2442,,Nitrate Contra Auxin: Nutrient Sensing by roots
10.1093/imrn/rnp136,2701,,Wegner estimate and level repulsion for Wigner random matrices