Hauschild, R. (2020). RGtracker. IST Austria.https://doi.org/10.15479/AT:ISTA:8294 

Stewart, A., &; Kokoris Kogias, E. (n.d.). GRANDPA: A Byzantine finality gadget. arXiv.

Chakraborty, S., Dziembowski, S., &; Nielsen, J. B. (2020). Reverse firewalls for actively secure MPCs. In Advances in Cryptology – CRYPTO 2020 (Vol. 12171, pp. 732–762). Santa Barbara, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-030-56880-1_26 

Genise, N., Micciancio, D., Peikert, C., &; Walter, M. (2020). Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography (Vol. 12110, pp. 623–651). Edinburgh, United Kingdom: Springer Nature.https://doi.org/10.1007/978-3-030-45374-9_21 

Rampelt, H., Sucec, I., Bersch, B., Horten, P., Perschil, I., Martinou, J.-C.,https://doi.org/10.1186/s12915-019-0733-6__Pfanner, N. (2020). The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments. BMC Biology. Springer Nature.https://doi.org/10.1186/s12915-019-0733-6 

Weinhäupl, K., Wang, Y., Hessel, A., Brennich, M., Lindorff-Larsen, K., &; Schanda, P. (n.d.). Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv. Cold Spring Harbor Laboratory.https://doi.org/10.1101/2020.03.13.990150 

Kaloshin, V., &; Zhang, K. (2020). Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom (1st ed., Vol. 208). Princeton University Press.https://doi.org/10.1515/9780691204932 

Sudec, I., Wang, Y., Dakhlaoui, O., Weinhäupl, K., Jores, T., Costa, D.,https://doi.org/10.1101/2020.06.08.140772__Schanda, P. (n.d.). Structural basis of client specificity in mitochondrial membrane-protein chaperones. bioRxiv. Cold Spring Harbor Laboratory.https://doi.org/10.1101/2020.06.08.140772 

Althoff, M., Bak, S., Bao, Z., Forets, M., Frehse, G., Freire, D.,https://doi.org/10.29007/7dt2__Wetzlinger, M. (2020). ARCH-COM Category Report: Continuous and hybrid systems with linear dynamics. In EPiC Series in Computing (Vol. 74, pp. 16–48). EasyChair.https://doi.org/10.29007/7dt2 

Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Chapoutot, A., Chen, X.,https://doi.org/10.29007/zkf6__Schilling, C. (2020). ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 74, pp. 49–75). EasyChair.https://doi.org/10.29007/zkf6 

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2020). Multi-dimensional long-run average problems for vector addition systems with states. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2020.23 

Avni, G., &; Henzinger, T. A. (2020). A survey of bidding games on graphs. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2020.2 

Aksenov, V., Alistarh, D.-A., Drozdova, A., &; Mohtashami, A. (2020). The splay-list: A distribution-adaptive concurrent skip-list. In 34th International Symposium on Distributed Computing (Vol. 179, p. 3:1-3:18). Freiburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.DISC.2020.3 

Gotfryd, D., Paerschke, E., Wohlfeld, K., &; Oleb, A. M. (2020). Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling. Condensed Matter. MDPI.https://doi.org/10.3390/condmat5030053 

Alamdari, P. A., Avni, G., Henzinger, T. A., &; Lukina, A. (2020). Formal methods with a touch of magic. In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (pp. 138–147). Online Conference: TU Wien Academic Press.https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21 

Hueckel, T., Hocky, G. M., Palacci, J. A., &; Sacanna, S. (2020). Ionic solids from common colloids. Nature. Springer Nature.https://doi.org/10.1038/s41586-020-2205-0 

Schmid-Hempel, P., &; Cremer, S. (2020). Parasites and Pathogens. In C. Starr (Ed.), Encyclopedia of Social Insects. Cham: Springer Nature.https://doi.org/10.1007/978-3-319-90306-4_94-1 

Risi, C., Muller, C. J., &; Blossey, P. (2020). 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. American Geophysical Union.https://doi.org/10.1029/2020ms002106 

Drobinski, P., Da Silva, N., Bastin, S., Mailler, S., Muller, C. J., Ahrens, B.,https://doi.org/10.1007/s10113-020-01659-w__Lionello, P. (2020). How warmer and drier will the Mediterranean region be at the end of the twenty-first century? Regional Environmental Change. Springer Nature.https://doi.org/10.1007/s10113-020-01659-w 

Muller, C. J., &; Takayabu, Y. (2020). 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. IOP Publishing.https://doi.org/10.1088/1748-9326/ab7130