DOI,IST REx ID,Research Group,Title of publication
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
10.1103/PhysRevE.85.041903,3262,GaTk,Optimizing information flow in small genetic networks. III. A self-interacting gene
10.1109/ICCV.2011.6126486,3265,HeEd,Image segmentation by figure-ground composition into maximal cliques
10.1016/j.enganabound.2011.12.014,3274,GaTk,A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil
10.1007/978-94-007-4966-5_22,3277,NiBa,Can the evolution of multicellularity be anticipated in the exploration of the solar system?
10.1007/978-3-642-28914-9_21,3279,KrPi,Hardness preserving constructions of pseudorandom functions
10.1007/978-3-642-28914-9_31,3280,KrPi,Subspace LWE
10.1007/978-3-642-28914-9_26,3281,KrPi,Lossy functions do not amplify well
10.1007/978-3-642-29011-4_22,3282,KrPi,"Message authentication, revisited"
10.1128/JVI.05638-11,3289,JoBo,A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization
10.1016/j.patrec.2011.10.007,3310,HeEd,A point calculus for interlevel set homology