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.
5736 Publications
2009 | Published | Conference Paper | IST-REx-ID: 3844 | 
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/10.1109/RTSS.2009.9
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Probabilistic weighted automata (Vol. 5710, pp. 244–258). Presented at the CONCUR: Concurrency Theory, Bologna, Italy: Springer. https://doi.org/10.1007/978-3-642-04081-8_17
[Submitted Version]
View
| Files available
| DOI
2009 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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
2008 | Published | 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
2008 | Published | 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 | Published | 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
2007 | Published | Journal Article | IST-REx-ID: 12201
Feng, X., & Dickinson, H. G. (2007). Packaging the male germline in plants. Trends in Genetics. Elsevier BV. https://doi.org/10.1016/j.tig.2007.08.005
View
| DOI
| PubMed | Europe PMC
2007 | Published | 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 | Published | 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
2007 | Published | Journal Article | IST-REx-ID: 9524 |
Zilberman, D., & Henikoff, S. (2007). Genome-wide analysis of DNA methylation patterns. Development. The Company of Biologists. https://doi.org/10.1242/dev.001131
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 9505
Zilberman, D., Gehring, M., Tran, R. K., Ballinger, T., & Henikoff, S. (2006). Genome-wide analysis of Arabidopsis thaliana DNA methylation uncovers an interdependence between methylation and transcription. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng1929
View
| DOI
| PubMed | Europe PMC
2005 | Published | Journal Article | IST-REx-ID: 9491 |
Tran, R. K., Henikoff, J. G., Zilberman, D., Ditt, R. F., Jacobsen, S. E., & Henikoff, S. (2005). DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2005.01.008
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2005 | Published | Journal Article | IST-REx-ID: 9514 |
Tran, R. K., Zilberman, D., de Bustos, C., Ditt, R. F., Henikoff, J. G., Lindroth, A. M., … Henikoff, S. (2005). Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis. Genome Biology. Springer Nature. https://doi.org/10.1186/gb-2005-6-11-r90
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2005 | Published | Journal Article | IST-REx-ID: 9529
Zilberman, D., & Henikoff, S. (2005). Epigenetic inheritance in Arabidopsis: Selective silence. Current Opinion in Genetics and Development. Elsevier. https://doi.org/10.1016/j.gde.2005.07.002
View
| DOI
| PubMed | Europe PMC
2004 | Published | Journal Article | IST-REx-ID: 12203
Liao, Z., Chen, M., Gong, Y., Guo, L., Tan, Q., Feng, X., … Tang, K. (2004). A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides. DNA Sequence. Informa UK Limited. https://doi.org/10.1080/10425170410001667348
View
| DOI
| PubMed | Europe PMC
2004 | Published | Journal Article | IST-REx-ID: 9493 |
Zilberman, D., Cao, X., Johansen, L. K., Xie, Z., Carrington, J. C., & Jacobsen, S. E. (2004). Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2004.06.055
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC