Hauschild, R. (2020). RGtracker. IST Austria.https://doi.org/10.15479/AT:ISTA:8294 
LibreCat: https://research-explorer.ista.ac.at/record/8294
DOI: 10.15479/AT:ISTA:8294

Stewart, A., &; Kokoris Kogias, E. (n.d.). GRANDPA: A Byzantine finality gadget. arXiv.
LibreCat: https://research-explorer.ista.ac.at/record/8307
arXiv: 2007.01560

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 
LibreCat: https://research-explorer.ista.ac.at/record/8322
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8339
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8402
DOI: 10.1186/s12915-019-0733-6
PMID: 31907035

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 
LibreCat: https://research-explorer.ista.ac.at/record/8404
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8414
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8403
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8572
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8571
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8600
DOI: 10.4230/LIPIcs.CONCUR.2020.23
arXiv: 2007.08917

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 
LibreCat: https://research-explorer.ista.ac.at/record/8599
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/8725
DOI: 10.4230/LIPIcs.DISC.2020.3
arXiv: 2008.01009

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 
LibreCat: https://research-explorer.ista.ac.at/record/8726
DOI: 10.3390/condmat5030053
arXiv: 2009.11773

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 
LibreCat: https://research-explorer.ista.ac.at/record/9040
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/9059
DOI: 10.1038/s41586-020-2205-0
PMID: 32322078

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 
LibreCat: https://research-explorer.ista.ac.at/record/9096
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/9126
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/9127
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/9128
DOI: 10.1088/1748-9326/ab7130