_id,doi,title
5377,10.15479/AT:IST-2012-0002,Mean-payoff pushdown games
5378,10.15479/AT:IST-2012-0001,Faster algorithms for alternating refinement relations
5396,10.15479/AT:IST-2012-0003,Approximating marginals using discrete energy minimization
5398,,Actual state of research data @ ISTAustria
5745,10.1007/978-3-642-33386-6_10,Improved Single Pass Algorithms for Resolution Proof Reduction
6588,,Elementary solutions of the Bernstein problem on two intervals
13075,10.5061/DRYAD.0G0FS,Data from: A likelihood-based comparison of population histories in a parasitoid guild
1384,10.1145/2393596.2393664,Conditional model checking: A technique to pass information between verifiers
9451,10.1126/science.1224839,Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes
9497,10.1371/journal.pgen.1002988,Deposition of histone variant H2A.Z within gene bodies regulates responsive genes
9499,10.1371/journal.pgen.1002512,EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development
9528,10.1016/j.gde.2012.01.007,"Regulation of biological accuracy, precision, and memory by plant chromatin organization"
9535,10.1101/sqb.2012.77.014944,"DNA methylation, H2A.Z, and the regulation of constitutive expression"
12198,10.1126/science.1224839,Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes
9755,10.5061/dryad.sv37s,Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies
9757,10.5061/dryad.61649,Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
9758,10.5061/dryad.274b1,Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates
3836,10.1016/j.scico.2010.06.004,Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code
3846,10.1016/j.jcss.2011.05.002,"A survey of stochastic ω regular games"
3163,,Maximum margin multi-label structured prediction