ISTA Research Explorer

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.

5273 Publications

Search / Filter

2009 | Published | Technical Report | IST-REx-ID: 5392 |

Probabilistic automata on infinite words: Decidability and undecidability results
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.

[Published Version] View | Files available | DOI

2009 | Published | Technical Report | IST-REx-ID: 5393 |

Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.

[Published Version] View | Files available | DOI

2009 | Published | Technical Report | IST-REx-ID: 5394 |

Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.

[Published Version] View | Files available | DOI

2009 | Published | Technical Report | IST-REx-ID: 5395 |

Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.

[Published Version] View | Files available | DOI

2009 | Published | Journal Article | IST-REx-ID: 9453 |

Genome-wide demethylation of Arabidopsis endosperm
T.-F. Hsieh, C.A. Ibarra, P. Silva, A. Zemach, L. Eshed-Williams, R.L. Fischer, D. Zilberman, Science 324 (2009) 1451–1454.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

2009 | Published | Book Chapter | IST-REx-ID: 3675

Why sex and recombination?
N.H. Barton, in:, Cold Spring Harbor Symposia on Quantitative Biology, Cold Spring Harbor Laboratory Press, 2009, pp. 187–195.

View | DOI

2009 | Published | Journal Article | IST-REx-ID: 3775 |

On the application of statistical physics to evolutionary biology
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2009 | Published | Journal Article | IST-REx-ID: 3780 |

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.

[Submitted Version] View | Files available | DOI

2009 | Published | Conference Paper | IST-REx-ID: 3837 |

On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.

[Submitted Version] View | Files available | DOI

2009 | Published | Conference Paper | IST-REx-ID: 3841 |

Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.

[Submitted Version] View | Files available | DOI

2009 | Published | Conference Paper | IST-REx-ID: 3843 |

Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.

[Submitted Version] View | Files available | DOI

2009 | Published | Conference Paper | IST-REx-ID: 3844 |

Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.

[Submitted Version] View | Files available | DOI

2009 | Published | Journal Article | IST-REx-ID: 3870 |

Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).

[Submitted Version] View | Files available | DOI

2009 | Published | Conference Paper | IST-REx-ID: 3871 |

Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.

[Submitted Version] View | Files available | DOI

2008 | Published | Journal Article | IST-REx-ID: 517

Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin
N.H. Barton, Genetics Research 89 (2008) 475–477.

View | DOI

2008 | Published | Journal Article | IST-REx-ID: 9457 |

Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks
D. Zilberman, D. Coleman-Derr, T. Ballinger, S. Henikoff, Nature 456 (2008) 125–129.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

2008 | Published | Journal Article | IST-REx-ID: 9537

The evolving functions of DNA methylation
D. Zilberman, Current Opinion in Plant Biology 11 (2008) 554–559.

View | DOI | PubMed | Europe PMC

2007 | Published | Journal Article | IST-REx-ID: 9487 |

DNA demethylation in the Arabidopsis genome
J. Penterman, D. Zilberman, J.H. Huh, T. Ballinger, S. Henikoff, R.L. Fischer, Proceedings of the National Academy of Sciences 104 (2007) 6752–6757.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2007 | Published | Other Publication | IST-REx-ID: 9504

The human promoter methylome
D. Zilberman, The Human Promoter Methylome, Nature Publishing Group, 2007.

View | DOI | PubMed | Europe PMC

2007 | Published | Journal Article | IST-REx-ID: 9524 |

Genome-wide analysis of DNA methylation patterns
D. Zilberman, S. Henikoff, Development 134 (2007) 3959–3965.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC