DOI,IST REx ID,Research Group,Title of publication
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
10.15479/AT:IST-2012-0003,5396,"VlKo,ChLa",Approximating marginals using discrete energy minimization
10.1007/978-3-642-33386-6_10,5745,ToHe,Improved Single Pass Algorithms for Resolution Proof Reduction
null,6588,HeEd,Elementary solutions of the Bernstein problem on two intervals
10.1126/science.1224839,9451,DaZi,Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes
10.1371/journal.pgen.1002988,9497,DaZi,Deposition of histone variant H2A.Z within gene bodies regulates responsive genes