Boker U, Kupferman O. Translating to Co-Büchi made tight, unified, and useful. ACM Transactions on Computational Logic (TOCL). 2012;13(4). doi:10.1145/2362355.2362357

Sixt MK. Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. 2012;197(3):347-349. doi:10.1083/jcb.201204039

Chatterjee K, Chaubal S, Kamath P. Faster algorithms for alternating refinement relations. In: Vol 16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:167-182. doi:10.4230/LIPIcs.CSL.2012.167

Chatterjee K, Henzinger MH. An O(n2) time algorithm for alternating Büchi games. In: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM; 2012:1386-1399. doi:10.1137/1.9781611973099.109

Chatterjee K, Velner Y. Mean payoff pushdown games. In: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2012. doi:10.1109/LICS.2012.30

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