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.




3843 Publications

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,” 6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_18.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_19.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 10909
Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” In Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, 1594–1604. Society for Industrial and Applied Mathematics, 2010. https://doi.org/10.1137/1.9781611973075.129.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 10908 | OA
Blanc, Régis, Thomas A Henzinger, Thibaud Hottelier, and Laura Kovács. “ABC: Algebraic Bound Computation for Loops.” In Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, 6355:103–18. LNCS. Berlin, Heidelberg: Springer Nature, 2010. https://doi.org/10.1007/978-3-642-17511-4_7.
View | DOI | Download Submitted Version (ext.)
 
2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,” 5699:3–13. Springer, 2009. https://doi.org/10.1007/978-3-642-03409-1_2.
View | Files available | DOI
 
2009 | Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Stochastic Games with Finitary Objectives,” 5734:34–54. Springer, 2009. https://doi.org/10.1007/978-3-642-03816-7_4.
View | DOI
 
2009 | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,” 5556:1–15. Springer, 2009. https://doi.org/10.1007/978-3-642-02930-1_1.
View | Files available | DOI
 
2009 | Conference Paper | IST-REx-ID: 4569 | OA
Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,” 5643:140–56. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_14.
View | DOI | Download Preprint (ext.) | arXiv
 
2009 | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0004.
View | Files available | DOI
 
2009 | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. Gist: A Solver for Probabilistic Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0003.
View | Files available | DOI
 
2009 | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0002.
View | Files available | DOI
 
2009 | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0001.
View | Files available | DOI
 
2009 | Journal Article | IST-REx-ID: 9453 | OA
Hsieh, Tzung-Fu, Christian A. Ibarra, Pedro Silva, Assaf Zemach, Leor Eshed-Williams, Robert L. Fischer, and Daniel Zilberman. “Genome-Wide Demethylation of Arabidopsis Endosperm.” Science. American Association for the Advancement of Science, 2009. https://doi.org/10.1126/science.1172417.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2009 | Book Chapter | IST-REx-ID: 3675
Barton, Nicholas H. “Why Sex and Recombination? .” In Cold Spring Harbor Symposia on Quantitative Biology, 74:187–95. Cold Spring Harbor Laboratory Press, 2009. https://doi.org/10.1101/sqb.2009.74.030.
View | DOI
 
2009 | Journal Article | IST-REx-ID: 3775 | OA
Barton, Nicholas H, and Jason Coe. “On the Application of Statistical Physics to Evolutionary Biology.” Journal of Theoretical Biology. Elsevier, 2009. https://doi.org/10.1016/j.jtbi.2009.03.019.
View | DOI | Download Submitted Version (ext.)
 
2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison, Angus, Nicholas H Barton, and Bryan Clarke. “The Effect of Chirality Phenotype and Genotype on the Fecundity and Viability of Partula Suturalis and Lymnaea Stagnalis: Implications for the Evolution of Sinistral Snails.” Journal of Evolutionary Biology. Wiley, 2009. https://doi.org/10.1111/j.1420-9101.2009.01770.x.
View | Files available | DOI
 
2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “On Relational Interfaces.” In EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, 67–76. ACM, 2009. https://doi.org/10.1145/1629335.1629346.
View | Files available | DOI
 
2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models,” 5797:3–23. Springer, 2009. https://doi.org/10.1007/978-3-642-04420-5_2.
View | Files available | DOI
 
2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation,” 4:118–27. IEEE, 2009. https://doi.org/10.1109/HiBi.2009.23.
View | Files available | DOI
 
2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova. “Distributed, Modular HTL,” 171–80. IEEE, 2009. https://doi.org/10.1109/RTSS.2009.9.
View | Files available | DOI
 
2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL). ACM, 2009. https://doi.org/10.1145/1614431.1614432.
View | Files available | DOI
 
2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Probabilistic Weighted Automata,” 5710:244–58. Springer, 2009. https://doi.org/10.1007/978-3-642-04081-8_17.
View | Files available | DOI
 
