Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., &; Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria.https://doi.org/10.15479/AT:IST-2010-0001 
LibreCat: https://research-explorer.ista.ac.at/record/5391
DOI: 10.15479/AT:IST-2010-0001

Chatterjee, K., &; Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria.https://doi.org/10.15479/AT:IST-2010-0002 
LibreCat: https://research-explorer.ista.ac.at/record/5390
DOI: 10.15479/AT:IST-2010-0002

Chatterjee, K., &; Henzinger, T. A. (2010). Probabilistic Automata on infinite words: decidability and undecidability results (Vol. 6252, pp. 1–16). Presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore: Springer.https://doi.org/10.1007/978-3-642-15643-4_1 
LibreCat: https://research-explorer.ista.ac.at/record/3857
DOI: 10.1007/978-3-642-15643-4_1

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2010). Qualitative analysis of partially-observable Markov Decision Processes (Vol. 6281, pp. 258–269). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer.https://doi.org/10.1007/978-3-642-15155-2_24 
LibreCat: https://research-explorer.ista.ac.at/record/3855
DOI: 10.1007/978-3-642-15155-2_24

Zemach, A., Kim, M. Y., Silva, P., Rodrigues, J. A., Dotson, B., Brooks, M. D., &; Zilberman, D. (2010). Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1009695107 
LibreCat: https://research-explorer.ista.ac.at/record/9485
DOI: 10.1073/pnas.1009695107
PMID: 20937895

Zemach, A., &; Zilberman, D. (2010). Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2010.07.007 
LibreCat: https://research-explorer.ista.ac.at/record/9489
DOI: 10.1016/j.cub.2010.07.007
PMID: 20833323

Zemach, A., McDaniel, I. E., Silva, P., &; Zilberman, D. (2010). Genome-wide evolutionary analysis of eukaryotic DNA methylation. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1186366 
LibreCat: https://research-explorer.ista.ac.at/record/9452
DOI: 10.1126/science.1186366
PMID: 20395474 

Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., &; Coen, E. (2010). Cryptic variation between species and the basis of hybrid performance. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1000429 
LibreCat: https://research-explorer.ista.ac.at/record/3779
DOI: 10.1371/journal.pbio.1000429

Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., &; Coen, E. (2010). Heterosis and the drift load. Public Library of Science.https://doi.org/10.1371/journal.pbio.1000429.s003 
LibreCat: https://research-explorer.ista.ac.at/record/9764
DOI: 10.1371/journal.pbio.1000429.s003

Feng, X., &; Dickinson, H. G. (2010). Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. The Company of Biologists.https://doi.org/10.1242/dev.049320 
LibreCat: https://research-explorer.ista.ac.at/record/12199
DOI: 10.1242/dev.049320
PMID: 20570940

Feng, X., &; Dickinson, H. G. (2010). Cell–cell interactions during patterning of the Arabidopsis anther. Biochemical Society Transactions. Portland Press Ltd.https://doi.org/10.1042/bst0380571 
LibreCat: https://research-explorer.ista.ac.at/record/12200
DOI: 10.1042/bst0380571
PMID: 20298223

Chatterjee, K., &; Majumdar, R. (2010). Discounting in games across time scales (Vol. 25, pp. 22–29). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS.https://doi.org/10.4204/EPTCS.25.6 
LibreCat: https://research-explorer.ista.ac.at/record/3852
DOI: 10.4204/EPTCS.25.6
arXiv: 1006.1403

Pflicke, H. (2010).   Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/3962

Wies, T., Zufferey, D., &; Henzinger, T. A. (2010). Forward analysis of depth-bounded processes. In L. Ong (Ed.) (Vol. 6014, pp. 94–108). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus: Springer.https://doi.org/10.1007/978-3-642-12032-9_8 
LibreCat: https://research-explorer.ista.ac.at/record/4361
DOI: 10.1007/978-3-642-12032-9_8

Palero, F., Abello, P., Macpherson, E., Matthee, C., &; Pascual, M. (2010). Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata). Journal of Crustacean Biology. Oxford University Press.https://doi.org/10.1651/09-3192.1 
LibreCat: https://research-explorer.ista.ac.at/record/3785
DOI: 10.1651/09-3192.1

Schlögl, A., Vidaurre, C., &; Müller, K.-R. (2010). Adaptive Methods in BCI Research - An Introductory Tutorial. In B. Graimann, G. Pfurtscheller, &; B. Allison (Eds.), Brain-Computer Interfaces (1st ed., pp. 331–355). Berlin, Heidelberg: Springer.https://doi.org/10.1007/978-3-642-02091-9_18 
LibreCat: https://research-explorer.ista.ac.at/record/14983
DOI: 10.1007/978-3-642-02091-9_18

