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.
LibreCat: https://research-explorer.ista.ac.at/record/8341
DOI: 10.15479/AT:ISTA:8341

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.
LibreCat: https://research-explorer.ista.ac.at/record/7580
DOI: 10.1073/pnas.1921027117
WoS: 000521821800040

Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8032
DOI: 10.15479/AT:ISTA:8032

Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
LibreCat: https://research-explorer.ista.ac.at/record/8195
DOI: 10.1007/978-3-030-53288-8_14
WoS: 000695276000014

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.
LibreCat: https://research-explorer.ista.ac.at/record/8012
DOI: 10.1145/3385412.3385980
WoS: 000614622300016

Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers
P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8358
DOI: 10.15479/AT:ISTA:8358

Generalizing CGAL periodic Delaunay triangulations
G.F. Osang, M. Rouxel-Labbé, M. Teillaud, in:, 28th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8703
DOI: 10.4230/LIPIcs.ESA.2020.75

Functional vs. parametric equivalence of ReLU networks
M. Phuong, C. Lampert, in:, 8th International Conference on Learning Representations, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7481

Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball
D. Feliciangeli, R. Seiringer, SIAM Journal on Mathematical Analysis 52 (2020) 605–622.
LibreCat: https://research-explorer.ista.ac.at/record/9781
DOI: 10.1137/19m126284x
WoS: 000546967700022
arXiv: 1904.08647 

Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension
J.L. Fischer, S. Hensel, Archive for Rational Mechanics and Analysis 236 (2020) 967–1087.
LibreCat: https://research-explorer.ista.ac.at/record/7489
DOI: 10.1007/s00205-019-01486-2
WoS: 000511060200001

The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions
J.L. Fischer, S. Hensel, T. Laux, T. Simon, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/10012
arXiv: 2003.05478

Surpassing the resistance quantum with a geometric superinductor
M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, J.M. Fink, Physical Review Applied 14 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8755
DOI: 10.1103/PhysRevApplied.14.044055
WoS: 000582797300003
arXiv: 2007.01644

Homogenisation of one-dimensional discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal de Mathematiques Pures et Appliquees 139 (2020) 204–234.
LibreCat: https://research-explorer.ista.ac.at/record/7573
DOI: 10.1016/j.matpur.2020.02.008
WoS: 000539439400008
arXiv: 1905.05757

Evolutionary -convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions
D.L. Forkert, J. Maas, L. Portinale, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/10022
arXiv: 2008.10962

On the sample complexity of adversarial multi-source PAC learning
N.H. Konstantinov, E. Frantar, D.-A. Alistarh, C. Lampert, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 5416–5425.
LibreCat: https://research-explorer.ista.ac.at/record/8724
arXiv: 2002.10384

Detecting composite orders in layered models via machine learning
W. Rzadkowski, N. Defenu, S. Chiacchiera, A. Trombettoni, G. Bighin, New Journal of Physics 22 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8644
DOI: 10.1088/1367-2630/abae44
WoS: 000573298000001

Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit
K. Mysliwy, R. Seiringer, Annales Henri Poincare 21 (2020) 4003–4025.
LibreCat: https://research-explorer.ista.ac.at/record/8705
DOI: 10.1007/s00023-020-00969-3
WoS: 000578111800002
arXiv: 2003.12371

AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.
LibreCat: https://research-explorer.ista.ac.at/record/10861
DOI: 10.1007/s10009-020-00582-z
WoS: 000555398600001

The relation between crosstalk and gene regulation form revisited
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7569
DOI: 10.1371/journal.pcbi.1007642
WoS: 000526725200019

Novel imprints in mouse blastocysts are predominantly DNA methylation independent
L. Santini, F. Halbritter, F. Titz-Teixeira, T. Suzuki, M. Asami, J. Ramesmayer, X. Ma, A. Lackner, N. Warr, F. Pauler, S. Hippenmeyer, E. Laue, M. Farlik, C. Bock, A. Beyer, A.C.F. Perry, M. Leeb, BioRxiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/8813
DOI: 10.1101/2020.11.03.366948
PMID: PPR234457