DOI,IST REx ID,Research Group,Title of publication
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.1242/bio.20122287,2263,SiHi,A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors
10.1109/TCBB.2012.91,2302,"ToHe,CaGu",The propagation approach for computing biochemical reaction networks
10.4171/JST/31,2318,RoSe,Absence of bound states implies non-negativity of the scattering length
10.1093/molbev/msr285,2411,JoBo,A consistent phylogenetic backbone for the fungi
10.4230/LIPIcs.FSTTCS.2012.461,2715,KrCh,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
null,2825,ChLa,Dynamic pruning of factor graphs for maximum marginal prediction
10.1016/j.jtbi.2012.02.021,2848,"KrCh,ToHe",Evolutionary game dynamics in populations with different learners
10.1070/RM2012v067n06ABEH004820,2849,HeEd,On the configuration space of Steiner minimal trees
10.1007/978-3-642-33666-9_1,2888,ToHe,Quantitative reactive models
10.1145/2380356.2380371,2890,ToHe,Synthesis from incompatible specifications