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.
332 Publications
2012 | Journal Article | IST-REx-ID: 12646 | 
Pellicciotti, Francesca, et al. “Challenges and Uncertainties in Hydrological Modeling of Remote Hindu Kush–Karakoram–Himalayan (HKH) Basins: Suggestions for Calibration Strategies.” Mountain Research and Development, vol. 32, no. 1, International Mountain Society, 2012, pp. 39–50, doi:10.1659/mrd-journal-d-11-00092.1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Journal Article | IST-REx-ID: 12647 |
Immerzeel, Walter Willem, et al. “Glaciers as a Proxy to Quantify the Spatial Distribution of Precipitation in the Hunza Basin.” Mountain Research and Development, vol. 32, no. 1, International Mountain Society, 2012, pp. 30–38, doi:10.1659/mrd-journal-d-11-00097.1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Journal Article | IST-REx-ID: 12648 |
Reid, T. D., et al. “Including Debris Cover Effects in a Distributed Model of Glacier Ablation.” Journal of Geophysical Research: Atmospheres, vol. 117, no. D18, D18105, American Geophysical Union, 2012, doi:10.1029/2012jd017795.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Conference Paper | IST-REx-ID: 1384 |
Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 1472 |
De Cataldo, Mark, et al. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics, vol. 175, no. 3, Princeton University Press, 2012, pp. 1329–407, doi:10.4007/annals.2012.175.3.7.
View
| DOI
| Download (ext.)