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.
416 Publications
2014 | Published | Journal Article | IST-REx-ID: 12632 | 
Gabbi J, Carenzo M, Pellicciotti F, Bauder A, Funk M. 2014. A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response. Journal of Glaciology. 60(224), 1140–1154.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 12636
Immerzeel WW, Kraaijenbrink PDA, Shea JM, Shrestha AB, Pellicciotti F, Bierkens MFP, de Jong SM. 2014. High-resolution monitoring of Himalayan glacier dynamics using unmanned aerial vehicles. Remote Sensing of Environment. 150(7), 93–103.
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 12637 |
Immerzeel WW, Petersen L, Ragettli S, Pellicciotti F. 2014. The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas. Water Resources Research. 50(3), 2212–2226.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 13399
Kundu PK, Klajn R. 2014. Watching single molecules move in response to light. ACS Nano. 8(12), 11913–11916.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 13400
Singh G, Chan H, Baskin A, Gelman E, Repnin N, Král P, Klajn R. 2014. Self-assembly of magnetite nanocubes into helical superstructures. Science. 345(6201), 1149–1153.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 13401
Kundu PK, Lerner A, Kučanda K, Leitus G, Klajn R. 2014. Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran. Journal of the American Chemical Society. 136(32), 11276–11279.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 13402 |
Kundu PK, Olsen GL, Kiss V, Klajn R. 2014. Nanoporous frameworks exhibiting multiple stimuli responsiveness. Nature Communications. 5, 3588.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 13403
Zdobinsky T, Sankar Maiti P, Klajn R. 2014. Support curvature and conformational freedom control chemical reactivity of immobilized species. Journal of the American Chemical Society. 136(7), 2711–2714.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 13404 |
Klajn R. 2014. Spiropyran-based dynamic materials. Chemical Society Reviews. 43(1), 148–184.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 1375 |
Chatterjee K, Henzinger MH, Krinninger S, Loitzenbauer V, Raskin M. 2014. Approximating the minimum cycle mean. Theoretical Computer Science. 547(C), 104–116.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 1392 |
Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. 2014. A logic-based framework for verifying consensus algorithms. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 8318, 161–181.
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 1393 |
Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming. Proceedings of the on Future of Software Engineering. FOSE: Future of Software Engineering, 167–181.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Thesis | IST-REx-ID: 1395
Konrad M. 2014. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. Institute of Science and Technology Austria.
View
2014 | Published | Journal Article | IST-REx-ID: 11080 |
Buchwalter A, Hetzer M. 2014. Nuclear pores set the speed limit for mitosis. Cell. 156(5), 868–869.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 11081 |
Hatch E, Hetzer M. 2014. Breaching the nuclear envelope in development and disease. Journal of Cell Biology. 205(2), 133–141.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 11082 |
Buchwalter AL, Liang Y, Hetzer M. 2014. Nup50 is required for cell differentiation and exhibits transcription-dependent dynamics. Molecular Biology of the Cell. 25(16), 2472–2484.
[Published Version]
View
| DOI
| Download Published Version (ext.)