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.
6985 Publications
2009 |Published| Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, et al. Stochastic Games with Finitary Objectives. Vol. 5734, Springer, 2009, pp. 34–54, doi:10.1007/978-3-642-03816-7_4.
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4544 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. Termination Criteria for Solving Concurrent Safety and Reachability Games. SIAM, 2009, pp. 197–206, doi:10.1137/1.9781611973068.23.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4540
Chatterjee, Krishnendu, et al. Expressiveness and Closure Properties for Quantitative Languages. IEEE, 2009, pp. 199–208, doi:10.1109/LICS.2009.16.
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4569 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |Published| Conference Paper | IST-REx-ID: 4580 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Technical Report | IST-REx-ID: 5393 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.
[Published Version]
View
| Files available
| DOI
2009 |Published| Technical Report | IST-REx-ID: 5394 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
[Published Version]
View
| Files available
| DOI
2009 |Published| Technical Report | IST-REx-ID: 5392 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009, doi:10.15479/AT:IST-2009-0004.
[Published Version]
View
| Files available
| DOI
2009 |Published| Technical Report | IST-REx-ID: 5395 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
[Published Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 599 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Knuesel, Matthew, et al. “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, 2009, pp. 439–51, doi:10.1101/gad.1767009.
View
| DOI
| Download None (ext.)
2009 |Published| Journal Article | IST-REx-ID: 6144
Persson, Annelie, et al. “Natural Variation in a Neural Globin Tunes Oxygen Sensing in Wild Caenorhabditis Elegans.” Nature, vol. 458, no. 7241, Springer Nature, 2009, pp. 1030–33, doi:10.1038/nature07820.
View
| DOI
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 6145
Cohen, Merav, et al. “Coordinated Regulation of Foraging and Metabolism in C. Elegans by RFamide Neuropeptide Signaling.” Cell Metabolism, vol. 9, no. 4, Elsevier, 2009, pp. 375–85, doi:10.1016/j.cmet.2009.02.003.
View
| DOI
| PubMed | Europe PMC
2009 |Published| Conference Paper | IST-REx-ID: 752
Alistarh, Dan-Adrian, et al. Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement. Vol. 5878 LNCS, Springer, 2009, pp. 943–53, doi:10.1007/978-3-642-10631-6_95.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 88 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Higginbotham, Andrew P., et al. “Generation of Mie Size Microdroplet Aerosols with Applications in Laser-Driven Fusion Experiments.” Review of Scientific Instruments, vol. 80, no. 6, 063503, American Institute of Physics, 2009, doi:10.1063/1.3155302.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |Published| Conference Paper | IST-REx-ID: 964
Serbyn, Maksym, et al. Giant Nernst Effect Due to Fluctuating Cooper Pairs in Superconductors. Vol. 1134, American Institute of Physics, 2009, pp. 140–45, doi:10.1063/1.3149485.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 908
Alkalaeva, Elena, et al. “Translation Termination in Pyrrolysine-Utilizing Archaea.” FEBS Letters, vol. 583, no. 21, Elsevier, 2009, pp. 3455–60, doi:10.1016/j.febslet.2009.09.044.
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 1036 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gustavsson, Mattias, et al. “Control of Interaction-Induced Dephasing of Bloch Oscillations.” Physical Review Letters, vol. 100, no. 8, American Physical Society, 2008, doi:10.1103/PhysRevLett.100.080404.
View
| DOI
| Download None (ext.)
| arXiv
2008 |Published| Journal Article | IST-REx-ID: 1037 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Knoop, Steven, et al. “Metastable Feshbach Molecules in High Rotational States.” Physical Review Letters, vol. 100, no. 8, American Physical Society, 2008, doi:10.1103/PhysRevLett.100.083002.
View
| DOI
| Download None (ext.)
| arXiv
2008 |Published| Journal Article | IST-REx-ID: 1039 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Danzl, Johann G., et al. “Quantum Gas of Deeply Bound Ground State Molecules.” Science, vol. 321, no. 5892, American Association for the Advancement of Science, 2008, pp. 1062–66, doi:10.1126/science.1159909.
View
| DOI
| Download None (ext.)
| arXiv
2008 |Published| Journal Article | IST-REx-ID: 1296
Jösch, Maximilian A., et al. “Response Properties of Motion Sensitive Visual Interneurons in the Lobula Plate of Drosophila Melanogaster.” Current Biology, vol. 18, no. 5, Cell Press, 2008, pp. 368–74, doi:10.1016/j.cub.2008.02.022.
View
| DOI