_id,doi,title
2715,10.4230/LIPIcs.FSTTCS.2012.461,Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
2825,,Dynamic pruning of factor graphs for maximum marginal prediction
2848,10.1016/j.jtbi.2012.02.021,Evolutionary game dynamics in populations with different learners
2849,10.1070/RM2012v067n06ABEH004820,On the configuration space of Steiner minimal trees
2888,10.1007/978-3-642-33666-9_1,Quantitative reactive models
2890,10.1145/2380356.2380371,Synthesis from incompatible specifications
2891,10.4230/LIPIcs.FSTTCS.2012.362,Approximate determinization of quantitative automata
2902,,Fractal and computational geometry for generalizing cartographic objects
2903,10.1109/ISVD.2012.11,The adaptive topology of a digital image
2904,10.5802/jtnb.819,Weak multipliers for generalized van der Corput sequences
2912,10.4213/rm9503,On the configuration space for the shortest networks
2915,,Multi-modal learning for dynamic tactile sensing
2916,10.4204/EPTCS.96.3,Interface Simulation Distances
2917,10.1017/S1473550412000407,The game of active search for extra terrestrial intelligence Breaking the Great Silence 
2928,,Generalized sequential tree-reweighted message passing
2930,10.1007/978-3-642-32147-4_40,Towards minimizing k-submodular functions
2931,10.1109/TPAMI.2012.105,A dual decomposition approach to feature correspondence
2936,10.1145/2380356.2380370,Finite automata with time delay blocks
2937,10.1145/2382196.2382249,Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols
2938,10.1111/1365-2435.12013,Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies