DOI,IST REx ID,Research Group,Title of publication
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.1109/ICCV.2011.6126486,3265,HeEd,Image segmentation by figure-ground composition into maximal cliques
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"
null,3284,,The complexity of conservative valued CSPs
10.1128/JVI.05638-11,3289,JoBo,A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization
10.1021/ja209688a,330,,Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor
10.1016/j.patrec.2011.10.007,3310,HeEd,A point calculus for interlevel set homology
10.1142/S0129054112400308,3314,KrCh,Discounting and averaging in games across time scales
10.1038/nrn3125,3317,PeJo,Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses
10.1007/978-3-642-28729-9_18,3341,KrCh,Robustness of structurally equivalent concurrent parity games