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.

8920 Publications

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

M. Reum, S. A. Freunberger, A. Wokaun, and F. N. Büchi, “Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters,” Journal of The Electrochemical Society, vol. 156, no. 3. The Electrochemical Society, 2009.

View | DOI

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

D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Of choices, failures and asynchrony: the many faces of set agreement,” presented at the ISAAC: International Symposium on Algorithms and Computation, 2009, vol. 5878 LNCS, pp. 943–953.

View | DOI

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

M. R. Robinson, A. J. Wilson, J. G. Pilkington, T. H. Clutton-Brock, J. M. Pemberton, and L. E. B. Kruuk, “The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep,” Genetics, vol. 181, no. 4. Genetics Society of America, pp. 1639–1648, 2009.

View | DOI

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

R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

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

D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.

View | Files available | DOI | Download (ext.)

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 | 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 | Technical Report | IST-REx-ID: 5394 |

K. Chatterjee, T. A. Henzinger, and 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 |

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 | Journal Article | IST-REx-ID: 599 |

M. Knuesel, K. Meyer, C. Bernecky, and D. Taatjes, “The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function,” Genes and Development, vol. 23, no. 4. Cold Spring Harbor Laboratory Press, pp. 439–451, 2009.

View | DOI | Download None (ext.)

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

A. Persson, E. Gross, P. Laurent, K. E. Busch, H. Bretes, and M. de Bono, “Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans,” Nature, vol. 458, no. 7241. Springer Nature, pp. 1030–1033, 2009.