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.
8915 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4580 | 
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: 5392 |
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: 5393 |
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 |
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: 5395 |
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: 7751
Robinson, Matthew Richard, et al. “The Impact of Environmental Heterogeneity on Genetic Architecture in a Wild Population of Soay Sheep.” Genetics, vol. 181, no. 4, Genetics Society of America, 2009, pp. 1639–48, doi:10.1534/genetics.108.086801.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8026 |
Vogels, Tim P., and L. F. Abbott. “Gating Multiple Signals through Detailed Balance of Excitation and Inhibition in Spiking Networks.” Nature Neuroscience, vol. 12, no. 4, Springer Nature, 2009, pp. 483–91, doi:10.1038/nn.2276.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 8474
Schanda, Paul, et al. “Direct Detection of 3hJN’ Hydrogen-Bond Scalar Couplings in Proteins by Solid-State NMR Spectroscopy.” Angewandte Chemie International Edition, vol. 48, no. 49, Wiley, 2009, pp. 9322–25, doi:10.1002/anie.200904411.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8475
Schanda, Paul. “Fast-Pulsing Longitudinal Relaxation Optimized Techniques: Enriching the Toolbox of Fast Biomolecular NMR Spectroscopy.” Progress in Nuclear Magnetic Resonance Spectroscopy, vol. 55, no. 3, Elsevier, 2009, pp. 238–65, doi:10.1016/j.pnmrs.2009.05.002.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8476
Farjon, Jonathan, et al. “Longitudinal-Relaxation-Enhanced NMR Experiments for the Study of Nucleic Acids in Solution.” Journal of the American Chemical Society, vol. 131, no. 24, American Chemical Society, 2009, pp. 8571–77, doi:10.1021/ja901633y.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8477
Amero, Carlos, et al. “Fast Two-Dimensional NMR Spectroscopy of High Molecular Weight Protein Assemblies.” Journal of the American Chemical Society, vol. 131, no. 10, American Chemical Society, 2009, pp. 3448–49, doi:10.1021/ja809880p.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8478
Brüschweiler, Sven, et al. “Direct Observation of the Dynamic Process Underlying Allosteric Signal Transmission.” Journal of the American Chemical Society, vol. 131, no. 8, American Chemical Society, 2009, pp. 3063–68, doi:10.1021/ja809947w.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8479
Gal, Maayan, et al. “An Improved Ultrafast 2D NMR Experiment: Towards Atom-Resolved Real-Time Studies of Protein Kinetics at Multi-Hz Rates.” Journal of Biomolecular NMR, vol. 43, Springer Nature, 2009, pp. 1–10, doi:10.1007/s10858-008-9284-9.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8508
Gorodetski, Anton, and Vadim Kaloshin. “Conservative Homoclinic Bifurcations and Some Applications.” Proceedings of the Steklov Institute of Mathematics, vol. 267, no. 1, Springer Nature, 2009, pp. 76–90, doi:10.1134/s0081543809040063.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 88 |
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 | 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
2009 | Published | Journal Article | IST-REx-ID: 9147 |
Muller, Caroline J., and Oliver Bühler. “Saturation of the Internal Tides and Induced Mixing in the Abyssal Ocean.” Journal of Physical Oceanography, vol. 39, no. 9, American Meteorological Society, 2009, pp. 2077–96, doi:10.1175/2009jpo4141.1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 9148 |
Muller, Caroline J., et al. “A Model for the Relationship between Tropical Precipitation and Column Water Vapor.” Geophysical Research Letters, vol. 36, no. 16, L16804, American Geophysical Union, 2009, doi:10.1029/2009gl039667.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12654 |
Carenzo, Marco, et al. “Assessing the Transferability and Robustness of an Enhanced Temperature-Index Glacier-Melt Model.” Journal of Glaciology, vol. 55, no. 190, Cambridge University Press, 2009, pp. 258–74, doi:10.3189/002214309788608804.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12655 |
Pellicciotti, Francesca, et al. “On the Role of Subsurface Heat Conduction in Glacier Energy-Balance Modelling.” Annals of Glaciology, vol. 50, no. 50, International Glaciological Society, 2009, pp. 16–24, doi:10.3189/172756409787769555.
[Published Version]
View
| DOI
| Download Published Version (ext.)