Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5613 Publications
2009 | Published | Journal Article | IST-REx-ID: 4136 | 
J. Polechova, N. H. Barton, and G. Marion, “Species’ range: Adaptation in space and time,” American Naturalist, vol. 174, no. 5. University of Chicago Press, pp. E186–E204, 2009.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 9453 |
T.-F. Hsieh et al., “Genome-wide demethylation of Arabidopsis endosperm,” Science, vol. 324, no. 5933. American Association for the Advancement of Science, pp. 1451–1454, 2009.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 3870 |
K. Chatterjee, T. A. Henzinger, and F. Horn, “Finitary winning in omega-regular games,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1. ACM, 2009.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4545 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4569 |
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “On relational interfaces,” in EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software, Grenoble, France, 2009, pp. 67–76.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States, 2009, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5395 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, Qualitative analysis of partially-observable Markov decision processes. IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5392 |
K. Chatterjee, Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4542 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5393 |
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, Gist: A solver for probabilistic games. IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
2008 | Published | Journal Article | IST-REx-ID: 517
N. H. Barton, “Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin,” Genetics Research, vol. 89, no. 5–6. Cambridge University Press, pp. 475–477, 2008.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 9537
D. Zilberman, “The evolving functions of DNA methylation,” Current Opinion in Plant Biology, vol. 11, no. 5. Elsevier , pp. 554–559, 2008.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 9457 |
D. Zilberman, D. Coleman-Derr, T. Ballinger, and S. Henikoff, “Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks,” Nature, vol. 456, no. 7218. Springer Nature, pp. 125–129, 2008.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2007 | Published | Journal Article | IST-REx-ID: 12201
X. Feng and H. G. Dickinson, “Packaging the male germline in plants,” Trends in Genetics, vol. 23, no. 10. Elsevier BV, pp. 503–510, 2007.
View
| DOI
| PubMed | Europe PMC
2007 | Published | Journal Article | IST-REx-ID: 9487 |
J. Penterman, D. Zilberman, J. H. Huh, T. Ballinger, S. Henikoff, and R. L. Fischer, “DNA demethylation in the Arabidopsis genome,” Proceedings of the National Academy of Sciences, vol. 104, no. 16. National Academy of Sciences, pp. 6752–6757, 2007.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Published | Other Publication | IST-REx-ID: 9504
D. Zilberman, The human promoter methylome, vol. 39, no. 4. Nature Publishing Group, 2007, pp. 442–443.
View
| DOI
| PubMed | Europe PMC