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 D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009: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 K. 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 K, Henzinger TA, Jobstmann B, Radhakrishna A. 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 K, Henzinger TA, Horn F. 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 K, Doyen L, Henzinger TA. 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 MR, Wilson AJ, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. Genetics. 2009;181(4):1639-1648. doi:10.1534/genetics.108.086801
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8026 |
Vogels TP, Abbott LF. Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. 2009;12(4):483-491. 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 P, Huber M, Verel R, Ernst M, Meier B. Direct detection of 3hJN’ hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy. Angewandte Chemie International Edition. 2009;48(49):9322-9325. doi:10.1002/anie.200904411
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8475
Schanda P. Fast-pulsing longitudinal relaxation optimized techniques: Enriching the toolbox of fast biomolecular NMR spectroscopy. Progress in Nuclear Magnetic Resonance Spectroscopy. 2009;55(3):238-265. doi:10.1016/j.pnmrs.2009.05.002
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8476
Farjon J, Boisbouvier J, Schanda P, Pardi A, Simorre J-P, Brutscher B. Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution. Journal of the American Chemical Society. 2009;131(24):8571-8577. doi:10.1021/ja901633y
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8477
Amero C, Schanda P, Durá MA, et al. Fast two-dimensional NMR spectroscopy of high molecular weight protein assemblies. Journal of the American Chemical Society. 2009;131(10):3448-3449. doi:10.1021/ja809880p
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8478
Brüschweiler S, Schanda P, Kloiber K, et al. Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. 2009;131(8):3063-3068. doi:10.1021/ja809947w
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8479
Gal M, Kern T, Schanda P, Frydman L, Brutscher B. An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates. Journal of Biomolecular NMR. 2009;43:1-10. doi:10.1007/s10858-008-9284-9
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8508
Gorodetski A, Kaloshin V. Conservative homoclinic bifurcations and some applications. Proceedings of the Steklov Institute of Mathematics. 2009;267(1):76-90. doi:10.1134/s0081543809040063
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 88 |
Higginbotham AP, Semonin O, Bruce S, et al. Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. 2009;80(6). 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 E, Eliseev B, Ambrogelly A, et al. Translation termination in pyrrolysine-utilizing archaea. FEBS Letters. 2009;583(21):3455-3460. doi:10.1016/j.febslet.2009.09.044
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 9147 |
Muller CJ, Bühler O. Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. 2009;39(9):2077-2096. doi:10.1175/2009jpo4141.1
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 9148 |
Muller CJ, Back LE, O’Gorman PA, Emanuel KA. A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. 2009;36(16). doi:10.1029/2009gl039667
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12654 |
Carenzo M, Pellicciotti F, Rimkus S, Burlando P. Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. 2009;55(190):258-274. doi:10.3189/002214309788608804
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12655 |
Pellicciotti F, Carenzo M, Helbing J, Rimkus S, Burlando P. On the role of subsurface heat conduction in glacier energy-balance modelling. Annals of Glaciology. 2009;50(50):16-24. doi:10.3189/172756409787769555
[Published Version]
View
| DOI
| Download Published Version (ext.)