DOI,IST REx ID,Research Group,Title of publication
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
10.1142/S0129054112400308,3314,KrCh,Discounting and averaging in games across time scales
10.1007/978-1-4614-3903-5_6,10896,HaJa,The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books
10.1007/978-3-642-33386-6_14,10903,ToHe,Accurate invariant checking for programs manipulating lists and arrays with infinite data
10.1007/978-3-642-32940-1_10,10904,KrCh,Strategy synthesis for multi-dimensional quantitative objectives
10.1007/978-3-642-33090-2_27,10905,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.1007/978-3-642-28756-5_46,10906,ToHe,HSF(C): A software verifier based on Horn clauses
10.15479/AT:IST-2011-0001,5387,KrCh,Energy and mean-payoff parity Markov decision processes
10.1016/j.bpj.2011.09.040,6496,CaGu,Noise underlies switching behavior of the bacterial flagellum
10.1007/978-3-642-23672-3_35,9648,HeEd,Incremental-decremental algorithm for computing AT-models and persistent homology
10.5061/dryad.299h8,9762,NiBa,Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas)
10.1038/nn.3002,3318,PeJo,"How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses"
null,3319,ChLa,Learning multi-view neighborhood preserving projections
10.1561/0600000033,3320,ChLa,Structured learning and prediction in computer vision
null,3322,ChLa,Maximum margin multi label structured prediction
10.1007/978-3-642-22438-6_36,3323,ToHe,An efficient decision procedure for imperative tree data structures