S. Chakraborty, S. Dziembowski, and J. B. Nielsen, “Reverse firewalls for actively secure MPCs,” in Advances in Cryptology – CRYPTO 2020, Santa Barbara, CA, United States, 2020, vol. 12171, pp. 732–762.
LibreCat: https://research-explorer.ista.ac.at/record/8322
DOI: 10.1007/978-3-030-56880-1_26

N. Genise, D. Micciancio, C. Peikert, and M. Walter, “Improved discrete Gaussian and subgaussian analysis for lattice cryptography,” in 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Edinburgh, United Kingdom, 2020, vol. 12110, pp. 623–651.
LibreCat: https://research-explorer.ista.ac.at/record/8339
DOI: 10.1007/978-3-030-45374-9_21

H. Rampelt et al., “The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments,” BMC Biology, vol. 18. Springer Nature, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8402
DOI: 10.1186/s12915-019-0733-6
PMID: 31907035

K. Weinhäupl, Y. Wang, A. Hessel, M. Brennich, K. Lindorff-Larsen, and P. Schanda, “Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone,” bioRxiv. Cold Spring Harbor Laboratory.
LibreCat: https://research-explorer.ista.ac.at/record/8404
DOI: 10.1101/2020.03.13.990150

V. Kaloshin and K. Zhang, Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom, 1st ed., vol. 208. Princeton University Press, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8414
DOI: 10.1515/9780691204932

I. Sudec et al., “Structural basis of client specificity in mitochondrial membrane-protein chaperones,” bioRxiv. Cold Spring Harbor Laboratory.
LibreCat: https://research-explorer.ista.ac.at/record/8403
DOI: 10.1101/2020.06.08.140772

M. Althoff et al., “ARCH-COM Category Report: Continuous and hybrid systems with linear dynamics,” in EPiC Series in Computing, 2020, vol. 74, pp. 16–48.
LibreCat: https://research-explorer.ista.ac.at/record/8572
DOI: 10.29007/7dt2

L. Geretti et al., “ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, 2020, vol. 74, pp. 49–75.
LibreCat: https://research-explorer.ista.ac.at/record/8571
DOI: 10.29007/zkf6

K. Chatterjee, T. A. Henzinger, and J. Otop, “Multi-dimensional long-run average problems for vector addition systems with states,” in 31st International Conference on Concurrency Theory, Virtual, 2020, vol. 171.
LibreCat: https://research-explorer.ista.ac.at/record/8600
DOI: 10.4230/LIPIcs.CONCUR.2020.23
arXiv: 2007.08917

G. Avni and T. A. Henzinger, “A survey of bidding games on graphs,” in 31st International Conference on Concurrency Theory, Virtual, 2020, vol. 171.
LibreCat: https://research-explorer.ista.ac.at/record/8599
DOI: 10.4230/LIPIcs.CONCUR.2020.2

V. Aksenov, D.-A. Alistarh, A. Drozdova, and A. Mohtashami, “The splay-list: A distribution-adaptive concurrent skip-list,” in 34th International Symposium on Distributed Computing, Freiburg, Germany, 2020, vol. 179, p. 3:1-3:18.
LibreCat: https://research-explorer.ista.ac.at/record/8725
DOI: 10.4230/LIPIcs.DISC.2020.3
arXiv: 2008.01009

D. Gotfryd, E. Paerschke, K. Wohlfeld, and A. M. Oleb, “Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling,” Condensed Matter, vol. 5, no. 3. MDPI, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8726
DOI: 10.3390/condmat5030053
arXiv: 2009.11773

P. A. Alamdari, G. Avni, T. A. Henzinger, and A. Lukina, “Formal methods with a touch of magic,” in Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, Online Conference, 2020, pp. 138–147.
LibreCat: https://research-explorer.ista.ac.at/record/9040
DOI: 10.34727/2020/isbn.978-3-85448-042-6_21

T. Hueckel, G. M. Hocky, J. A. Palacci, and S. Sacanna, “Ionic solids from common colloids,” Nature, vol. 580, no. 7804. Springer Nature, pp. 487–490, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/9059
DOI: 10.1038/s41586-020-2205-0
PMID: 32322078

P. Schmid-Hempel and S. Cremer, “Parasites and Pathogens,” in Encyclopedia of Social Insects, C. Starr, Ed. Cham: Springer Nature, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/9096
DOI: 10.1007/978-3-319-90306-4_94-1

C. Risi, C. J. Muller, and P. Blossey, “What controls the water vapor isotopic composition near the surface of tropical oceans? Results from an analytical model constrained by largeeddy simulations,” Journal of Advances in Modeling Earth Systems, vol. 12, no. 8. American Geophysical Union, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/9126
DOI: 10.1029/2020ms002106

P. Drobinski et al., “How warmer and drier will the Mediterranean region be at the end of the twenty-first century?,” Regional Environmental Change, vol. 20, no. 9. Springer Nature, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/9127
DOI: 10.1007/s10113-020-01659-w

C. J. Muller and Y. Takayabu, “Response of precipitation extremes to warming: What have we learned from theory and idealized cloud-resolving simulations, and what remains to be learned?,” Environmental Research Letters, vol. 15, no. 3. IOP Publishing, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/9128
DOI: 10.1088/1748-9326/ab7130

S. Shamekh, C. J. Muller, J. P. Duvel, and F. D’Andrea, “Selfaggregation of convective clouds with interactive sea surface temperature,” Journal of Advances in Modeling Earth Systems, vol. 12, no. 11. American Geophysical Union, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/9125
DOI: 10.1029/2020ms002164

A. L. Albright, B. Fildier, L. Touzé-Peiffer, R. Pincus, J. Vial, and C. J. Muller, “Atmospheric radiative profiles during EUREA,” Earth System Science Data. Copernicus Publications.
LibreCat: https://research-explorer.ista.ac.at/record/9124
DOI: 10.5194/essd-2020-269