The free energy of a dilute two-dimensional Bose gas
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, Institute of Science and Technology Austria, 2020.

Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, Institute of Science and Technology Austria, 2020.

Novel insights into PIN polarity regulation during Arabidopsis development
H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, Institute of Science and Technology Austria, 2020.

Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter
J. Steiner, L.A. Sazanov, ELife 9 (2020).

Gene regulation across scales – how biophysical constraints shape evolution
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, Institute of Science and Technology Austria, 2020.

SCF TI/AFB auxin signaling for bending termination during shoot gravitropism
H. Han, H. Rakusova, I. Verstraeten, Y. Zhang, J. Friml, Plant Physiology 183 (2020) 37–40.

Normative models of enhancer function
R. Grah, B. Zoller, G. Tkadik, BioRxiv (2020).

The hole system of triangulated shapes
K. Ölsböck, The Hole System of Triangulated Shapes, Institute of Science and Technology Austria, 2020.

On the average-case hardness of total search problems
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, Institute of Science and Technology Austria, 2020.

Localizing grouped instances for efficient detection in low-resource scenarios
A. Royer, C. Lampert, in:, IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.

A flexible selection scheme for minimum-effort transfer learning
A. Royer, C. Lampert, in:, 2020 IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.

Multiple-environment Markov decision processes: Efficient analysis and applications
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.

XGAN: Unsupervised image-to-image translation for many-to-many mappings
A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49.

Reconfiguration problems
Z. Masárová, Reconfiguration Problems, Institute of Science and Technology Austria, 2020.

Intermolecular forces and correlations mediated by a phonon bath
X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, A. Deuchert, The Journal of Chemical Physics 152 (2020).

In vitro reconstitution of a Rab activation switch
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, Institute of Science and Technology Austria, 2020.

Stochastic activation and bistability in a Rab GTPase regulatory network
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.

Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute of Science and Technology Austria, 2020.

Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.

Inductive sequentialization of asynchronous programs
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.