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

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

Reverse firewalls for actively secure MPCs
S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
LibreCat: https://research-explorer.ista.ac.at/record/8322
DOI: 10.1007/978-3-030-56880-1_26

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

The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments
H. Rampelt, I. Sucec, B. Bersch, P. Horten, I. Perschil, J.-C. Martinou, M. van der Laan, N. Wiedemann, P. Schanda, N. Pfanner, BMC Biology 18 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8402
DOI: 10.1186/s12915-019-0733-6
PMID: 31907035

Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone
K. Weinhäupl, Y. Wang, A. Hessel, M. Brennich, K. Lindorff-Larsen, P. Schanda, BioRxiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/8404
DOI: 10.1101/2020.03.13.990150

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

Structural basis of client specificity in mitochondrial membrane-protein chaperones
I. Sudec, Y. Wang, O. Dakhlaoui, K. Weinhäupl, T. Jores, D. Costa, A. Hessel, M. Brennich, D. Rapaport, K. Lindorff-Larsen, B. Bersch, P. Schanda, BioRxiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/8403
DOI: 10.1101/2020.06.08.140772

ARCH-COM Category Report: Continuous and hybrid systems with linear dynamics
M. Althoff, S. Bak, Z. Bao, M. Forets, G. Frehse, D. Freire, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling, S. Schupp, M. Wetzlinger, in:, EPiC Series in Computing, EasyChair, 2020, pp. 16–48.
LibreCat: https://research-explorer.ista.ac.at/record/8572
DOI: 10.29007/7dt2

ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
LibreCat: https://research-explorer.ista.ac.at/record/8571
DOI: 10.29007/zkf6

Multi-dimensional long-run average problems for vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8600
DOI: 10.4230/LIPIcs.CONCUR.2020.23
arXiv: 2007.08917

A survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8599
DOI: 10.4230/LIPIcs.CONCUR.2020.2

The splay-list: A distribution-adaptive concurrent skip-list
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 3:1-3:18.
LibreCat: https://research-explorer.ista.ac.at/record/8725
DOI: 10.4230/LIPIcs.DISC.2020.3
arXiv: 2008.01009

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/9040
DOI: 10.34727/2020/isbn.978-3-85448-042-6_21

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

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

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).
LibreCat: https://research-explorer.ista.ac.at/record/9126
DOI: 10.1029/2020ms002106

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).
LibreCat: https://research-explorer.ista.ac.at/record/9127
DOI: 10.1007/s10113-020-01659-w

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