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.
5307 Publications
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
[Submitted Version]
View
| Files available
| DOI
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
2009 | Published | Conference Paper | IST-REx-ID: 3841 |
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
2009 | Published | Conference Paper | IST-REx-ID: 3843 |
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
[Submitted Version]
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
2009 | Published | Journal Article | IST-REx-ID: 3870 |
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
2009 | Published | Conference Paper | IST-REx-ID: 3968 |
The persistent Morse complex segmentation of a 3-manifold
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
2009 | Published | Journal Article | IST-REx-ID: 4136 |
Species' range: Adaptation in space and time
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
2008 | Published | Journal Article | IST-REx-ID: 9537
The evolving functions of DNA methylation
D. Zilberman, Current Opinion in Plant Biology 11 (2008) 554–559.
View
| DOI
| PubMed | Europe PMC
D. Zilberman, Current Opinion in Plant Biology 11 (2008) 554–559.
2008 | Published | Journal Article | IST-REx-ID: 9457 |
Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks
D. Zilberman, D. Coleman-Derr, T. Ballinger, S. Henikoff, Nature 456 (2008) 125–129.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
D. Zilberman, D. Coleman-Derr, T. Ballinger, S. Henikoff, Nature 456 (2008) 125–129.
2008 | Published | Journal Article | IST-REx-ID: 517
Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin
N.H. Barton, Genetics Research 89 (2008) 475–477.
View
| DOI
N.H. Barton, Genetics Research 89 (2008) 475–477.
2007 | Published | Journal Article | IST-REx-ID: 9487 |
DNA demethylation in the Arabidopsis genome
J. Penterman, D. Zilberman, J.H. Huh, T. Ballinger, S. Henikoff, R.L. Fischer, Proceedings of the National Academy of Sciences 104 (2007) 6752–6757.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Penterman, D. Zilberman, J.H. Huh, T. Ballinger, S. Henikoff, R.L. Fischer, Proceedings of the National Academy of Sciences 104 (2007) 6752–6757.
2007 | Published | Other Publication | IST-REx-ID: 9504
The human promoter methylome
D. Zilberman, The Human Promoter Methylome, Nature Publishing Group, 2007.
View
| DOI
| PubMed | Europe PMC
D. Zilberman, The Human Promoter Methylome, Nature Publishing Group, 2007.
2007 | Published | Journal Article | IST-REx-ID: 9524 |
Genome-wide analysis of DNA methylation patterns
D. Zilberman, S. Henikoff, Development 134 (2007) 3959–3965.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Zilberman, S. Henikoff, Development 134 (2007) 3959–3965.
2007 | Published | Journal Article | IST-REx-ID: 12201
Packaging the male germline in plants
X. Feng, H.G. Dickinson, Trends in Genetics 23 (2007) 503–510.
View
| DOI
| PubMed | Europe PMC
X. Feng, H.G. Dickinson, Trends in Genetics 23 (2007) 503–510.
2006 | Published | Journal Article | IST-REx-ID: 9505
Genome-wide analysis of Arabidopsis thaliana DNA methylation uncovers an interdependence between methylation and transcription
D. Zilberman, M. Gehring, R.K. Tran, T. Ballinger, S. Henikoff, Nature Genetics 39 (2006) 61–69.
View
| DOI
| PubMed | Europe PMC
D. Zilberman, M. Gehring, R.K. Tran, T. Ballinger, S. Henikoff, Nature Genetics 39 (2006) 61–69.
2005 | Published | Journal Article | IST-REx-ID: 9491 |
DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes
R.K. Tran, J.G. Henikoff, D. Zilberman, R.F. Ditt, S.E. Jacobsen, S. Henikoff, Current Biology 15 (2005) 154–159.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.K. Tran, J.G. Henikoff, D. Zilberman, R.F. Ditt, S.E. Jacobsen, S. Henikoff, Current Biology 15 (2005) 154–159.
2005 | Published | Journal Article | IST-REx-ID: 9514 |
Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis
R.K. Tran, D. Zilberman, C. de Bustos, R.F. Ditt, J.G. Henikoff, A.M. Lindroth, J. Delrow, T. Boyle, S. Kwong, T.D. Bryson, S.E. Jacobsen, S. Henikoff, Genome Biology 6 (2005).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.K. Tran, D. Zilberman, C. de Bustos, R.F. Ditt, J.G. Henikoff, A.M. Lindroth, J. Delrow, T. Boyle, S. Kwong, T.D. Bryson, S.E. Jacobsen, S. Henikoff, Genome Biology 6 (2005).
2005 | Published | Journal Article | IST-REx-ID: 9529
Epigenetic inheritance in Arabidopsis: Selective silence
D. Zilberman, S. Henikoff, Current Opinion in Genetics and Development 15 (2005) 557–562.
View
| DOI
| PubMed | Europe PMC
D. Zilberman, S. Henikoff, Current Opinion in Genetics and Development 15 (2005) 557–562.
2004 | Published | Journal Article | IST-REx-ID: 9493 |
Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats
D. Zilberman, X. Cao, L.K. Johansen, Z. Xie, J.C. Carrington, S.E. Jacobsen, Current Biology 14 (2004) 1214–1220.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Zilberman, X. Cao, L.K. Johansen, Z. Xie, J.C. Carrington, S.E. Jacobsen, Current Biology 14 (2004) 1214–1220.