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.
5859 Publications
2009 |Published| Conference Paper | IST-REx-ID: 4545 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. https://doi.org/10.1007/978-3-642-02930-1_1
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4544 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2009). Termination criteria for solving concurrent safety and reachability games (pp. 197–206). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1137/1.9781611973068.23
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4569 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bloem, R., Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. https://doi.org/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, D., Chatterjee, K., De Wulf, M., Doyen, L., & Henzinger, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/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, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2009). Gist: A solver for probabilistic games. IST Austria. https://doi.org/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, 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 |Published| Technical Report | IST-REx-ID: 5392 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Technical Report | IST-REx-ID: 5395 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 599 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 8026 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vogels, T. P., & Abbott, L. F. (2009). Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/nn.2276
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 88 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Higginbotham, A. P., Semonin, O., Bruce, S., Chan, C., Maindi, M., Donnelly, T., … Ditmire, T. (2009). Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. American Institute of Physics. https://doi.org/10.1063/1.3155302
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 9148 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Muller, C. J., Back, L. E., O’Gorman, P. A., & Emanuel, K. A. (2009). A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. American Geophysical Union. https://doi.org/10.1029/2009gl039667
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 |Published| Journal Article | IST-REx-ID: 9147 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Muller, C. J., & Bühler, O. (2009). Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. American Meteorological Society. https://doi.org/10.1175/2009jpo4141.1
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 |Published| Journal Article | IST-REx-ID: 9453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hsieh, T.-F., Ibarra, C. A., Silva, P., Zemach, A., Eshed-Williams, L., Fischer, R. L., & Zilberman, D. (2009). Genome-wide demethylation of Arabidopsis endosperm. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1172417
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2008 |Published| Journal Article | IST-REx-ID: 1036 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gustavsson, M., Haller, E., Mark, M., Danzl, J. G., Rojas Kopeinig, G., & Nägerl, H. (2008). Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. American Physical Society. https://doi.org/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, S., Mark, M., Ferlaino, F., Danzl, J. G., Kraemer, T., Nägerl, H., & Grimm, R. (2008). Metastable feshbach molecules in high rotational states. Physical Review Letters. American Physical Society. https://doi.org/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, J. G., Haller, E., Gustavsson, M., Mark, M., Hart, R., Bouloufa, N., … Nägerl, H. (2008). Quantum gas of deeply bound ground state molecules. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1159909
View
| DOI
| Download None (ext.)
| arXiv
2008 |Published| Journal Article | IST-REx-ID: 11113 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anderson, D. J., & Hetzer, M. (2008). Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.005777
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 |Published| Journal Article | IST-REx-ID: 11114 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schulte, R., Talamas, J., Doucet, C., & Hetzer, M. (2008). Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. Public Library of Science. https://doi.org/10.1371/journal.pone.0002061
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 |Published| Journal Article | IST-REx-ID: 1460 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hausel, T., & Rodríguez Villegas, F. (2008). Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. Springer. https://doi.org/10.1007/s00222-008-0142-x
View
| DOI
| Download (ext.)