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.
5652 Publications
2009 | Published | Journal Article | IST-REx-ID: 9453 | 
Hsieh T-F, Ibarra CA, Silva P, Zemach A, Eshed-Williams L, Fischer RL, Zilberman D. 2009. Genome-wide demethylation of Arabidopsis endosperm. Science. 324(5933), 1451–1454.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 3870 |
Chatterjee K, Henzinger TA, Horn F. 2009. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 11(1), 1.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4545 |
Chatterjee K, Doyen L, Henzinger TA. 2009. A survey of stochastic games with limsup and liminf objectives. ICALP: Automata, Languages and Programming, LNCS, vol. 5556, 1–15.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4569 |
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643, 140–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
Tripakis S, Lickly B, Henzinger TA, Lee E. 2009. On relational interfaces. EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software. EMSOFT: Embedded Software , 67–76.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 171–180.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 244–258.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5395 |
Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.
[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, 17p.
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4542 |
Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699, 3–13.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Technical Report | IST-REx-ID: 5393 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p.
[Published Version]
View
| Files available
| DOI
2008 | Published | Journal Article | IST-REx-ID: 9537
Zilberman D. 2008. The evolving functions of DNA methylation. Current Opinion in Plant Biology. 11(5), 554–559.
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. 456(7218), 125–129.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2007 | Published | Journal Article | IST-REx-ID: 12201
Feng X, Dickinson HG. 2007. Packaging the male germline in plants. Trends in Genetics. 23(10), 503–510.
View
| DOI
| PubMed | Europe PMC
2007 | Published | Journal Article | IST-REx-ID: 9487 |
Penterman J, Zilberman D, Huh JH, Ballinger T, Henikoff S, Fischer RL. 2007. DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. 104(16), 6752–6757.
[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 Publishing Group,p.
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. 134(22), 3959–3965.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC