Henzinger, Thomas A. “From Boolean to Quantitative Notions of Correctness,”https://doi.org/10.1145/1706299.1706319__45:157–58. ACM, 2010.https://doi.org/10.1145/1706299.1706319 .
LibreCat: https://research-explorer.ista.ac.at/record/3840
DOI: 10.1145/1706299.1706319

Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrei Voronkov. “Invariant and Type Inference for Matrices,”https://doi.org/10.1007/978-3-642-11319-2_14__5944:163–79. Springer, 2010.https://doi.org/10.1007/978-3-642-11319-2_14 .
LibreCat: https://research-explorer.ista.ac.at/record/3839
DOI: 10.1007/978-3-642-11319-2_14

Henzinger, Thomas A, Maria Mateescu, Linar Mikeev, and Verena Wolf. “Hybrid Numerical Solution of the Chemical Master Equation,”https://doi.org/10.1145/1839764.1839772__55–65. Springer, 2010.https://doi.org/10.1145/1839764.1839772 .
LibreCat: https://research-explorer.ista.ac.at/record/3838
DOI: 10.1145/1839764.1839772

Chatterjee, Krishnendu, Laurent Doyen, Herbert Edelsbrunner, Thomas A Henzinger, and Philippe Rannou. “Mean-Payoff Automaton Expressions,”https://doi.org/10.1007/978-3-642-15375-4_19__6269:269–83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_19 .
LibreCat: https://research-explorer.ista.ac.at/record/3853
DOI: 10.1007/978-3-642-15375-4_19

Bendich, Paul, Herbert Edelsbrunner, Michael Kerber, and Amit Patel. “Persistent Homology under Non-Uniform Error,”https://doi.org/10.1007/978-3-642-15155-2_2__6281:12–23. Springer, 2010.https://doi.org/10.1007/978-3-642-15155-2_2 .
LibreCat: https://research-explorer.ista.ac.at/record/3849
DOI: 10.1007/978-3-642-15155-2_2

Chatterjee, Krishnendu, Florian Horn, and Christof Löding. “Obliging Games,”https://doi.org/10.1007/978-3-642-15375-4_20__6269:284–96. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_20 .
LibreCat: https://research-explorer.ista.ac.at/record/3854
DOI: 10.1007/978-3-642-15375-4_20

Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games,”https://doi.org/10.1007/978-3-642-14162-1_50__6199:599–610. Springer, 2010.https://doi.org/10.1007/978-3-642-14162-1_50 .
LibreCat: https://research-explorer.ista.ac.at/record/3851
DOI: 10.1007/978-3-642-14162-1_50
arXiv: 1001.5183

Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Polygonal Reconstruction from Approximate Offsets,” 12–23. TU Dortmund, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3850

Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Generalized Mean-Payoff and Energy Games,”https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505__8:505–16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505 .
LibreCat: https://research-explorer.ista.ac.at/record/3860
DOI: 10.4230/LIPIcs.FSTTCS.2010.505

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments,”https://doi.org/10.1007/978-3-642-14295-6_34__6174:380–95. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_34 .
LibreCat: https://research-explorer.ista.ac.at/record/3864
DOI: 10.1007/978-3-642-14295-6_34

Chatterjee, Krishnendu, Luca De Alfaro, Vishwanath Raman, and César Sánchez. “Analyzing the Impact of Change in Multi-Threaded Programs.”https://doi.org/10.1007/978-3-642-12029-9_21__edited by David Rosenblum and Gabriele Taenzer, 6013:293–307. Springer, 2010.https://doi.org/10.1007/978-3-642-12029-9_21 .
LibreCat: https://research-explorer.ista.ac.at/record/3865
DOI: 10.1007/978-3-642-12029-9_21

Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Strategy Construction for Parity Games with Imperfect Information.”https://doi.org/10.1016/j.ic.2009.09.006__Information and Computation. Elsevier, 2010.https://doi.org/10.1016/j.ic.2009.09.006 .
LibreCat: https://research-explorer.ista.ac.at/record/3863
DOI: 10.1016/j.ic.2009.09.006

Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic.”https://doi.org/10.1016/j.ic.2009.07.004__Information and Computation. Elsevier, 2010.https://doi.org/10.1016/j.ic.2009.07.004 .
LibreCat: https://research-explorer.ista.ac.at/record/3861
DOI: 10.1016/j.ic.2009.07.004