Davison, A., Barton, N. H., &; Clarke, B. (2009). 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.https://doi.org/10.1111/j.1420-9101.2009.01770.x 
LibreCat: https://research-explorer.ista.ac.at/record/3780
DOI: 10.1111/j.1420-9101.2009.01770.x

Didier, F., Henzinger, T. A., Mateescu, M., &; Wolf, V. (2009). Fast adaptive uniformization of the chemical master equation (Vol. 4, pp. 118–127). Presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy: IEEE.https://doi.org/10.1109/HiBi.2009.23 
LibreCat: https://research-explorer.ista.ac.at/record/3843
DOI: 10.1109/HiBi.2009.23

Henzinger, T. A., Jobstmann, B., &; Wolf, V. (2009). Formalisms for specifying Markovian population models (Vol. 5797, pp. 3–23). Presented at the RP: Reachability Problems, Palaiseau, France: Springer.https://doi.org/10.1007/978-3-642-04420-5_2 
LibreCat: https://research-explorer.ista.ac.at/record/3841
DOI: 10.1007/978-3-642-04420-5_2

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 
LibreCat: https://research-explorer.ista.ac.at/record/3844
DOI: 10.1109/RTSS.2009.9

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 
LibreCat: https://research-explorer.ista.ac.at/record/3871
DOI: 10.1007/978-3-642-04081-8_17

Chatterjee, K., Henzinger, T. A., &; Horn, F. (2009). Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/1614431.1614432 
LibreCat: https://research-explorer.ista.ac.at/record/3870
DOI: 10.1145/1614431.1614432

Polechova, J., Barton, N. H., &; Marion, G. (2009). Species’ range: Adaptation in space and time. American Naturalist. University of Chicago Press.https://doi.org/10.1086/605958 
LibreCat: https://research-explorer.ista.ac.at/record/4136
DOI: 10.1086/605958
PMID:  19788353

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 
LibreCat: https://research-explorer.ista.ac.at/record/4242
DOI: 10.1111/j.1558-5646.2009.00622.x

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 
LibreCat: https://research-explorer.ista.ac.at/record/3675
DOI: 10.1101/sqb.2009.74.030

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 
LibreCat: https://research-explorer.ista.ac.at/record/3775
DOI: 10.1016/j.jtbi.2009.03.019

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 
LibreCat: https://research-explorer.ista.ac.at/record/3837
DOI: 10.1145/1629335.1629346

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 
LibreCat: https://research-explorer.ista.ac.at/record/3968
DOI: 10.1007/978-3-642-10470-1_4

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 
LibreCat: https://research-explorer.ista.ac.at/record/4231
DOI: 10.1534/genetics.108.099309

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 
LibreCat: https://research-explorer.ista.ac.at/record/4542
DOI: 10.1007/978-3-642-03409-1_2

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 
LibreCat: https://research-explorer.ista.ac.at/record/4545
DOI: 10.1007/978-3-642-02930-1_1

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 
LibreCat: https://research-explorer.ista.ac.at/record/4543
DOI: 10.1007/978-3-642-03816-7_4

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 
LibreCat: https://research-explorer.ista.ac.at/record/4569
DOI: 10.1007/978-3-642-02658-4_14
arXiv: 0904.2638

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 
LibreCat: https://research-explorer.ista.ac.at/record/5393
DOI: 10.15479/AT:IST-2009-0003

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 
LibreCat: https://research-explorer.ista.ac.at/record/5394
DOI: 10.15479/AT:IST-2009-0002

Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria.https://doi.org/10.15479/AT:IST-2009-0004 
LibreCat: https://research-explorer.ista.ac.at/record/5392
DOI: 10.15479/AT:IST-2009-0004

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 
LibreCat: https://research-explorer.ista.ac.at/record/5395
DOI: 10.15479/AT:IST-2009-0001

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 
LibreCat: https://research-explorer.ista.ac.at/record/9453
DOI: 10.1126/science.1172417
PMID: 19520962

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 
LibreCat: https://research-explorer.ista.ac.at/record/9537
DOI: 10.1016/j.pbi.2008.07.004
PMID: 18774331

Zilberman, D., Coleman-Derr, D., Ballinger, T., &; Henikoff, S. (2008). Histone A.Z and DNA methylation are mutually antagonistic chromatin marks. Nature. Springer Nature.https://doi.org/10.1038/nature07324 
LibreCat: https://research-explorer.ista.ac.at/record/9457
DOI: 10.1038/nature07324
PMID: 18815594

Barton, N. H. (2008). Identity and coalescence in structured populations: A commentary on “Inbreeding coefficients and coalescence times”https://doi.org/10.1017/S0016672308009683__by Montgomery Slatkin. Genetics Research. Cambridge University Press.https://doi.org/10.1017/S0016672308009683 
LibreCat: https://research-explorer.ista.ac.at/record/517
DOI: 10.1017/S0016672308009683

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 
LibreCat: https://research-explorer.ista.ac.at/record/9487
DOI: 10.1073/pnas.0701861104
PMID: 17409185

