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.
367 Publications
2013 | Published | Journal Article | IST-REx-ID: 12633
An evaluation of approaches for modelling hydrological processes in high-elevation, glacierized Andean watersheds
S. Ragettli, G. Cortés, J. McPhee, F. Pellicciotti, Hydrological Processes 28 (2013) 5674–5695.
View
| DOI
S. Ragettli, G. Cortés, J. McPhee, F. Pellicciotti, Hydrological Processes 28 (2013) 5674–5695.
2013 | Published | Journal Article | IST-REx-ID: 12638 |
Comparison of climate change signals in CMIP3 and CMIP5 multi-model ensembles and implications for Central Asian glaciers
A.F. Lutz, W.W. Immerzeel, A. Gobiet, F. Pellicciotti, M.F.P. Bierkens, Hydrology and Earth System Sciences 17 (2013) 3661–3677.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A.F. Lutz, W.W. Immerzeel, A. Gobiet, F. Pellicciotti, M.F.P. Bierkens, Hydrology and Earth System Sciences 17 (2013) 3661–3677.
2013 | Published | Journal Article | IST-REx-ID: 12639 |
Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change
S. Ragettli, F. Pellicciotti, R. Bordoy, W.W. Immerzeel, Water Resources Research 49 (2013) 6048–6066.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Ragettli, F. Pellicciotti, R. Bordoy, W.W. Immerzeel, Water Resources Research 49 (2013) 6048–6066.
2013 | Published | Journal Article | IST-REx-ID: 12640
Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds
W.W. Immerzeel, F. Pellicciotti, M.F.P. Bierkens, Nature Geoscience 6 (2013) 742–745.
View
| DOI
W.W. Immerzeel, F. Pellicciotti, M.F.P. Bierkens, Nature Geoscience 6 (2013) 742–745.
2013 | Published | Journal Article | IST-REx-ID: 12641 |
Parameter sensitivity of a distributed enhanced temperature-index melt model
M. Heynen, F. Pellicciotti, M. Carenzo, Annals of Glaciology 54 (2013) 311–321.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Heynen, F. Pellicciotti, M. Carenzo, Annals of Glaciology 54 (2013) 311–321.
2013 | Published | Journal Article | IST-REx-ID: 12642 |
Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative
L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, B. Brock, Annals of Glaciology 54 (2013) 120–130.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, B. Brock, Annals of Glaciology 54 (2013) 120–130.
2013 | Published | Journal Article | IST-REx-ID: 12643 |
A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability
I. Juszak, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 118 (2013) 3066–3084.
[Published Version]
View
| DOI
| Download Published Version (ext.)
I. Juszak, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 118 (2013) 3066–3084.
2013 | Published | Journal Article | IST-REx-ID: 1304
Optogenetic control of fly optomotor responses
V. Haikala, M.A. Jösch, A. Borst, A. Mauss, Journal of Neuroscience 33 (2013) 13927–13934.
View
| DOI
V. Haikala, M.A. Jösch, A. Borst, A. Mauss, Journal of Neuroscience 33 (2013) 13927–13934.
2013 | Published | Journal Article | IST-REx-ID: 1305
Functional specialization of parallel motion detection circuits in the fly
M.A. Jösch, F. Weber, H. Eichner, A. Borst, Journal of Neuroscience 33 (2013) 902–905.
View
| DOI
M.A. Jösch, F. Weber, H. Eichner, A. Borst, Journal of Neuroscience 33 (2013) 902–905.
2013 | Published | Journal Article | IST-REx-ID: 1307
Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models
J.L. Fischer, Communications in Partial Differential Equations 38 (2013) 2004–2047.
View
| DOI
J.L. Fischer, Communications in Partial Differential Equations 38 (2013) 2004–2047.
2013 | Published | Journal Article | IST-REx-ID: 1308
Advection-driven support shrinking in a chemotaxis model with degenerate mobility
J.L. Fischer, SIAM Journal on Mathematical Analysis 45 (2013) 1585–1615.
View
| DOI
J.L. Fischer, SIAM Journal on Mathematical Analysis 45 (2013) 1585–1615.
2013 | Published | Journal Article | IST-REx-ID: 1310
Optimal lower bounds on asymptotic support propagation rates for the thin-film equation
J.L. Fischer, Journal of Differential Equations 255 (2013) 3127–3149.
View
| DOI
J.L. Fischer, Journal of Differential Equations 255 (2013) 3127–3149.
2013 | Published | Journal Article | IST-REx-ID: 13405
Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol
T. Ely, S. Das, W. Li, P. Kundu, E. Tirosh, D. Cahen, A. Vilan, R. Klajn, Synlett 24 (2013) 2370–2374.
View
| DOI
T. Ely, S. Das, W. Li, P. Kundu, E. Tirosh, D. Cahen, A. Vilan, R. Klajn, Synlett 24 (2013) 2370–2374.
2013 | Published | Journal Article | IST-REx-ID: 13406
Dual-responsive nanoparticles and their self-assembly
S. Das, P. Ranjan, P.S. Maiti, G. Singh, G. Leitus, R. Klajn, Advanced Materials 25 (2013) 422–426.
View
| DOI
| PubMed | Europe PMC
S. Das, P. Ranjan, P.S. Maiti, G. Singh, G. Leitus, R. Klajn, Advanced Materials 25 (2013) 422–426.
2013 | Published | Conference Paper | IST-REx-ID: 1374 |
Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
2013 | Published | Conference Paper | IST-REx-ID: 1376
Distributed synthesis for LTL fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
2013 | Published | Conference Paper | IST-REx-ID: 1385 |
Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
2013 | Published | Conference Paper | IST-REx-ID: 1387 |
Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
[Submitted Version]
View
| Files available
| DOI
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
2013 | Published | Journal Article | IST-REx-ID: 11083
The role of Nup98 in transcription regulation in healthy and diseased cells
T.M. Franks, M. Hetzer, Trends in Cell Biology 23 (2013) 112–117.
View
| DOI
| PubMed | Europe PMC
T.M. Franks, M. Hetzer, Trends in Cell Biology 23 (2013) 112–117.
2013 | Published | Journal Article | IST-REx-ID: 11084
Protein homeostasis: Live long, won't prosper
B.H. Toyama, M. Hetzer, Nature Reviews Molecular Cell Biology 14 (2013) 55–61.
View
| DOI
| PubMed | Europe PMC
B.H. Toyama, M. Hetzer, Nature Reviews Molecular Cell Biology 14 (2013) 55–61.