Bendich, Paul, Herbert Edelsbrunner, and Michael Kerber. “Computing Robustness and Persistence for Images.”https://doi.org/10.1109/TVCG.2010.139__IEEE Transactions of Visualization and Computer Graphics. IEEE, 2010.https://doi.org/10.1109/TVCG.2010.139 .
LibreCat: https://research-explorer.ista.ac.at/record/3901
DOI: 10.1109/TVCG.2010.139

Papusheva, Ekaterina, and Carl-Philipp J Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.”https://doi.org/10.1038/emboj.2010.182__EMBO Journal. Wiley-Blackwell, 2010.https://doi.org/10.1038/emboj.2010.182 .
LibreCat: https://research-explorer.ista.ac.at/record/4157
DOI: 10.1038/emboj.2010.182
PMID: 20717145

Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.”https://doi.org/10.1515/9783110232103__In Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, 5–20. Bibliotheks- Und Informationspraxis 41. De Gruyter, 2010.https://doi.org/10.1515/9783110232103 .
LibreCat: https://research-explorer.ista.ac.at/record/4339
DOI: 10.1515/9783110232103

Singh, Vasu. “Runtime Verification for Software Transactional Memories.”https://doi.org/10.1007/978-3-642-16612-9_32__edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010.https://doi.org/10.1007/978-3-642-16612-9_32 .
LibreCat: https://research-explorer.ista.ac.at/record/4362
DOI: 10.1007/978-3-642-16612-9_32

Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.”https://doi.org/10.1007/978-3-642-11319-2_6__edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010.https://doi.org/10.1007/978-3-642-11319-2_6 .
LibreCat: https://research-explorer.ista.ac.at/record/4378
DOI: 10.1007/978-3-642-11319-2_6

Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment,”https://doi.org/10.1109/CLOUD.2010.71__83–90. IEEE, 2010.https://doi.org/10.1109/CLOUD.2010.71 .
LibreCat: https://research-explorer.ista.ac.at/record/4381
DOI: 10.1109/CLOUD.2010.71

Guerraoui, Rachid, Thomas A Henzinger, Michal Kapalka, and Vasu Singh. “Transactions in the Jungle,”https://doi.org/10.1145/1810479.1810529__263–72. ACM, 2010.https://doi.org/10.1145/1810479.1810529 .
LibreCat: https://research-explorer.ista.ac.at/record/4382
DOI: 10.1145/1810479.1810529

Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,”https://doi.org/10.1145/1879021.1879022__1–8. ACM, 2010.https://doi.org/10.1145/1879021.1879022 .
LibreCat: https://research-explorer.ista.ac.at/record/4380
DOI: 10.1145/1879021.1879022

Doyen, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,”https://doi.org/10.1109/ACSD.2010.26__77–84. IEEE, 2010.https://doi.org/10.1109/ACSD.2010.26 .
LibreCat: https://research-explorer.ista.ac.at/record/4389
DOI: 10.1109/ACSD.2010.26

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Simulation Games.”https://doi.org/10.1007/978-3-642-13754-9_3__In Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, 6200:42–60. Essays in Memory of Amir Pnueli. Springer, 2010.https://doi.org/10.1007/978-3-642-13754-9_3 .
LibreCat: https://research-explorer.ista.ac.at/record/4392
DOI: 10.1007/978-3-642-13754-9_3

Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.”https://doi.org/10.1007/978-3-642-12029-9_19__edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010.https://doi.org/10.1007/978-3-642-12029-9_19 .
LibreCat: https://research-explorer.ista.ac.at/record/4396
DOI: 10.1007/978-3-642-12029-9_19

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.”https://doi.org/10.2168/LMCS-6(3:10)2010__Logical Methods in Computer Science. International Federation of Computational Logic, 2010.https://doi.org/10.2168/LMCS-6(3:10)2010 .
LibreCat: https://research-explorer.ista.ac.at/record/3867
DOI: 10.2168/LMCS-6(3:10)2010

Barton, Nicholas H, Jerome Kelleher, and Alison Etheridge. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.”https://doi.org/10.1111/j.1558-5646.2010.01019.x__Evolution. Wiley-Blackwell, 2010.https://doi.org/10.1111/j.1558-5646.2010.01019.x .
LibreCat: https://research-explorer.ista.ac.at/record/474
DOI: 10.1111/j.1558-5646.2010.01019.x

Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,”https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1__8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1 .
LibreCat: https://research-explorer.ista.ac.at/record/488
DOI: 10.4230/LIPIcs.FSTTCS.2010.1

Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .”https://doi.org/10.4204/EPTCS.25.7__In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010.https://doi.org/10.4204/EPTCS.25.7 .
LibreCat: https://research-explorer.ista.ac.at/record/489
DOI: 10.4204/EPTCS.25.7

Hoenicke, Jochen, Kari Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “Doomed Program Points.”https://doi.org/10.1007/s10703-010-0102-0__Formal Methods in System Design. Springer, 2010.https://doi.org/10.1007/s10703-010-0102-0 .
LibreCat: https://research-explorer.ista.ac.at/record/533
DOI: 10.1007/s10703-010-0102-0

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,”https://doi.org/10.1007/978-3-642-15375-4_18__6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_18 .
LibreCat: https://research-explorer.ista.ac.at/record/4393
DOI: 10.1007/978-3-642-15375-4_18

Chatterjee, Krishnendu, Pavol Cerny, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0004 .
LibreCat: https://research-explorer.ista.ac.at/record/5388
DOI: 10.15479/AT:IST-2010-0004

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation Distances. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0003 .
LibreCat: https://research-explorer.ista.ac.at/record/5389
DOI: 10.15479/AT:IST-2010-0003

Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,”https://doi.org/10.1007/978-3-642-14295-6_41__6174:465–79. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_41 .
LibreCat: https://research-explorer.ista.ac.at/record/4390
DOI: 10.1007/978-3-642-14295-6_41

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,”https://doi.org/10.1007/978-3-642-14295-6_57__6174:665–69. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_57 .
LibreCat: https://research-explorer.ista.ac.at/record/4388
DOI: 10.1007/978-3-642-14295-6_57
arXiv: 1004.2367

Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010.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, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010.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, Krishnendu, and Thomas A Henzinger. “Probabilistic Automata on Infinite Words: Decidability and Undecidability Results,”https://doi.org/10.1007/978-3-642-15643-4_1__6252:1–16. Springer, 2010.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, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Qualitative Analysis of Partially-Observable Markov Decision Processes,”https://doi.org/10.1007/978-3-642-15155-2_24__6281:258–69. Springer, 2010.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, Assaf, M. Yvonne Kim, Pedro Silva, Jessica A. Rodrigues, Bradley Dotson, Matthew D. Brooks, and Daniel Zilberman. “Local DNA Hypomethylation Activates Genes in Rice Endosperm.”https://doi.org/10.1073/pnas.1009695107__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2010.https://doi.org/10.1073/pnas.1009695107 .
LibreCat: https://research-explorer.ista.ac.at/record/9485
DOI: 10.1073/pnas.1009695107
PMID: 20937895

Zemach, Assaf, and Daniel Zilberman. “Evolution of Eukaryotic DNA Methylation and the Pursuit of Safer Sex.”https://doi.org/10.1016/j.cub.2010.07.007__Current Biology. Elsevier, 2010.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, Assaf , Ivy E. McDaniel, Pedro Silva, and Daniel Zilberman. “Genome-Wide Evolutionary Analysis of Eukaryotic DNA Methylation.”https://doi.org/10.1126/science.1186366__Science. American Association for the Advancement of Science, 2010.https://doi.org/10.1126/science.1186366 .
LibreCat: https://research-explorer.ista.ac.at/record/9452
DOI: 10.1126/science.1186366
PMID: 20395474 

Rosas, Ulises, Nicholas H Barton, Lucy Copsey, Pierre Barbier De Reuille, and Enrico Coen. “Cryptic Variation between Species and the Basis of Hybrid Performance.”https://doi.org/10.1371/journal.pbio.1000429__PLoS Biology. Public Library of Science, 2010.https://doi.org/10.1371/journal.pbio.1000429 .
LibreCat: https://research-explorer.ista.ac.at/record/3779
DOI: 10.1371/journal.pbio.1000429

Rosas, Ulises, Nicholas H Barton, Lucy Copsey, Pierre Barbier De Reuille, and Enrico Coen. “Heterosis and the Drift Load.”https://doi.org/10.1371/journal.pbio.1000429.s003__Public Library of Science, 2010.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, Xiaoqi, and Hugh G. Dickinson. “Tapetal Cell Fate, Lineage and Proliferation in the Arabidopsis Anther.”https://doi.org/10.1242/dev.049320__Development. The Company of Biologists, 2010.https://doi.org/10.1242/dev.049320 .
LibreCat: https://research-explorer.ista.ac.at/record/12199
DOI: 10.1242/dev.049320
PMID: 20570940

Feng, Xiaoqi, and Hugh G. Dickinson. “Cell–Cell Interactions during Patterning of the Arabidopsis Anther.”https://doi.org/10.1042/bst0380571__Biochemical Society Transactions. Portland Press Ltd., 2010.https://doi.org/10.1042/bst0380571 .
LibreCat: https://research-explorer.ista.ac.at/record/12200
DOI: 10.1042/bst0380571
PMID: 20298223

Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting in Games across Time Scales,”https://doi.org/10.4204/EPTCS.25.6__25:22–29. EPTCS, 2010.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, Holger. “  Dendritic Cell Migration across Basement Membranes in the Skin.” Institute of Science and Technology Austria, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3962

Wies, Thomas, Damien Zufferey, and Thomas A Henzinger. “Forward Analysis of Depth-Bounded Processes.”https://doi.org/10.1007/978-3-642-12032-9_8__edited by Luke Ong, 6014:94–108. Springer, 2010.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, Ferran, Pere Abello, E. Macpherson, C. Matthee, and Marta Pascual. “Genetic Diversity Levels in Fishery-Exploited Spiny Lobsters of the Genus Palinurus (Decapoda: Achelata).”https://doi.org/10.1651/09-3192.1__Journal of Crustacean Biology. Oxford University Press, 2010.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, Alois, Carmen Vidaurre, and Klaus-Robert Müller. “Adaptive Methods in BCI Research - An Introductory Tutorial.”https://doi.org/10.1007/978-3-642-02091-9_18__In Brain-Computer Interfaces, edited by Bernhard Graimann, Gert Pfurtscheller, and Brendan Allison, 1st ed., 331–55. FRONTCOLL. Berlin, Heidelberg: Springer, 2010.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, 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.”https://doi.org/10.1111/j.1420-9101.2009.01770.x__Journal of Evolutionary Biology. Wiley, 2009.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, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation,”https://doi.org/10.1109/HiBi.2009.23__4:118–27. IEEE, 2009.https://doi.org/10.1109/HiBi.2009.23 .
LibreCat: https://research-explorer.ista.ac.at/record/3843
DOI: 10.1109/HiBi.2009.23

Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models,”https://doi.org/10.1007/978-3-642-04420-5_2__5797:3–23. Springer, 2009.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, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova. “Distributed, Modular HTL,”https://doi.org/10.1109/RTSS.2009.9__171–80. IEEE, 2009.https://doi.org/10.1109/RTSS.2009.9 .
LibreCat: https://research-explorer.ista.ac.at/record/3844
DOI: 10.1109/RTSS.2009.9

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Probabilistic Weighted Automata,”https://doi.org/10.1007/978-3-642-04081-8_17__5710:244–58. Springer, 2009.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, Krishnendu, Thomas A Henzinger, and Florian Horn. “Finitary Winning in Omega-Regular Games.”https://doi.org/10.1145/1614431.1614432__ACM Transactions on Computational Logic (TOCL). ACM, 2009.https://doi.org/10.1145/1614431.1614432 .
LibreCat: https://research-explorer.ista.ac.at/record/3870
DOI: 10.1145/1614431.1614432

Polechova, Jitka, Nicholas H Barton, and Glenn Marion. “Species’ Range: Adaptation in Space and Time.”https://doi.org/10.1086/605958__American Naturalist. University of Chicago Press, 2009.https://doi.org/10.1086/605958 .
LibreCat: https://research-explorer.ista.ac.at/record/4136
DOI: 10.1086/605958
PMID:  19788353

Barton, Nicholas H, and Maria De Cara. “The Evolution of Strong Reproductive Isolation.”https://doi.org/10.1111/j.1558-5646.2009.00622.x__Evolution; International Journal of Organic Evolution. Wiley, 2009.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, Nicholas H. “Why Sex and Recombination? .”https://doi.org/10.1101/sqb.2009.74.030__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 .
LibreCat: https://research-explorer.ista.ac.at/record/3675
DOI: 10.1101/sqb.2009.74.030

