_id,doi,title
3252,10.1007/978-3-642-27940-9_11,Synthesizing protocols for digital contract signing
3253,10.1007/978-3-642-27940-9_1,Abstract domains for automated reasoning about list manipulating programs with infinite data
3254,10.1016/j.ic.2011.11.004,The complexity of stochastic Müller games
3255,10.1007/978-3-642-25929-6_3,Games and Markov decision processes with mean payoff parity and energy parity objectives
3256,10.1007/s00454-011-9382-4,"Dual complexes of cubical subdivisions of ℝn"
3257,10.1016/j.dam.2011.10.026,Generalized roof duality and bisubmodular functions
3258,10.1038/nn.3060,Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons
3260,10.1016/j.tpb.2011.11.003,Evolutionary dynamics of biological auctions
3262,10.1103/PhysRevE.85.041903,Optimizing information flow in small genetic networks. III. A self-interacting gene
3265,10.1109/ICCV.2011.6126486,Image segmentation by figure-ground composition into maximal cliques
3274,10.1016/j.enganabound.2011.12.014,A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil
3277,10.1007/978-94-007-4966-5_22,Can the evolution of multicellularity be anticipated in the exploration of the solar system?
3279,10.1007/978-3-642-28914-9_21,Hardness preserving constructions of pseudorandom functions
3280,10.1007/978-3-642-28914-9_31,Subspace LWE
3281,10.1007/978-3-642-28914-9_26,Lossy functions do not amplify well
3282,10.1007/978-3-642-29011-4_22,"Message authentication, revisited"
3289,10.1128/JVI.05638-11,A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization
3310,10.1016/j.patrec.2011.10.007,A point calculus for interlevel set homology
3314,10.1142/S0129054112400308,Discounting and averaging in games across time scales
3317,10.1038/nrn3125,Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses