_id,doi,title
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"
3284,,The complexity of conservative valued CSPs
3289,10.1128/JVI.05638-11,A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization
330,10.1021/ja209688a,Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor
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
3331,10.1016/j.jsc.2011.11.001,A worst case bound for topology computation of algebraic curves
3341,10.1007/978-3-642-28729-9_18,Robustness of structurally equivalent concurrent parity games
10750,,Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc
10896,10.1007/978-1-4614-3903-5_6,The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books
10903,10.1007/978-3-642-33386-6_14,Accurate invariant checking for programs manipulating lists and arrays with infinite data
10904,10.1007/978-3-642-32940-1_10,Strategy synthesis for multi-dimensional quantitative objectives
10905,10.1007/978-3-642-33090-2_27,Polynomial-time algorithms for energy games with special weight structures
10906,10.1007/978-3-642-28756-5_46,HSF(C): A software verifier based on Horn clauses