Barton, Nicholas H, and Jason Coe. “On the Application of Statistical Physics to Evolutionary Biology.”https://doi.org/10.1016/j.jtbi.2009.03.019__Journal of Theoretical Biology. Elsevier, 2009.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, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “On Relational Interfaces.”https://doi.org/10.1145/1629335.1629346__In EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, 67–76. ACM, 2009.https://doi.org/10.1145/1629335.1629346 .
LibreCat: https://research-explorer.ista.ac.at/record/3837
DOI: 10.1145/1629335.1629346

Edelsbrunner, Herbert, and John Harer. “The Persistent Morse Complex Segmentation of a 3-Manifold,”https://doi.org/10.1007/978-3-642-10470-1_4__5903:36–50. Springer, 2009.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, Nicholas H, and Harold De Vladar. “Statistical Mechanics and the Evolution of Polygenic Quantitative Traits.”https://doi.org/10.1534/genetics.108.099309__Genetics. Genetics Society of America, 2009.https://doi.org/10.1534/genetics.108.099309 .
LibreCat: https://research-explorer.ista.ac.at/record/4231
DOI: 10.1534/genetics.108.099309

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,”https://doi.org/10.1007/978-3-642-03409-1_2__5699:3–13. Springer, 2009.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, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,”https://doi.org/10.1007/978-3-642-02930-1_1__5556:1–15. Springer, 2009.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, Krishnendu, Thomas A Henzinger, and Florian Horn. “Stochastic Games with Finitary Objectives,”https://doi.org/10.1007/978-3-642-03816-7_4__5734:34–54. Springer, 2009.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, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,”https://doi.org/10.1007/978-3-642-02658-4_14__5643:140–56. Springer, 2009.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, 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5393
DOI: 10.15479/AT:IST-2009-0003

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

Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009.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, 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 .
LibreCat: https://research-explorer.ista.ac.at/record/5395
DOI: 10.15479/AT:IST-2009-0001

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.”https://doi.org/10.1126/science.1172417__Science. American Association for the Advancement of Science, 2009.https://doi.org/10.1126/science.1172417 .
LibreCat: https://research-explorer.ista.ac.at/record/9453
DOI: 10.1126/science.1172417
PMID: 19520962

Zilberman, Daniel. “The Evolving Functions of DNA Methylation.”https://doi.org/10.1016/j.pbi.2008.07.004__Current Opinion in Plant Biology. Elsevier , 2008.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, Daniel, Devin Coleman-Derr, Tracy Ballinger, and Steven Henikoff. “Histone A.Z and DNA Methylation Are Mutually Antagonistic Chromatin Marks.”https://doi.org/10.1038/nature07324__Nature. Springer Nature, 2008.https://doi.org/10.1038/nature07324 .
LibreCat: https://research-explorer.ista.ac.at/record/9457
DOI: 10.1038/nature07324
PMID: 18815594

Barton, Nicholas H. “Identity and Coalescence in Structured Populations: A Commentary on ‘Inbreeding Coefficients and Coalescence Times’ by Montgomery Slatkin.”https://doi.org/10.1017/S0016672308009683__Genetics Research. Cambridge University Press, 2008.https://doi.org/10.1017/S0016672308009683 .
LibreCat: https://research-explorer.ista.ac.at/record/517
DOI: 10.1017/S0016672308009683

Penterman, Jon, Daniel Zilberman, Jin Hoe Huh, Tracy Ballinger, Steven Henikoff, and Robert L. Fischer. “DNA Demethylation in the Arabidopsis Genome.”https://doi.org/10.1073/pnas.0701861104__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2007.https://doi.org/10.1073/pnas.0701861104 .
LibreCat: https://research-explorer.ista.ac.at/record/9487
DOI: 10.1073/pnas.0701861104
PMID: 17409185

Zilberman, Daniel. The Human Promoter Methylome. Nature Genetics. Vol. 39. Nature Publishing Group, 2007.https://doi.org/10.1038/ng0407-442 .
LibreCat: https://research-explorer.ista.ac.at/record/9504
DOI: 10.1038/ng0407-442
PMID: 17392803

Zilberman, Daniel, and Steven Henikoff. “Genome-Wide Analysis of DNA Methylation Patterns.”https://doi.org/10.1242/dev.001131__Development. The Company of Biologists, 2007.https://doi.org/10.1242/dev.001131 .
LibreCat: https://research-explorer.ista.ac.at/record/9524
DOI: 10.1242/dev.001131
PMID: 17928417

