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.
11023 Publications
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: 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: 9453 |
Hsieh, Tzung-Fu, et al. “Genome-Wide Demethylation of Arabidopsis Endosperm.” Science, vol. 324, no. 5933, American Association for the Advancement of Science, 2009, pp. 1451–54, doi:10.1126/science.1172417.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Conference Paper | IST-REx-ID: 4545 |
Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4569 |
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: 3837 |
Tripakis, Stavros, et al. “On Relational Interfaces.” EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
[Submitted 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 | 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 | Conference Paper | IST-REx-ID: 4542 |
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
[Submitted 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 | 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 | Book Chapter | IST-REx-ID: 4137
Bridle, Jon, et al. “Limits to Adaptation and Patterns of Biodiversity.” Speciation and Patterns of Diversity, edited by J.R. R. K. Butlin et al., Cambridge University Press, 2009, pp. 77–101, doi:10.1017/CBO9780511815683.007.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4385
Dragojevic, Aleksandar, et al. “Preventing versus Curing: Avoiding Conflicts in Transactional Memories.” Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, ACM, 2009, pp. 7–16, doi:10.1145/1582716.1582725.
View
| DOI