ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4854 Publications

2010 | Published | Conference Paper | IST-REx-ID: 489 |

Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.

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

2010 | Published | Journal Article | IST-REx-ID: 533

Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. 2010. Doomed program points. Formal Methods in System Design. 37(2–3), 171–199.

View | DOI

2010 | Published | Technical Report | IST-REx-ID: 5388 |

Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative synthesis for concurrent programs, IST Austria, 17p.

[Published Version] View | Files available | DOI

2010 | Published | Technical Report | IST-REx-ID: 5389 |

Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances, IST Austria, 24p.

[Published Version] View | Files available | DOI

2010 | Published | Technical Report | IST-REx-ID: 5390 |

Chatterjee K, Fijalkow N. 2010. Topological, automata-theoretic and logical characterization of finitary languages, IST Austria, 21p.

[Published Version] View | Files available | DOI

2010 | Published | Technical Report | IST-REx-ID: 5391 |

Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations, IST Austria, 27p.

[Published Version] View | Files available | DOI

2010 | Published | Book Chapter | IST-REx-ID: 14983

Schlögl A, Vidaurre C, Müller K-R. 2010.Adaptive Methods in BCI Research - An Introductory Tutorial. In: Brain-Computer Interfaces. The Frontiers Collection, , 331–355.

View | DOI

2010 | Published | Journal Article | IST-REx-ID: 2409 |

Kupczok A, Schmidt H, Von Haeseler A. 2010. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. 5(1), 37.

[Published Version] View | Files available | DOI

2010 | Research Data Reference | IST-REx-ID: 9764

Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. 2010. Heterosis and the drift load, Public Library of Science, 10.1371/journal.pbio.1000429.s003.

[Published Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 10908 |

Blanc R, Henzinger TA, Hottelier T, Kovács L. 2010. ABC: Algebraic Bound Computation for loops. Logic for Programming, Artificial Intelligence, and Reasoning. LPAR: Conference on Logic for Programming, Artificial Intelligence and ReasoningLNCS vol. 6355, 103–118.

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

2010 | Published | Conference Paper | IST-REx-ID: 10909

Chen C, Freedman D. 2010. Hardness results for homology localization. Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1594–1604.

View | Files available | DOI

2010 | Published | Journal Article | IST-REx-ID: 3303 |

Weissman D, Feldman M, Fisher D. 2010. The rate of fitness-valley crossing in sexual populations. Genetics. 186(4), 1389–1410.

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

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

Barton NH. 2009.Why sex and recombination? . In: Cold Spring Harbor Symposia on Quantitative Biology. vol. 74, 187–195.

View | DOI

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

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

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

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

Davison A, Barton NH, 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. 22(8), 1624–1635.