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.

5954 Publications

Search / Filter

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

K. Chatterjee, L. Doyen, and T. A. Henzinger, Qualitative analysis of partially-observable Markov decision processes. IST Austria, 2009.

[Published Version] View | Files available | DOI

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

K. Chatterjee, Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria, 2009.

[Published Version] View | Files available | DOI

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

K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.

[Submitted Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

K. Chatterjee, T. A. Henzinger, and F. Horn, “Stochastic games with finitary objectives,” presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia, 2009, vol. 5734, pp. 34–54.

View | DOI

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

T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” presented at the RP: Reachability Problems, Palaiseau, France, 2009, vol. 5797, pp. 3–23.

[Submitted Version] View | Files available | DOI

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

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

[Submitted Version] View | Files available | DOI | WoS

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

A. Davison, N. H. Barton, and B. 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,” Journal of Evolutionary Biology, vol. 22, no. 8. Wiley, pp. 1624–1635, 2009.

[Submitted Version] View | Files available | DOI | WoS

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

N. H. Barton and M. De Cara, “The evolution of strong reproductive isolation,” Evolution; International Journal of Organic Evolution, vol. 63, no. 5. Wiley, pp. 1171–1190, 2009.

[Submitted Version] View | Files available | DOI | WoS

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

F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy, 2009, vol. 4, no. 6, pp. 118–127.

[Submitted Version] View | Files available | DOI | WoS

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

T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States, 2009, pp. 171–180.

[Submitted Version] View | Files available | DOI | WoS

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

J. Polechova, N. H. Barton, and G. Marion, “Species’ range: Adaptation in space and time,” American Naturalist, vol. 174, no. 5. University of Chicago Press, pp. E186–E204, 2009.

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

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

N. H. Barton and H. De Vladar, “Statistical mechanics and the evolution of polygenic quantitative traits,” Genetics, vol. 181, no. 3. Genetics Society of America, pp. 997–1011, 2009.

View | DOI | WoS

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

N. H. Barton and J. Coe, “On the application of statistical physics to evolutionary biology,” Journal of Theoretical Biology, vol. 259, no. 2. Elsevier, pp. 317–324, 2009.

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

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

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

View | DOI | WoS

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

D. Zilberman, “The evolving functions of DNA methylation,” Current Opinion in Plant Biology, vol. 11, no. 5. Elsevier , pp. 554–559, 2008.

View | DOI | PubMed | Europe PMC

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

D. Zilberman, D. Coleman-Derr, T. Ballinger, and S. Henikoff, “Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks,” Nature, vol. 456, no. 7218. Springer Nature, pp. 125–129, 2008.

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

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

N. H. Barton, “Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin,” Genetics Research, vol. 89, no. 5–6. Cambridge University Press, pp. 475–477, 2008.

View | DOI | WoS

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

X. Feng and H. G. Dickinson, “Packaging the male germline in plants,” Trends in Genetics, vol. 23, no. 10. Elsevier BV, pp. 503–510, 2007.

View | DOI | PubMed | Europe PMC

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

J. Penterman, D. Zilberman, J. H. Huh, T. Ballinger, S. Henikoff, and R. L. Fischer, “DNA demethylation in the Arabidopsis genome,” Proceedings of the National Academy of Sciences, vol. 104, no. 16. National Academy of Sciences, pp. 6752–6757, 2007.

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