Chatterjee K, Velner Y. Mean-Payoff Pushdown Games. IST Austria; 2012. doi:10.15479/AT:IST-2012-0002

Chatterjee K, Chaubal S, Kamath P. Faster Algorithms for Alternating Refinement Relations. IST Austria; 2012. doi:10.15479/AT:IST-2012-0001

Chatterjee K, Doyen L. Partial-observation stochastic games: How to win when belief fails. In: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2012. doi:10.1109/LICS.2012.28

Chatterjee K. Robustness of structurally equivalent concurrent parity games. In: Vol 7213. Springer; 2012:270-285. doi:10.1007/978-3-642-28729-9_18

Chatterjee K, Tracol M. Decidable problems for probabilistic automata on infinite words. In: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2012. doi:10.1109/LICS.2012.29

Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. Theoretical Computer Science. 2012;413(1):21-35. doi:10.1016/j.tcs.2011.08.002

Korc F, Kolmogorov V, Lampert C. Approximating marginals using discrete energy minimization. In: ICML; 2012.

Korc F, Kolmogorov V, Lampert C. Approximating Marginals Using Discrete Energy Minimization. IST Austria; 2012. doi:10.15479/AT:IST-2012-0003

Porsche J. Actual State of Research Data @ ISTAustria. IST Austria; 2012.

Ibarra CA, Feng X, Schoft VK, et al. Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. 2012;337(6100):1360-1364. doi:10.1126/science.1224839

Coleman-Derr D, Zilberman D. DNA methylation, A.Z, and the regulation of constitutive expression. Cold Spring Harbor Symposia on Quantitative Biology. 2012;77:147-154. doi:10.1101/sqb.2012.77.014944

Konrad M, Vyleta M, Theis F, et al. Social transfer of pathogenic fungus promotes active immunisation in ant colonies. PLoS Biology. 2012;10(4). doi:10.1371/journal.pbio.1001300

Konrad M, Vyleta M, Theis F, et al. Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies. 2012. doi:10.5061/dryad.sv37s

Aeschbacher S, Futschik A, Beaumont M. Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. 2012. doi:10.5061/dryad.274b1

Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. 2012. doi:10.5061/dryad.61649

Kim SY, Lee J, Eshed-Williams L, Zilberman D, Sung ZR. EM and PR cooperate to repress key regulators of Arabidopsis development. PLoS Genetics. 2012;8(3). doi:10.1371/journal.pgen.1002512

Coleman-Derr D, Zilberman D. Deposition of histone variant A.Z within gene bodies regulates responsive genes. PLoS Genetics. 2012;8(10). doi:10.1371/journal.pgen.1002988

Huff JT, Zilberman D. Regulation of biological accuracy, precision, and memory by plant chromatin organization. Current Opinion in Genetics and Development. 2012;22(2):132-138. doi:10.1016/j.gde.2012.01.007

Lohse K, Barton NH, Melika G, Stone G. A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology. 2012;21(18):4605-4617. doi:10.1111/j.1365-294X.2012.05700.x

Lohse K, Barton NH, Stone G, Melika G. Data from: A likelihood-based comparison of population histories in a parasitoid guild. 2012. doi:10.5061/DRYAD.0G0FS