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.

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.

Ionic solids from common colloids
T. Hueckel, G.M. Hocky, J.A. Palacci, S. Sacanna, Nature 580 (2020) 487–490.

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.

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).

Parasites and Pathogens
P. Schmid-Hempel, S. Cremer, in:, C. Starr (Ed.), Encyclopedia of Social Insects, Springer Nature, Cham, 2020.

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.

On the support of the free additive convolution
Z. Bao, L. Erdös, K. Schnelli, Journal d’Analyse Mathematique 142 (2020) 323–348.

Inversions and Evolution
A.M. Westram, R. Faria, R. Butlin, K. Johannesson, in:, ELS, Wiley, 2020.

Atmospheric radiative profiles during EUREA
A.L. Albright, B. Fildier, L. Touzé-Peiffer, R. Pincus, J. Vial, C.J. Muller, Earth System Science Data (n.d.).

Selfaggregation 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).

What controls the water vapor isotopic composition near the surface of tropical oceans? Results from an analytical model constrained by largeeddy simulations
C. Risi, C.J. Muller, P. Blossey, Journal of Advances in Modeling Earth Systems 12 (2020).

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).

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).

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.

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.

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.).

Primitive divisors of sequences associated to elliptic curves
M. Verzobio, Journal of Number Theory 209 (2020) 378–390.

The state of rock debris covering Earth’s glaciers
S. Herreid, F. Pellicciotti, Nature Geoscience 13 (2020) 621–627.

The utility of optical satellite winter snow depths for initializing a glaciohydrological model of a HighElevation, Andean catchment
T.E. Shaw, A. Caro, P. Mendoza, Á. Ayala, F. Pellicciotti, S. Gascoin, J. McPhee, Water Resources Research 56 (2020).