DOI,IST REx ID,Research Group,Title of publication
10.1016/j.gde.2012.01.007,9528,DaZi,"Regulation of biological accuracy, precision, and memory by plant chromatin organization"
10.1101/sqb.2012.77.014944,9535,DaZi,"DNA methylation, H2A.Z, and the regulation of constitutive expression"
10.5061/dryad.sv37s,9755,SyCr,Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies
10.5061/dryad.61649,9757,SyCr,Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
10.5061/dryad.274b1,9758,NiBa,Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates
10.1007/978-1-4614-3903-5_6,10896,HaJa,The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books
10.1007/978-3-642-33386-6_14,10903,ToHe,Accurate invariant checking for programs manipulating lists and arrays with infinite data
10.1007/978-3-642-32940-1_10,10904,KrCh,Strategy synthesis for multi-dimensional quantitative objectives
10.1007/978-3-642-33090-2_27,10905,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.1007/978-3-642-28756-5_46,10906,ToHe,HSF(C): A software verifier based on Horn clauses
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