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.1038/nrn3125,3317,PeJo,Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses
10.1016/j.jsc.2011.11.001,3331,HeEd,A worst case bound for topology computation of algebraic curves
10.1007/978-3-642-28729-9_18,3341,KrCh,Robustness of structurally equivalent concurrent parity games
10.1016/j.scico.2010.06.004,3836,ToHe,Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code
10.1016/j.jcss.2011.05.002,3846,"KrCh,ToHe","A survey of stochastic ω regular games"
10.3389/fnins.2012.00055,493,"ScienComp,PeJo",Review of the BCI competition IV
10.1145/2362355.2362357,494,ToHe,"Translating to Co-Büchi made tight, unified, and useful"
10.4204/EPTCS.96.18,495,KrCh,A Myhill Nerode theorem for automata with advice
10.1109/LICS.2012.65,496,KrCh,Interpretations in trees with countably many branches
10.4230/LIPIcs.CSL.2012.167,497,KrCh,Faster algorithms for alternating refinement relations
10.1111/j.1752-4571.2012.00284.x,498,NiBa,Predicting local adaptation in fragmented plant populations: Implications for restoration genetics
10.1083/jcb.201204039,506,MiSi,Cell migration: Fibroblasts find a new way to get ahead
10.15479/AT:IST-2012-0002,5377,KrCh,Mean-payoff pushdown games
10.15479/AT:IST-2012-0001,5378,KrCh,Faster algorithms for alternating refinement relations