DOI,IST REx ID,Research Group,Title of publication
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
10.4230/LIPIcs.FSTTCS.2012.362,2891,ToHe,Approximate determinization of quantitative automata
null,2902,HeEd,Fractal and computational geometry for generalizing cartographic objects
10.1109/ISVD.2012.11,2903,"HeEd,MaJö",The adaptive topology of a digital image
10.5802/jtnb.819,2904,HeEd,Weak multipliers for generalized van der Corput sequences
10.4213/rm9503,2912,HeEd,On the configuration space for the shortest networks
null,2915,ChLa,Multi-modal learning for dynamic tactile sensing
10.4204/EPTCS.96.3,2916,"ToHe,KrCh",Interface Simulation Distances
10.1017/S1473550412000407,2917,NiBa,The game of active search for extra terrestrial intelligence Breaking the Great Silence 
null,2928,VlKo,Generalized sequential tree-reweighted message passing
10.1007/978-3-642-32147-4_40,2930,VlKo,Towards minimizing k-submodular functions