DOI,IST REx ID,Research Group,Title of publication
10.1016/j.tcs.2011.12.059,3168,ToHe,Lumpability abstractions of rule based systems
10.1007/s00145-010-9090-x,3241,,Parallel repetition of computationally sound protocols revisited
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
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
10.1038/nn.3060,3258,PeJo,Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons
10.1016/j.tpb.2011.11.003,3260,KrCh,Evolutionary dynamics of biological auctions