GIST: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
LibreCat: https://research-explorer.ista.ac.at/record/4388
DOI: 10.1007/978-3-642-14295-6_57
arXiv: 1004.2367

Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/5391
DOI: 10.15479/AT:IST-2010-0001

Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/5390
DOI: 10.15479/AT:IST-2010-0002

Probabilistic Automata on infinite words: decidability and undecidability results
K. Chatterjee, T.A. Henzinger, in:, Springer, 2010, pp. 1–16.
LibreCat: https://research-explorer.ista.ac.at/record/3857
DOI: 10.1007/978-3-642-15643-4_1

Qualitative analysis of partially-observable Markov Decision Processes
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.
LibreCat: https://research-explorer.ista.ac.at/record/3855
DOI: 10.1007/978-3-642-15155-2_24

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

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

Genome-wide evolutionary analysis of eukaryotic DNA methylation
A. Zemach, I.E. McDaniel, P. Silva, D. Zilberman, Science 328 (2010) 916–919.
LibreCat: https://research-explorer.ista.ac.at/record/9452
DOI: 10.1126/science.1186366
PMID: 20395474 

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

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

Tapetal cell fate, lineage and proliferation in the Arabidopsis anther
X. Feng, H.G. Dickinson, Development 137 (2010) 2409–2416.
LibreCat: https://research-explorer.ista.ac.at/record/12199
DOI: 10.1242/dev.049320
PMID: 20570940

Cell–cell interactions during patterning of the <i>Arabidopsis</i> anther
X. Feng, H.G. Dickinson, Biochemical Society Transactions 38 (2010) 571–576.
LibreCat: https://research-explorer.ista.ac.at/record/12200
DOI: 10.1042/bst0380571
PMID: 20298223

Discounting in games across time scales
K. Chatterjee, R. Majumdar, in:, EPTCS, 2010, pp. 22–29.
LibreCat: https://research-explorer.ista.ac.at/record/3852
DOI: 10.4204/EPTCS.25.6
arXiv: 1006.1403

þffþffDendritic cell migration across basement membranes in the skin
H. Pflicke,   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

Forward analysis of depth-bounded processes
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.
LibreCat: https://research-explorer.ista.ac.at/record/4361
DOI: 10.1007/978-3-642-12032-9_8

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

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

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
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
LibreCat: https://research-explorer.ista.ac.at/record/3780
DOI: 10.1111/j.1420-9101.2009.01770.x

Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
LibreCat: https://research-explorer.ista.ac.at/record/3843
DOI: 10.1109/HiBi.2009.23

Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
LibreCat: https://research-explorer.ista.ac.at/record/3841
DOI: 10.1007/978-3-642-04420-5_2