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

Search / Filter

2011 | Published | Technical Report | IST-REx-ID: 5380 |

K. Chatterjee, Bounded rationality in concurrent parity games. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5381 |

K. Chatterjee and L. Doyen, Partial-observation stochastic games: How to win when belief fails. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5382 |

K. Chatterjee, Robustness of structurally equivalent concurrent parity games. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5383 |

T. Wies, M. Muñiz, and V. Kuncak, On an efficient decision procedure for imperative tree data structures. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5384 |

K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata on infinite words. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5385 |

U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5386 |

C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints in random field image segmentation. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5387 |

K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision processes. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Journal Article | IST-REx-ID: 6496 |

H. Park, P. Oikonomou, C. C. Guet, and P. Cluzel, “Noise underlies switching behavior of the bacterial flagellum,” Biophysical Journal, vol. 101, no. 10. Elsevier, pp. 2336–2340, 2011.

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

2011 | Published | Conference Paper | IST-REx-ID: 9648 |

R. Gonzalez-Diaz, A. Ion, M. J. Jimenez, and R. Poyatos, “Incremental-decremental algorithm for computing AT-models and persistent homology,” in Computer Analysis of Images and Patterns, Seville, Spain, 2011, vol. 6854, pp. 286–293.

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

2011 | Research Data Reference | IST-REx-ID: 9762 |

F. Palero, P. Abello, E. Macpherson, M. Beaumont, and M. Pascual, “Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas).” IST Austria, 2011.

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

2011 | Published | Conference Paper | IST-REx-ID: 10907

N. M. Artner, A. Ion, and W. G. Kropatsch, “Spatio-temporal extraction of articulated models in a graph pyramid,” in Graph-Based Representations in Pattern Recognition, Münster, Germany, 2011, vol. 6658, pp. 215–224.

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 3375 |

H. de Vladar and N. H. Barton, “The statistical mechanics of a polygenic character under stabilizing selection mutation and drift,” Journal of the Royal Society Interface, vol. 8, no. 58. The Royal Society, pp. 720–739, 2011.

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

2011 | Published | Journal Article | IST-REx-ID: 3290 |

K. Lohse, R. Harrison, and N. H. Barton, “A general method for calculating likelihoods under the coalescent process,” Genetics, vol. 189, no. 3. Genetics Society of America, pp. 977–987, 2011.

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

2011 | Published | Journal Article | IST-REx-ID: 3394 |

J. Polechova and N. H. Barton, “Genetic drift widens the expected cline but narrows the expected cline width,” Genetics, vol. 189, no. 1. Genetics Society of America, pp. 227–235, 2011.

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

2011 | Published | Journal Article | IST-REx-ID: 3390 |

N. H. Barton and A. Etheridge, “The relation between reproductive value and genetic contribution,” Genetics, vol. 188, no. 4. Genetics Society of America, pp. 953–973, 2011.

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

2011 | Published | Journal Article | IST-REx-ID: 3391 |

H. de Vladar and N. H. Barton, “The contribution of statistical physics to evolutionary biology,” Trends in Ecology and Evolution, vol. 26, no. 8. Cell Press, pp. 424–432, 2011.

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

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

M. Sabeti Aschraf, C. Gonano, E. Nemecek, L. Cichocki, and C. Schueller Weidekamm, “Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis,” Knee Surgery, Sports Traumatology, Arthroscopy, vol. 18, no. 12. Springer, pp. 1792–1794, 2010.

View | DOI

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

H. Senn, S. Goodman, G. Swanson, N. H. Barton, and J. Pemberton, “Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland,” Molecular Ecology, vol. 19, no. 5. Wiley-Blackwell, pp. 910–924, 2010.

View | DOI

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

J. Guzmán et al., “P2Y1 receptors inhibit long-term depression in the prefrontal cortex.,” Neuropharmacology, vol. 59, no. 6. Elsevier, pp. 406–415, 2010.

View | DOI