Sudec I, Wang Y, Dakhlaoui O, Weinhäupl K, Jores T, Costa D, Hessel A, Brennich M, Rapaport D, Lindorff-Larsen K, Bersch B, Schanda P. Structural basis of client specificity in mitochondrial membrane-protein chaperones. bioRxiv,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, Kochdumper N, Li Y, Mitra S, Ray R, Schilling C, Schupp S, Wetzlinger M. 2020. ARCH-COM Category Report: Continuous and hybrid systems with linear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 16–48.
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, Collins P, Forets M, Freire D, Immler F, Kochdumper N, Sanders D, Schilling C. 2020. ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 49–75.
LibreCat: https://research-explorer.ista.ac.at/record/8571
DOI: 10.29007/zkf6

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

Avni G, Henzinger TA. 2020. A survey of bidding games on graphs. 31st International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 171, 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. 34th International Symposium on Distributed Computing. DISC: Symposium on Distributed ComputingLIPIcs vol. 179, 3:1-3:18.
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 AM. 2020. Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling. Condensed Matter. 5(3), 53.
LibreCat: https://research-explorer.ista.ac.at/record/8726
DOI: 10.3390/condmat5030053
arXiv: 2009.11773

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

Risi C, Muller CJ, 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. 12(8), e2020M2106.
LibreCat: https://research-explorer.ista.ac.at/record/9126
DOI: 10.1029/2020ms002106

Drobinski P, Da Silva N, Bastin S, Mailler S, Muller CJ, Ahrens B, Christensen OB, Lionello P. 2020. How warmer and drier will the Mediterranean region be at the end of the twenty-first century? Regional Environmental Change. 20(9), 78.
LibreCat: https://research-explorer.ista.ac.at/record/9127
DOI: 10.1007/s10113-020-01659-w

Muller CJ, 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. 15(3), 035001.
LibreCat: https://research-explorer.ista.ac.at/record/9128
DOI: 10.1088/1748-9326/ab7130

Shamekh S, Muller CJ, Duvel J P., D’Andrea F. 2020. Selfaggregation of convective clouds with interactive sea surface temperature. Journal of Advances in Modeling Earth Systems. 12(11), e2020M2164.
LibreCat: https://research-explorer.ista.ac.at/record/9125
DOI: 10.1029/2020ms002164

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

Gandhi T, Mac Huang J, Aubret A, Li Y, Ramananarivo S, Vergassola M, Palacci JA. 2020. Decision-making at a T-junction by gradient-sensing microscopic agents. Physical Review Fluids. 5(10), 104202.
LibreCat: https://research-explorer.ista.ac.at/record/9162
DOI: 10.1103/physrevfluids.5.104202

Speck T, Tailleur J, Palacci JA. 2020. Focus on active colloids and nanoparticles. New Journal of Physics. 22(6), 060201.
LibreCat: https://research-explorer.ista.ac.at/record/9164
DOI: 10.1088/1367-2630/ab90d9

Biswas R, Largeteau-Skapin G, Zrour R, Andres E. 2020. Digital objects in rhombic dodecahedron grid. Mathematical Morphology - Theory and Applications. 4(1), 143–158.
LibreCat: https://research-explorer.ista.ac.at/record/9249
DOI: 10.1515/mathm-2020-0106

Pach J, Tardos G, Tóth G. 2020. Crossings between non-homotopic edges. 28th International Symposium on Graph Drawing and Network Visualization. GD: Graph Drawing and Network VisualizationLNCS vol. 12590, 359–371.
LibreCat: https://research-explorer.ista.ac.at/record/9299
DOI: 10.1007/978-3-030-68766-3_28
arXiv: 2006.14908

Buci M, Kwan MA, Pokrovskiy A, Sudakov B. 2020. Halfway to Rota’s basis conjecture. International Mathematics Research Notices. 2020(21), 8007–8026.
LibreCat: https://research-explorer.ista.ac.at/record/9576
DOI: 10.1093/imrn/rnaa004
arXiv: 1810.07462

Kwan MA, Sudakov B. 2020. Ramsey graphs induce subgraphs of quadratically many sizes. International Mathematics Research Notices. 2020(6), 1621–1638.
LibreCat: https://research-explorer.ista.ac.at/record/9577
DOI: 10.1093/imrn/rny064
arXiv: 1711.02937

He X, Kwan MA. 2020. Universality of random permutations. Bulletin of the London Mathematical Society. 52(3), 515–529.
LibreCat: https://research-explorer.ista.ac.at/record/9573
DOI: 10.1112/blms.12345
arXiv: 1911.12878