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.
232 Publications
2009 | 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 | 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 | 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 | 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.
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 6145
M. Cohen, V. Reale, B. Olofsson, A. Knights, P. Evans, and M. de Bono, “Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling,” Cell Metabolism, vol. 9, no. 4. Elsevier, pp. 375–385, 2009.
View
| DOI
| PubMed | Europe PMC