DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-29860-8_12,3162,ToHe,Parametric identification of temporal properties
10.1007/s11263-012-0530-y,3164,ChLa,Guest editorial: Special issue on structured prediction and inference
10.1137/1.9781611973099.109,3165,KrCh,An O(n2) time algorithm for alternating Büchi games
10.1186/1745-6150-7-6,3166,NiBa,Amino acid fermentation at the origin of the genetic code
10.1126/science.336.6077.32,3167,MiSi,NextGen speaks 13 
10.1016/j.tcs.2011.12.059,3168,ToHe,Lumpability abstractions of rule based systems
10.1371/journal.pbio.1001300,3242,SyCr,Social transfer of pathogenic fungus promotes active immunisation in ant colonies
null,3243,E-Lib,Zwischen Technologie und Information
null,3244,E-Lib,Die Zeit des Abwartens ist vorbei!
10.1016/j.devcel.2011.12.018,3245,CaHe,Spurred by resistance mechanosensation in collective migration
10.1007/s10592-011-0262-5,3247,JoBo,Remaining genetic diversity in Brazilian Merganser (Mergus octosetaceus)
10.1007/s11554-010-0168-3,3248,ChLa,Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components
10.1016/j.tcs.2011.08.002,3249,ToHe,Simulation distances
10.1007/978-3-642-27660-6_9,3250,KrPi,Cryptography from learning parity with noise
10.1007/978-3-642-27940-9_11,3252,KrCh,Synthesizing protocols for digital contract signing
10.1007/978-3-642-27940-9_1,3253,ToHe,Abstract domains for automated reasoning about list manipulating programs with infinite data
10.1016/j.ic.2011.11.004,3254,KrCh,The complexity of stochastic Müller games
10.1007/978-3-642-25929-6_3,3255,KrCh,Games and Markov decision processes with mean payoff parity and energy parity objectives
10.1007/s00454-011-9382-4,3256,HeEd,"Dual complexes of cubical subdivisions of ℝn"
10.1016/j.dam.2011.10.026,3257,VlKo,Generalized roof duality and bisubmodular functions