DOI,IST REx ID,Research Group,Title of publication
10.1371/journal.pone.0036044,3161,SyCr,Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome
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.1016/j.ceb.2011.11.006,3246,CaHe,Cell adhesion in embryo morphogenesis
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_29,3251,ToHe,Ideal abstractions for well structured transition systems
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