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.
4874 Publications
2009 | Journal Article | IST-REx-ID: 4242 | 
Barton, N. H., & De Cara, M. (2009). The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.2009.00622.x
[Submitted Version]
View
| Files available
| DOI
2009 | Book Chapter | IST-REx-ID: 3675
Barton, N. H. (2009). Why sex and recombination? . In Cold Spring Harbor Symposia on Quantitative Biology (Vol. 74, pp. 187–195). Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/sqb.2009.74.030
View
| DOI
2009 | Journal Article | IST-REx-ID: 3775 |
Barton, N. H., & Coe, J. (2009). On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2009.03.019
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Conference Paper | IST-REx-ID: 3837 |
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2009). On relational interfaces. In EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software (pp. 67–76). Grenoble, France: ACM. https://doi.org/10.1145/1629335.1629346
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3968 |
Edelsbrunner, H., & Harer, J. (2009). The persistent Morse complex segmentation of a 3-manifold (Vol. 5903, pp. 36–50). Presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland: Springer. https://doi.org/10.1007/978-3-642-10470-1_4
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 4231
Barton, N. H., & De Vladar, H. (2009). Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.108.099309
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4542 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Alternating weighted automata (Vol. 5699, pp. 3–13). Presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland: Springer. https://doi.org/10.1007/978-3-642-03409-1_2
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4545 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. https://doi.org/10.1007/978-3-642-02930-1_1
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4543
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Stochastic games with finitary objectives (Vol. 5734, pp. 34–54). Presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia: Springer. https://doi.org/10.1007/978-3-642-03816-7_4
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4569 |
Bloem, R., Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-02658-4_14
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Technical Report | IST-REx-ID: 5393 |
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2009). Gist: A solver for probabilistic games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0003
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5394 |
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Improved lower bounds for request-response and finitary Streett games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0002
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5392 |
Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria. https://doi.org/10.15479/AT:IST-2009-0004
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5395 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Qualitative analysis of partially-observable Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2009-0001
[Published Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 9453 |
Hsieh, T.-F., Ibarra, C. A., Silva, P., Zemach, A., Eshed-Williams, L., Fischer, R. L., & Zilberman, D. (2009). Genome-wide demethylation of Arabidopsis endosperm. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1172417
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 9537
Zilberman, D. (2008). The evolving functions of DNA methylation. Current Opinion in Plant Biology. Elsevier . https://doi.org/10.1016/j.pbi.2008.07.004
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 9457 |
Zilberman, D., Coleman-Derr, D., Ballinger, T., & Henikoff, S. (2008). Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. Nature. Springer Nature. https://doi.org/10.1038/nature07324
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 517
Barton, N. H. (2008). Identity and coalescence in structured populations: A commentary on “Inbreeding coefficients and coalescence times” by Montgomery Slatkin. Genetics Research. Cambridge University Press. https://doi.org/10.1017/S0016672308009683
View
| DOI
2007 | Journal Article | IST-REx-ID: 9487 |
Penterman, J., Zilberman, D., Huh, J. H., Ballinger, T., Henikoff, S., & Fischer, R. L. (2007). DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.0701861104
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Other Publication | IST-REx-ID: 9504
Zilberman, D. (2007). The human promoter methylome. Nature Genetics (Vol. 39, pp. 442–443). Nature Publishing Group. https://doi.org/10.1038/ng0407-442
View
| DOI
| PubMed | Europe PMC