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.
9096 Publications
2009 | Technical Report | IST-REx-ID: 5394 | 
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Improved lower bounds for request-response and finitary Streett games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0002
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5392 |
Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria. https://doi.org/10.15479/AT:IST-2009-0004
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5395 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Qualitative analysis of partially-observable Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2009-0001
[Published Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 599 |
Knuesel, M., Meyer, K., Bernecky, C., & Taatjes, D. (2009). The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.1767009
View
| DOI
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 6144
Persson, A., Gross, E., Laurent, P., Busch, K. E., Bretes, H., & de Bono, M. (2009). Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. Springer Nature. https://doi.org/10.1038/nature07820
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 6145
Cohen, M., Reale, V., Olofsson, B., Knights, A., Evans, P., & de Bono, M. (2009). Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. Elsevier. https://doi.org/10.1016/j.cmet.2009.02.003
View
| DOI
| PubMed | Europe PMC
2009 | Conference Paper | IST-REx-ID: 11752
Yang, X., Riseborough, P. S., Modic, K. A., Fisher, R. A., Oppeil, C. P., Finlayson, T. R., … Lashley, J. C. (2009). Influence of magnetic fields on structural martensitic transitions. In Journal of Physics: Conference Series (Vol. 200). Karlsruhe, Germany: IOP Publishing. https://doi.org/10.1088/1742-6596/200/3/032062
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 7080
Yang, X.-D., Riseborough, P. S., Modic, K. A., Fisher, R. A., Opeil, C. P., Finlayson, T. R., … Lashley, J. C. (2009). Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. Taylor & Francis. https://doi.org/10.1080/14786430902865518
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 7319
Reum, M., Freunberger, S. A., Wokaun, A., & Büchi, F. N. (2009). Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.3043422
View
| DOI
2009 | Conference Paper | IST-REx-ID: 752
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2009). Of choices, failures and asynchrony: the many faces of set agreement (Vol. 5878 LNCS, pp. 943–953). Presented at the ISAAC: International Symposium on Algorithms and Computation, Springer. https://doi.org/10.1007/978-3-642-10631-6_95
View
| DOI