2009 | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner, Herbert, and John Harer. “The Persistent Morse Complex Segmentation of a 3-Manifold,” 5903:36–50. Springer, 2009. https://doi.org/10.1007/978-3-642-10470-1_4.
View | Files available | DOI
 
2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova, Jitka, Nicholas H Barton, and Glenn Marion. “Species’ Range: Adaptation in Space and Time.” American Naturalist. University of Chicago Press, 2009. https://doi.org/10.1086/605958.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2009 | Journal Article | IST-REx-ID: 4231
Barton, Nicholas H, and Harold De Vladar. “Statistical Mechanics and the Evolution of Polygenic Quantitative Traits.” Genetics. Genetics Society of America, 2009. https://doi.org/10.1534/genetics.108.099309.
View | DOI
 
2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton, Nicholas H, and Maria De Cara. “The Evolution of Strong Reproductive Isolation.” Evolution; International Journal of Organic Evolution. Wiley, 2009. https://doi.org/10.1111/j.1558-5646.2009.00622.x.
View | Files available | DOI
 
2008 | Journal Article | IST-REx-ID: 517
Barton, Nicholas H. “Identity and Coalescence in Structured Populations: A Commentary on ‘Inbreeding Coefficients and Coalescence Times’ by Montgomery Slatkin.” Genetical Research. Cambridge University Press, 2008. https://doi.org/10.1017/S0016672308009683.
View | DOI
 
2008 | Journal Article | IST-REx-ID: 9457 | OA
Zilberman, Daniel, Devin Coleman-Derr, Tracy Ballinger, and Steven Henikoff. “Histone H2A.Z and DNA Methylation Are Mutually Antagonistic Chromatin Marks.” Nature. Springer Nature, 2008. https://doi.org/10.1038/nature07324.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2008 | Journal Article | IST-REx-ID: 9537
Zilberman, Daniel. “The Evolving Functions of DNA Methylation.” Current Opinion in Plant Biology. Elsevier , 2008. https://doi.org/10.1016/j.pbi.2008.07.004.
View | DOI | PubMed | Europe PMC
 
2007 | Journal Article | IST-REx-ID: 9487 | OA
Penterman, Jon, Daniel Zilberman, Jin Hoe Huh, Tracy Ballinger, Steven Henikoff, and Robert L. Fischer. “DNA Demethylation in the Arabidopsis Genome.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2007. https://doi.org/10.1073/pnas.0701861104.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2007 | Other Publication | IST-REx-ID: 9504
Zilberman, Daniel. The Human Promoter Methylome. Nature Genetics. Vol. 39. Nature Publishing Group, 2007. https://doi.org/10.1038/ng0407-442.
View | DOI | PubMed | Europe PMC
 
2007 | Journal Article | IST-REx-ID: 9524 | OA
Zilberman, Daniel, and Steven Henikoff. “Genome-Wide Analysis of DNA Methylation Patterns.” Development. The Company of Biologists, 2007. https://doi.org/10.1242/dev.001131.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2006 | Journal Article | IST-REx-ID: 9505
Zilberman, Daniel, Mary Gehring, Robert K. Tran, Tracy Ballinger, and Steven Henikoff. “Genome-Wide Analysis of Arabidopsis Thaliana DNA Methylation Uncovers an Interdependence between Methylation and Transcription.” Nature Genetics. Nature Publishing Group, 2006. https://doi.org/10.1038/ng1929.
View | DOI | PubMed | Europe PMC
 