Feng, Xiaoqi, and Hugh G. Dickinson. “Packaging the Male Germline in Plants.”https://doi.org/10.1016/j.tig.2007.08.005__Trends in Genetics. Elsevier BV, 2007.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, 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.”https://doi.org/10.1038/ng1929__Nature Genetics. Nature Publishing Group, 2006.https://doi.org/10.1038/ng1929 .
LibreCat: https://research-explorer.ista.ac.at/record/9505
DOI: 10.1038/ng1929
PMID: 17128275

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.”https://doi.org/10.1016/j.cub.2005.01.008__Current Biology. Elsevier, 2005.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, 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.”https://doi.org/10.1186/gb-2005-6-11-r90__Genome Biology. Springer Nature, 2005.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, Daniel, and Steven Henikoff. “Epigenetic Inheritance in Arabidopsis: Selective Silence.”https://doi.org/10.1016/j.gde.2005.07.002__Current Opinion in Genetics and Development. Elsevier, 2005.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, Daniel, Xiaofeng Cao, Lisa K. Johansen, Zhixin Xie, James C. Carrington, and Steven E. Jacobsen. “Role of Arabidopsis ARGONAUT in RNA-Directed DNA Methylation Triggered by Inverted Repeats.”https://doi.org/10.1016/j.cub.2004.06.055__Current Biology. Elsevier, 2004.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, Zhixin, Lisa K. Johansen, Adam M. Gustafson, Kristin D. Kasschau, Andrew D.https://doi.org/10.1371/journal.pbio.0020104__Lellis, Daniel Zilberman, Steven E. Jacobsen, and James C. Carrington. “Genetic and Functional Diversification of Small RNA Pathways in Plants.”https://doi.org/10.1371/journal.pbio.0020104__PLoS Biology. Public Library of Science, 2004.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, Daniel, and Steven Henikoff. “Silencing of Transposons in Plant Genomes: Kick Them When They’re Down.”https://doi.org/10.1186/gb-2004-5-12-249__Genome Biology. Springer Nature, 2004.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, Simon W.-L., Daniel Zilberman,https://doi.org/10.1126/science.1095989__Zhixin Xie,https://doi.org/10.1126/science.1095989__Lisa K. Johansen, James C. Carrington, and Steven E. Jacobsen. “RNA Silencing Genes Control de Novo DNA Methylation.”https://doi.org/10.1126/science.1095989__Science. American Association for the Advancement of Science, 2004.https://doi.org/10.1126/science.1095989 .
LibreCat: https://research-explorer.ista.ac.at/record/9454
DOI: 10.1126/science.1095989
PMID: 14988555

Liao, Zhihua, Min Chen, Yifu Gong, Liang Guo, Qiumin Tan, Xiaoqi Feng, Xiaofen Sun, Feng Tan, and Kexuan Tang. “A New Geranylgeranyl Diphosphate Synthase Gene from Ginkgo Biloba, Which Intermediates the Biosynthesis of the Key Precursor for Ginkgolides.”https://doi.org/10.1080/10425170410001667348__DNA Sequence. Informa UK Limited, 2004.https://doi.org/10.1080/10425170410001667348 .
LibreCat: https://research-explorer.ista.ac.at/record/12203
DOI: 10.1080/10425170410001667348
PMID: 15352294

Cao, Xiaofeng, Werner Aufsatz, Daniel Zilberman, M.Florian Mette, Michael S. Huang, Marjori Matzke, and Steven E. Jacobsen. “Role of the DRM and CM Methyltransferases in RNA-Directed DNA Methylation.”https://doi.org/10.1016/j.cub.2003.11.052__Current Biology. Elsevier, 2003.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, Daniel,https://doi.org/10.1126/science.1079695__Xiaofeng Cao, and Steven E. Jacobsen. “ARGONAUT Control of Locus-Specific SiRNA Accumulation and DNA and Histone Methylation.”https://doi.org/10.1126/science.1079695__Science. American Association for the Advancement of Science, 2003.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., Xiaofeng Cao, James P. Jackson, Daniel Zilberman, Claire M. McCallum, Steven Henikoff, and Steven E. Jacobsen. “Requirement of CHROMOMETHYLAS for Maintenance of CpXpG Methylation.”https://doi.org/10.1126/science.1059745__Science. American Association for the Advancement of Science, 2001.https://doi.org/10.1126/science.1059745 .
LibreCat: https://research-explorer.ista.ac.at/record/9444
DOI: 10.1126/science.1059745
PMID: 11349138