Guerraoui, R., Henzinger, T. A., Kapalka, M., &; Singh, V. (2010). Transactions in the jungle (pp. 263–272). Presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece: ACM.https://doi.org/10.1145/1810479.1810529 

Henzinger, T. A., Tomar, A., Singh, V., Wies, T., &; Zufferey, D. (2010). A marketplace for cloud resources (pp. 1–8). Presented at the EMSOFT: Embedded Software , Arizona, USA: ACM.https://doi.org/10.1145/1879021.1879022 

Doyen, L., Henzinger, T. A., Legay, A., &; Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE.https://doi.org/10.1109/ACSD.2010.26 

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2010). Quantitative Simulation Games. In Z. Manna &; D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli (Vol. 6200, pp. 42–60). Springer.https://doi.org/10.1007/978-3-642-13754-9_3 

Beyer, D., Henzinger, T. A., Théoduloz, G., &; Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum &; G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer.https://doi.org/10.1007/978-3-642-12029-9_19 

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-6(3:10)2010 

Barton, N. H., Kelleher, J., &; Etheridge, A. (2010). A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.1558-5646.2010.01019.x 

Alur, R., &; Cerny, P. (2010). Expressiveness of streaming string transducers (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1 

Cristau, J., David, C., &; Horn, F. (2010). How do we remember the past in randomised strategies? . In Proceedings of GandALF 2010 (Vol. 25, pp. 30–39). Minori, Amalfi Coast, Italy: Open Publishing Association.https://doi.org/10.4204/EPTCS.25.7 

Hoenicke, J., Leino, K., Podelski, A., Schäf, M., &; Wies, T. (2010). Doomed program points. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-010-0102-0 

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-642-15375-4_18 

Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., &; Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria.https://doi.org/10.15479/AT:IST-2010-0004 

Cerny, P., Henzinger, T. A., &; Radhakrishna, A. (2010). Simulation distances. IST Austria.https://doi.org/10.15479/AT:IST-2010-0003 

Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., &; Alur, R. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer.https://doi.org/10.1007/978-3-642-14295-6_41 

Chatterjee, K., Henzinger, T. A., Jobstmann, B., &; Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer.https://doi.org/10.1007/978-3-642-14295-6_57 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

Pflicke, H. (2010).   Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria.https://doi.org/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 

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 

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 

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 

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 

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 

Zilberman, D. (2007). The human promoter methylome. Nature Genetics (Vol. 39, pp. 442–443). Nature Publishing Group.https://doi.org/10.1038/ng0407-442 

Zilberman, D., &; Henikoff, S. (2007). Genome-wide analysis of DNA methylation patterns. Development. The Company of Biologists.https://doi.org/10.1242/dev.001131 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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