2005 | Journal Article | IST-REx-ID: 9491 | OA
Tran, Robert K., Jorja G. Henikoff, Daniel Zilberman, Renata F. Ditt, Steven E. Jacobsen, and Steven Henikoff. “DNA Methylation Profiling Identifies CG Methylation Clusters in Arabidopsis Genes.” Current Biology. Elsevier, 2005. https://doi.org/10.1016/j.cub.2005.01.008.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2005 | Journal Article | IST-REx-ID: 9514 | OA
Tran, Robert K., Daniel Zilberman, Cecilia de Bustos, Renata F. Ditt, Jorja G. Henikoff, Anders M. Lindroth, Jeffrey Delrow, et al. “Chromatin and SiRNA Pathways Cooperate to Maintain DNA Methylation of Small Transposable Elements in Arabidopsis.” Genome Biology. Springer Nature, 2005. https://doi.org/10.1186/gb-2005-6-11-r90.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2005 | Journal Article | IST-REx-ID: 9529
Zilberman, Daniel, and Steven Henikoff. “Epigenetic Inheritance in Arabidopsis: Selective Silence.” Current Opinion in Genetics and Development. Elsevier, 2005. https://doi.org/10.1016/j.gde.2005.07.002.
View | DOI | PubMed | Europe PMC
 
2004 | Journal Article | IST-REx-ID: 9454
Chan, Simon W.-L., Daniel Zilberman, Zhixin Xie, Lisa K. Johansen, James C. Carrington, and Steven E. Jacobsen. “RNA Silencing Genes Control de Novo DNA Methylation.” Science. American Association for the Advancement of Science, 2004. https://doi.org/10.1126/science.1095989.
View | DOI | PubMed | Europe PMC
 
2004 | Journal Article | IST-REx-ID: 9493 | OA
Zilberman, Daniel, Xiaofeng Cao, Lisa K. Johansen, Zhixin Xie, James C. Carrington, and Steven E. Jacobsen. “Role of Arabidopsis ARGONAUTE4 in RNA-Directed DNA Methylation Triggered by Inverted Repeats.” Current Biology. Elsevier, 2004. https://doi.org/10.1016/j.cub.2004.06.055.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2004 | Journal Article | IST-REx-ID: 9511 | OA
Zilberman, Daniel, and Steven Henikoff. “Silencing of Transposons in Plant Genomes: Kick Them When They’re Down.” Genome Biology. Springer Nature, 2004. https://doi.org/10.1186/gb-2004-5-12-249.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2004 | Journal Article | IST-REx-ID: 9517 | OA
Xie, Zhixin, Lisa K. Johansen, Adam M. Gustafson, Kristin D. Kasschau, Andrew D. Lellis, Daniel Zilberman, Steven E. Jacobsen, and James C. Carrington. “Genetic and Functional Diversification of Small RNA Pathways in Plants.” PLoS Biology. Public Library of Science, 2004. https://doi.org/10.1371/journal.pbio.0020104.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2003 | Journal Article | IST-REx-ID: 9455
Zilberman, Daniel, Xiaofeng Cao, and Steven E. Jacobsen. “ARGONAUTE4 Control of Locus-Specific SiRNA Accumulation and DNA and Histone Methylation.” Science. American Association for the Advancement of Science, 2003. https://doi.org/10.1126/science.1079695.
View | DOI | PubMed | Europe PMC
 
2003 | Journal Article | IST-REx-ID: 9495 | OA
Cao, Xiaofeng, Werner Aufsatz, Daniel Zilberman, M.Florian Mette, Michael S. Huang, Marjori Matzke, and Steven E. Jacobsen. “Role of the DRM and CMT3 Methyltransferases in RNA-Directed DNA Methylation.” Current Biology. Elsevier, 2003. https://doi.org/10.1016/j.cub.2003.11.052.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2001 | Journal Article | IST-REx-ID: 9444
Lindroth, A. M., Xiaofeng Cao, James P. Jackson, Daniel Zilberman, Claire M. McCallum, Steven Henikoff, and Steven E. Jacobsen. “Requirement of CHROMOMETHYLASE3 for Maintenance of CpXpG Methylation.” Science. American Association for the Advancement of Science, 2001. https://doi.org/10.1126/science.1059745.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications