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.
5767 Publications
2013 | Journal Article | IST-REx-ID: 12639 | 
S. Ragettli, F. Pellicciotti, R. Bordoy, and W. W. Immerzeel, “Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change,” Water Resources Research, vol. 49, no. 9. American Geophysical Union, pp. 6048–6066, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 9520 |
X. Feng, D. Zilberman, and H. Dickinson, “A conversation across generations: Soma-germ cell crosstalk in plants,” Developmental Cell, vol. 24, no. 3. Elsevier, pp. 215–225, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2914 |
G. Stephens, T. Mora, G. Tkačik, and W. Bialek, “Statistical thermodynamics of natural images,” Physical Review Letters, vol. 110, no. 1. American Physical Society, 2013.
[Published Version]
View
| Files available
| DOI
| arXiv
2013 | Book Chapter | IST-REx-ID: 5747 |
C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.
View
| Files available
| DOI
2013 | Thesis | IST-REx-ID: 1405 |
D. Zufferey, “Analysis of dynamic message passing programs,” Institute of Science and Technology Austria, 2013.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)