Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. Vol. 7213, Springer, 2012, pp. 270–85, doi:10.1007/978-3-642-28729-9_18.
LibreCat: https://research-explorer.ista.ac.at/record/3341
DOI: 10.1007/978-3-642-28729-9_18
arXiv: 1107.2009

Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.”10.1109/LICS.2012.29__Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280437, IEEE, 2012, doi:10.1109/LICS.2012.29.
LibreCat: https://research-explorer.ista.ac.at/record/2957
DOI: 10.1109/LICS.2012.29
arXiv: 1107.2091

Cerny, Pavol, et al. “Simulation Distances.”10.1016/j.tcs.2011.08.002__Theoretical Computer Science, vol. 413, no. 1, Elsevier, 2012, pp. 21–35, doi:10.1016/j.tcs.2011.08.002.
LibreCat: https://research-explorer.ista.ac.at/record/3249
DOI: 10.1016/j.tcs.2011.08.002

Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. ICML, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3124

Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012, doi:10.15479/AT:IST-2012-0003.
LibreCat: https://research-explorer.ista.ac.at/record/5396
DOI: 10.15479/AT:IST-2012-0003

Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/5398

Ibarra, Christian A., et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.”10.1126/science.1224839__Science, vol. 337, no. 6100, American Association for the Advancement of Science, 2012, pp. 1360–64, doi:10.1126/science.1224839.
LibreCat: https://research-explorer.ista.ac.at/record/9451
DOI: 10.1126/science.1224839
PMID: 22984074

Coleman-Derr, D., and Daniel Zilberman. “DNA Methylation, A.Z, and the Regulation of Constitutive Expression.”10.1101/sqb.2012.77.014944__Cold Spring Harbor Symposia on Quantitative Biology, vol. 77, Cold Spring Harbor Laboratory Press, 2012, pp. 147–54, doi:10.1101/sqb.2012.77.014944.
LibreCat: https://research-explorer.ista.ac.at/record/9535
DOI: 10.1101/sqb.2012.77.014944
PMID: 23250988

Konrad, Matthias, et al. “Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.”10.1371/journal.pbio.1001300__PLoS Biology, vol. 10, no. 4, e1001300, Public Library of Science, 2012, doi:10.1371/journal.pbio.1001300.
LibreCat: https://research-explorer.ista.ac.at/record/3242
DOI: 10.1371/journal.pbio.1001300

Konrad, Matthias, et al. Data from: Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies. Dryad, 2012, doi:10.5061/dryad.sv37s.
LibreCat: https://research-explorer.ista.ac.at/record/9755
DOI: 10.5061/dryad.sv37s

Aeschbacher, Simon, et al. Data from: Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. Dryad, 2012, doi:10.5061/dryad.274b1.
LibreCat: https://research-explorer.ista.ac.at/record/9758
DOI: 10.5061/dryad.274b1

Tragust, Simon, et al. Data from: Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison. Dryad, 2012, doi:10.5061/dryad.61649.
LibreCat: https://research-explorer.ista.ac.at/record/9757
DOI: 10.5061/dryad.61649

Kim, Sang Yeol, et al. “EM and PR Cooperate to Repress Key Regulators of Arabidopsis Development.”10.1371/journal.pgen.1002512__PLoS Genetics, vol. 8, no. 3, e1002512, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002512.
LibreCat: https://research-explorer.ista.ac.at/record/9499
DOI: 10.1371/journal.pgen.1002512
PMID: 22457632

Coleman-Derr, Devin, and Daniel Zilberman. “Deposition of Histone Variant A.Z within Gene Bodies Regulates Responsive Genes.”10.1371/journal.pgen.1002988__PLoS Genetics, vol. 8, no. 10, e1002988, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002988.
LibreCat: https://research-explorer.ista.ac.at/record/9497
DOI: 10.1371/journal.pgen.1002988
PMID: 23071449

Huff, Jason T., and Daniel Zilberman. “Regulation of Biological Accuracy, Precision, and Memory by Plant Chromatin Organization.”10.1016/j.gde.2012.01.007__Current Opinion in Genetics and Development, vol. 22, no. 2, Elsevier, 2012, pp. 132–38, doi:10.1016/j.gde.2012.01.007.
LibreCat: https://research-explorer.ista.ac.at/record/9528
DOI: 10.1016/j.gde.2012.01.007
PMID: 22336527

Lohse, Konrad, et al. “A Likelihood Based Comparison of Population Histories in a Parasitoid Guild.”10.1111/j.1365-294X.2012.05700.x__Molecular Ecology, vol. 21, no. 18, Wiley-Blackwell, 2012, pp. 4605–17, doi:10.1111/j.1365-294X.2012.05700.x.
LibreCat: https://research-explorer.ista.ac.at/record/2968
DOI: 10.1111/j.1365-294X.2012.05700.x

Lohse, Konrad, et al. Data from: A Likelihood-Based Comparison of Population Histories in a Parasitoid Guild. Dryad, 2012, doi:10.5061/DRYAD.0G0FS.
LibreCat: https://research-explorer.ista.ac.at/record/13075
DOI: 10.5061/DRYAD.0G0FS

Bouajjani, Ahmed, et al. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.”10.1007/978-3-642-33386-6_14__Automated Technology for Verification and Analysis, vol. 7561, Springer, 2012, pp. 167–82, doi:10.1007/978-3-642-33386-6_14.
LibreCat: https://research-explorer.ista.ac.at/record/10903
DOI: 10.1007/978-3-642-33386-6_14

Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.”10.1007/978-3-642-33090-2_27__Algorithms – ESA 2012, vol. 7501, Springer, 2012, pp. 301–12, doi:10.1007/978-3-642-33090-2_27.
LibreCat: https://research-explorer.ista.ac.at/record/10905
DOI: 10.1007/978-3-642-33090-2_27
arXiv: 1604.08234

Grebenshchikov, Sergey, et al. “HSF(C): A Software Verifier Based on Horn Clauses.”10.1007/978-3-642-28756-5_46__Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51, doi:10.1007/978-3-642-28756-5_46.
LibreCat: https://research-explorer.ista.ac.at/record/10906
DOI: 10.1007/978-3-642-28756-5_46