_id,doi,title
1374,10.4230/LIPIcs.CSL.2013.181,Infinite-state games with finitary conditions
1376,10.1109/FMCAD.2013.6679386,Distributed synthesis for LTL fragments
1385,10.1109/FMCAD.2013.6679394,Synthesizing multiple boolean functions using interpolation on a single proof
1387,10.1007/978-3-642-39212-2_11,Nondeterminism in the presence of a diverse or unknown future
1405,10.15479/at:ista:1405,Analysis of dynamic message passing programs
1406,,Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
9459,10.1016/j.cell.2013.02.033,The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin
9481,10.1073/pnas.1306164110,Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm
9520,10.1016/j.devcel.2013.01.014,A conversation across generations: Soma-germ cell crosstalk in plants
10396,10.1515/bmt-2013-4181,Stimfit: A fast visualization and analysis environment for cellular neurophysiology
9749,10.1371/journal.pone.0080814.s001,Forgiver triumphs in alternating prisoner's dilemma 
9751,10.5061/dryad.b1q2n,Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection
9754,10.5061/dryad.r3r60,Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies
450,10.1098/rspb.2012.2058,Source population characteristics affect heterosis following genetic rescue of fragmented plant populations
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