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.
8915 Publications
2013 | Published | Journal Article | IST-REx-ID: 9055
Palacci JA, Sacanna S, Steinberg AP, Pine DJ, Chaikin PM. 2013. Living crystals of light-activated colloidal surfers. Science. 339(6122), 936–940.
View
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 9153 | 
Melet A, Nikurashin M, Muller CJ, Falahat S, Nycander J, Timko PG, Arbic BK, Goff JA. 2013. Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. 118(11), 6303–6318.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 12638 |
Lutz AF, Immerzeel WW, Gobiet A, Pellicciotti F, Bierkens MFP. 2013. Comparison of climate change signals in CMIP3 and CMIP5 multi-model ensembles and implications for Central Asian glaciers. Hydrology and Earth System Sciences. 17(9), 3661–3677.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 12639 |
Ragettli S, Pellicciotti F, Bordoy R, Immerzeel WW. 2013. Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change. Water Resources Research. 49(9), 6048–6066.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 12641 |
Heynen M, Pellicciotti F, Carenzo M. 2013. Parameter sensitivity of a distributed enhanced temperature-index melt model. Annals of Glaciology. 54(63), 311–321.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 12642 |
Petersen L, Pellicciotti F, Juszak I, Carenzo M, Brock B. 2013. Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative. Annals of Glaciology. 54(63), 120–130.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 12643 |
Juszak I, Pellicciotti F. 2013. A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability. Journal of Geophysical Research: Atmospheres. 118(8), 3066–3084.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 13406
Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. 2013. Dual-responsive nanoparticles and their self-assembly. Advanced Materials. 25(3), 422–426.
View
| DOI
| PubMed | Europe PMC
2013 | Published | Conference Paper | IST-REx-ID: 1374 |
Chatterjee K, Fijalkow N. 2013. Infinite-state games with finitary conditions. 22nd EACSL Annual Conference on Computer Science Logic. CSL: Computer Science LogicLeibniz International Proceedings in Informatics, LIPIcs, vol. 23, 181–196.
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 1376
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL fragments. 13th International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 18–25.
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 1385 |
Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. 2013. Synthesizing multiple boolean functions using interpolation on a single proof. 2013 Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 77–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 1387 |
Boker U, Kuperberg D, Kupferman O, Skrzypczak M. 2013. Nondeterminism in the presence of a diverse or unknown future. 7966(PART 2), 89–100.
[Submitted Version]
View
| Files available
| DOI