Zilberman, D. (2007). The human promoter methylome. Nature Genetics (Vol. 39, pp. 442–443). Nature Publishing Group.https://doi.org/10.1038/ng0407-442 
LibreCat: https://research-explorer.ista.ac.at/record/9504
DOI: 10.1038/ng0407-442
PMID: 17392803

Zilberman, D., &; Henikoff, S. (2007). Genome-wide analysis of DNA methylation patterns. Development. The Company of Biologists.https://doi.org/10.1242/dev.001131 
LibreCat: https://research-explorer.ista.ac.at/record/9524
DOI: 10.1242/dev.001131
PMID: 17928417

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 
LibreCat: https://research-explorer.ista.ac.at/record/12201
DOI: 10.1016/j.tig.2007.08.005
PMID: 17825943

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 
LibreCat: https://research-explorer.ista.ac.at/record/9505
DOI: 10.1038/ng1929
PMID: 17128275

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 
LibreCat: https://research-explorer.ista.ac.at/record/9491
DOI: 10.1016/j.cub.2005.01.008
PMID: 15668172 

Tran, R. K., Zilberman, D., de Bustos, C., Ditt, R. F., Henikoff, J. G., Lindroth, A. M.,https://doi.org/10.1186/gb-2005-6-11-r90__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 
LibreCat: https://research-explorer.ista.ac.at/record/9514
DOI: 10.1186/gb-2005-6-11-r90
PMID: 16277745

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 
LibreCat: https://research-explorer.ista.ac.at/record/9529
DOI: 10.1016/j.gde.2005.07.002
PMID: 16085410

Zilberman, D., Cao, X., Johansen, L. K., Xie, Z., Carrington, J. C., &; Jacobsen, S. E. (2004). Role of Arabidopsis ARGONAUT in RNA-directed DNA methylation triggered by inverted repeats. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2004.06.055 
LibreCat: https://research-explorer.ista.ac.at/record/9493
DOI: 10.1016/j.cub.2004.06.055
PMID: 15242620 

Xie, Z., Johansen, L. K., Gustafson, A. M., Kasschau, K. D., Lellis, A. D., Zilberman, D.,https://doi.org/10.1371/journal.pbio.0020104__Carrington, J. C. (2004). Genetic and functional diversification of small RNA pathways in plants. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.0020104 
LibreCat: https://research-explorer.ista.ac.at/record/9517
DOI: 10.1371/journal.pbio.0020104
PMID: 15024409

Zilberman, D., &; Henikoff, S. (2004). Silencing of transposons in plant genomes: kick them when they’re down. Genome Biology. Springer Nature.https://doi.org/10.1186/gb-2004-5-12-249 
LibreCat: https://research-explorer.ista.ac.at/record/9511
DOI: 10.1186/gb-2004-5-12-249
PMID: 15575975

Chan, S. W.-L., Zilberman, D., Xie,https://doi.org/10.1126/science.1095989__Zhixin, Johansen,https://doi.org/10.1126/science.1095989__Lisa K., Carrington, J. C., &; Jacobsen, S. E. (2004). RNA silencing genes control de novo DNA methylation. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1095989 
LibreCat: https://research-explorer.ista.ac.at/record/9454
DOI: 10.1126/science.1095989
PMID: 14988555

Liao, Z., Chen, M., Gong, Y., Guo, L., Tan, Q., Feng, X.,https://doi.org/10.1080/10425170410001667348__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 
LibreCat: https://research-explorer.ista.ac.at/record/12203
DOI: 10.1080/10425170410001667348
PMID: 15352294

Cao, X., Aufsatz, W., Zilberman, D., Mette, M. F., Huang, M. S., Matzke, M., &; Jacobsen, S. E. (2003). Role of the DRM and CM methyltransferases in RNA-directed DNA methylation. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2003.11.052 
LibreCat: https://research-explorer.ista.ac.at/record/9495
DOI: 10.1016/j.cub.2003.11.052
PMID: 14680640

Zilberman, D., Cao,https://doi.org/10.1126/science.1079695__Xiaofeng, &; Jacobsen, S. E. (2003). ARGONAUT control of locus-specific siRNA accumulation and DNA and histone methylation. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1079695 
LibreCat: https://research-explorer.ista.ac.at/record/9455
DOI: 10.1126/science.1079695
PMID: 12522258

Lindroth, A. M., Cao, X., Jackson, J. P., Zilberman, D., McCallum, C. M., Henikoff, S., &; Jacobsen, S. E. (2001). Requirement of CHROMOMETHYLAS for maintenance of CpXpG methylation. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1059745 
LibreCat: https://research-explorer.ista.ac.at/record/9444
DOI: 10.1126/science.1059745
PMID: 11349138