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, J. A., Sacanna, S., Steinberg, A. P., Pine, D. J., & Chaikin, P. M. (2013). Living crystals of light-activated colloidal surfers. Science. American Association for the Advancement of Science . https://doi.org/10.1126/science.1230020
View
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 9153 | 
Melet, A., Nikurashin, M., Muller, C. J., Falahat, S., Nycander, J., Timko, P. G., … Goff, J. A. (2013). Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. American Geophysical Union. https://doi.org/10.1002/2013jc009212
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 12633
Ragettli, S., Cortés, G., McPhee, J., & Pellicciotti, F. (2013). An evaluation of approaches for modelling hydrological processes in high-elevation, glacierized Andean watersheds. Hydrological Processes. Wiley. https://doi.org/10.1002/hyp.10055
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 12638 |
Lutz, A. F., Immerzeel, W. W., Gobiet, A., Pellicciotti, F., & Bierkens, M. F. P. (2013). Comparison of climate change signals in CMIP3 and CMIP5 multi-model ensembles and implications for Central Asian glaciers. Hydrology and Earth System Sciences. Copernicus GmbH. https://doi.org/10.5194/hess-17-3661-2013
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 12639 |
Ragettli, S., Pellicciotti, F., Bordoy, R., & Immerzeel, W. W. (2013). Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change. Water Resources Research. American Geophysical Union. https://doi.org/10.1002/wrcr.20450
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 12640
Immerzeel, W. W., Pellicciotti, F., & Bierkens, M. F. P. (2013). Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds. Nature Geoscience. Springer Nature. https://doi.org/10.1038/ngeo1896
View
| DOI
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. International Glaciological Society. https://doi.org/10.3189/2013aog63a537
[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. International Glaciological Society. https://doi.org/10.3189/2013aog63a477
[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. American Geophysical Union. https://doi.org/10.1002/jgrd.50277
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 1304
Haikala, V., Jösch, M. A., Borst, A., & Mauss, A. (2013). Optogenetic control of fly optomotor responses. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.0340-13.2013
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 1305
Jösch, M. A., Weber, F., Eichner, H., & Borst, A. (2013). Functional specialization of parallel motion detection circuits in the fly. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.3374-12.2013
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 1307
Fischer, J. L. (2013). Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. Communications in Partial Differential Equations. Taylor & Francis. https://doi.org/10.1080/03605302.2013.823548
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 1308
Fischer, J. L. (2013). Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/120874291
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 1310
Fischer, J. L. (2013). Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations. Academic Press. https://doi.org/10.1016/j.jde.2013.07.028
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 13405
Ely, T., Das, S., Li, W., Kundu, P., Tirosh, E., Cahen, D., … Klajn, R. (2013). Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. Georg Thieme Verlag. https://doi.org/10.1055/s-0033-1340087
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 13406
Das, S., Ranjan, P., Maiti, P. S., Singh, G., Leitus, G., & Klajn, R. (2013). Dual-responsive nanoparticles and their self-assembly. Advanced Materials. Wiley. https://doi.org/10.1002/adma.201201734
View
| DOI
| PubMed | Europe PMC
2013 | Published | Conference Paper | IST-REx-ID: 1374 |
Chatterjee, K., & Fijalkow, N. (2013). Infinite-state games with finitary conditions. In 22nd EACSL Annual Conference on Computer Science Logic (Vol. 23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.181
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 1376
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL fragments. In 13th International Conference on Formal Methods in Computer-Aided Design (pp. 18–25). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679386
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. In 2013 Formal Methods in Computer-Aided Design (pp. 77–84). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679394
[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. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. https://doi.org/10.1007/978-3-642-39212-2_11
[Submitted Version]
View
| Files available
| DOI