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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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.)
 

Filters and Search Terms

oa=1

Search

Filter Publications