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
2020 | Published | Conference Paper | IST-REx-ID: 9040 | 
Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
[Published Version]
View
| Files available
| DOI
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
2020 | Published | Journal Article | IST-REx-ID: 9054
Rapid characterization of neutral polymer brush with a conventional zetameter and a variable pinch of salt
M. Youssef, A. Morin, A. Aubret, S. Sacanna, J.A. Palacci, Soft Matter 16 (2020) 4274–4282.
View
| DOI
| PubMed | Europe PMC
M. Youssef, A. Morin, A. Aubret, S. Sacanna, J.A. Palacci, Soft Matter 16 (2020) 4274–4282.
2020 | Published | Journal Article | IST-REx-ID: 9059
Ionic solids from common colloids
T. Hueckel, G.M. Hocky, J.A. Palacci, S. Sacanna, Nature 580 (2020) 487–490.
View
| DOI
| PubMed | Europe PMC
T. Hueckel, G.M. Hocky, J.A. Palacci, S. Sacanna, Nature 580 (2020) 487–490.
2020 | Published | Journal Article | IST-REx-ID: 9067 |
Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles
M. Nauman, M.H. Alnasir, M.A. Hamayun, Y. Wang, M. Shatruk, S. Manzoor, RSC Advances 10 (2020) 28383–28389.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Nauman, M.H. Alnasir, M.A. Hamayun, Y. Wang, M. Shatruk, S. Manzoor, RSC Advances 10 (2020) 28383–28389.
2020 | Published | Journal Article | IST-REx-ID: 9069
Synthesis of ternary electrocatalysts for exploration of methanol electro-oxidation in alkaline media
T. Hussain, M. Nauman, S. Sabahat, S. Arif, Materials Research Express 6 (2020).
View
| DOI
T. Hussain, M. Nauman, S. Sabahat, S. Arif, Materials Research Express 6 (2020).
2020 | Published | Book Chapter | IST-REx-ID: 9096
Parasites and Pathogens
P. Schmid-Hempel, S. Cremer, in:, C. Starr (Ed.), Encyclopedia of Social Insects, Springer Nature, Cham, 2020.
View
| DOI
P. Schmid-Hempel, S. Cremer, in:, C. Starr (Ed.), Encyclopedia of Social Insects, Springer Nature, Cham, 2020.
2020 | Published | Conference Paper | IST-REx-ID: 9103 |
Lagrangian reachtubes: The next generation
S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.
2020 | Published | Journal Article | IST-REx-ID: 9104 |
On the support of the free additive convolution
Z. Bao, L. Erdös, K. Schnelli, Journal d’Analyse Mathematique 142 (2020) 323–348.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Z. Bao, L. Erdös, K. Schnelli, Journal d’Analyse Mathematique 142 (2020) 323–348.
2020 | Published | Book Chapter | IST-REx-ID: 9123
Inversions and Evolution
A.M. Westram, R. Faria, R. Butlin, K. Johannesson, in:, ELS, Wiley, 2020.
View
| DOI
A.M. Westram, R. Faria, R. Butlin, K. Johannesson, in:, ELS, Wiley, 2020.
2020 | Submitted | Preprint | IST-REx-ID: 9124 |
Atmospheric radiative profiles during EUREC4A
A.L. Albright, B. Fildier, L. Touzé-Peiffer, R. Pincus, J. Vial, C.J. Muller, Earth System Science Data (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
A.L. Albright, B. Fildier, L. Touzé-Peiffer, R. Pincus, J. Vial, C.J. Muller, Earth System Science Data (n.d.).
2020 | Published | Journal Article | IST-REx-ID: 9125 |
Self‐aggregation of convective clouds with interactive sea surface temperature
S. Shamekh, C.J. Muller, J. ‐P. Duvel, F. D’Andrea, Journal of Advances in Modeling Earth Systems 12 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Shamekh, C.J. Muller, J. ‐P. Duvel, F. D’Andrea, Journal of Advances in Modeling Earth Systems 12 (2020).
2020 | Published | Journal Article | IST-REx-ID: 9126 |
What controls the water vapor isotopic composition near the surface of tropical oceans? Results from an analytical model constrained by large‐eddy simulations
C. Risi, C.J. Muller, P. Blossey, Journal of Advances in Modeling Earth Systems 12 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Risi, C.J. Muller, P. Blossey, Journal of Advances in Modeling Earth Systems 12 (2020).
2020 | Published | Journal Article | IST-REx-ID: 9127 |
How warmer and drier will the Mediterranean region be at the end of the twenty-first century?
P. Drobinski, N. Da Silva, S. Bastin, S. Mailler, C.J. Muller, B. Ahrens, O.B. Christensen, P. Lionello, Regional Environmental Change 20 (2020).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Drobinski, N. Da Silva, S. Bastin, S. Mailler, C.J. Muller, B. Ahrens, O.B. Christensen, P. Lionello, Regional Environmental Change 20 (2020).
2020 | Published | Journal Article | IST-REx-ID: 9128 |
Response of precipitation extremes to warming: What have we learned from theory and idealized cloud-resolving simulations, and what remains to be learned?
C.J. Muller, Y. Takayabu, Environmental Research Letters 15 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.J. Muller, Y. Takayabu, Environmental Research Letters 15 (2020).
2020 | Published | Journal Article | IST-REx-ID: 9129
How do ocean warm anomalies favor the aggregation of deep convective clouds?
S. Shamekh, C.J. Muller, J.-P. Duvel, F. D’Andrea, Journal of the Atmospheric Sciences 77 (2020) 3733–3745.
View
| DOI
S. Shamekh, C.J. Muller, J.-P. Duvel, F. D’Andrea, Journal of the Atmospheric Sciences 77 (2020) 3733–3745.
2020 | Published | Book Chapter | IST-REx-ID: 9132
Clouds in current and in a warming climate
C.J. Muller, in:, F. Bouchet, T. Schneider, A. Venaille, C. Salomon (Eds.), Fundamental Aspects of Turbulent Flows in Climate Dynamics, Oxford University Press, 2020.
View
| DOI
C.J. Muller, in:, F. Bouchet, T. Schneider, A. Venaille, C. Salomon (Eds.), Fundamental Aspects of Turbulent Flows in Climate Dynamics, Oxford University Press, 2020.
2020 | Submitted | Preprint | IST-REx-ID: 9150 |
Rain evaporation, snow melt and entrainment at the heart of water vapor isotopic variations in the tropical troposphere, according to large-eddy simulations and a two-column model
C. Risi, C.J. Muller, P.N. Blossey, (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Risi, C.J. Muller, P.N. Blossey, (n.d.).
2020 | Published | Journal Article | IST-REx-ID: 12310 |
Primitive divisors of sequences associated to elliptic curves
M. Verzobio, Journal of Number Theory 209 (2020) 378–390.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Verzobio, Journal of Number Theory 209 (2020) 378–390.
2020 | Published | Journal Article | IST-REx-ID: 12593
The state of rock debris covering Earth’s glaciers
S. Herreid, F. Pellicciotti, Nature Geoscience 13 (2020) 621–627.
View
| Files available
| DOI
S. Herreid, F. Pellicciotti, Nature Geoscience 13 (2020) 621–627.
2020 | Published | Journal Article | IST-REx-ID: 12594 |
The utility of optical satellite winter snow depths for initializing a glacio‐hydrological model of a High‐Elevation, Andean catchment
T.E. Shaw, A. Caro, P. Mendoza, Á. Ayala, F. Pellicciotti, S. Gascoin, J. McPhee, Water Resources Research 56 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.E. Shaw, A. Caro, P. Mendoza, Á. Ayala, F. Pellicciotti, S. Gascoin, J. McPhee, Water Resources Research 56 (2020).