Pellicciotti F, Buergi C, Immerzeel WW, Konz M, Shrestha AB. Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies. Mountain Research and Development. 2012;32(1):39-50. doi:10.1659/mrd-journal-d-11-00092.1

Immerzeel WW, Pellicciotti F, Shrestha AB. Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. 2012;32(1):30-38. doi:10.1659/mrd-journal-d-11-00097.1

Reid TD, Carenzo M, Pellicciotti F, Brock BW. Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. 2012;117(). doi:10.1029/2012jd017795

Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking: A technique to pass information between verifiers. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM; 2012. doi:10.1145/2393596.2393664

De Cataldo M, Hausel T, Migliorini L. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 2012;175(3):1329-1407. doi:10.4007/annals.2012.175.3.7