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
2017 | Published | Journal Article | IST-REx-ID: 9139
Wing AA, Emanuel K, Holloway CE, Muller CJ. Convective self-aggregation in numerical simulations: A review. Surveys in Geophysics. 2017;38(6):1173-1197. doi:10.1007/s10712-017-9408-4
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 914 |

Giehr J, Grasse AV, Cremer S, Heinze J, Schrempf A. Ant queens increase their reproductive efforts after pathogen infection. Royal Society Open Science. 2017;4(7). doi:10.1098/rsos.170547
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 915 |

Swoboda P, Andres B. A message passing algorithm for the minimum cost multicut problem. In: Vol 2017. IEEE; 2017:4990-4999. doi:10.1109/CVPR.2017.530
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 9152 |

Richet O, Muller CJ, Chomaz J-M. Impact of a mean current on the internal tide energy dissipation at the critical latitude. Journal of Physical Oceanography. 2017;47(6):1457-1472. doi:10.1175/jpo-d-16-0197.1
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 1228 |

Sauerzopf U, Sacco R, Novarino G, et al. Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. 2017;45(1):45-57. doi:10.1111/ejn.13418
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 123 |

Waitukaitis SR, Zuiderwijk A, Souslov A, Coulais C, Van Hecke M. Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing. Nature Physics. 2017;13(11):1095-1099. doi:10.1038/nphys4194
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 12571 |

Bhattacharya S, Chakrabarty D, Henzinger MH. Deterministic fully dynamic approximate vertex cover and fractional matching in O(1) amortized update time. In: 19th International Conference on Integer Programming and Combinatorial Optimization. Vol 10328. Springer Nature; 2017:86-98. doi:10.1007/978-3-319-59250-3_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 12608 |

SHAW TE, BROCK BW, AYALA Á, RUTTER N, Pellicciotti F. Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations. Journal of Glaciology. 2017;63(242):973-988. doi:10.1017/jog.2017.65
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 12609 |

AYALA A, Pellicciotti F, PELEG N, BURLANDO P. Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile. Journal of Glaciology. 2017;63(241):803-822. doi:10.1017/jog.2017.46
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 12610 |

Miles ES, Steiner J, Willis I, et al. Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal. Frontiers in Earth Science. 2017;5. doi:10.3389/feart.2017.00069
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 12611
Ayala A, Pellicciotti F, MacDonell S, McPhee J, Burlando P. Patterns of glacier ablation across North-Central Chile: Identifying the limits of empirical melt models under sublimation-favorable conditions. Water Resources Research. 2017;53(7):5601-5625. doi:10.1002/2016wr020126
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 12612 |

MILES ES, WILLIS IC, ARNOLD NS, STEINER J, Pellicciotti F. Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013. Journal of Glaciology. 2017;63(237):88-105. doi:10.1017/jog.2016.120
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Published | Conference Abstract | IST-REx-ID: 12905 |

Schlögl A, Kiss J. Scientific Computing at IST Austria. In: AHPC17 – Austrian HPC Meeting 2017. FSP Scientific Computing; 2017:28.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 1294 |

Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 2017;84:144-170. doi:10.1016/j.jcss.2016.09.009
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 13160 |

Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record for transforming Rabin automata into parity automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 10205. Springer; 2017:443-460. doi:10.1007/978-3-662-54577-5_26
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1336 |

Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. Towards a runtime comparison of natural and artificial evolution. Algorithmica. 2017;78(2):681-713. doi:10.1007/s00453-016-0212-1
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1337 |

Ajanki OH, Erdös L, Krüger TH. Universality for general Wigner-type matrices. Probability Theory and Related Fields. 2017;169(3-4):667-727. doi:10.1007/s00440-016-0740-2
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1338 |

Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 2017;50(2-3):97-139. doi:10.1007/s10703-016-0256-5
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 13380
Sawczyk M, Klajn R. Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles. Journal of the American Chemical Society. 2017;139(49):17973-17978. doi:10.1021/jacs.7b09111
View
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 13381 |

Udayabhaskararao T, Altantzis T, Houben L, et al. Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices. Science. 2017;358(6362):514-518. doi:10.1126/science.aan6046
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC