Li, Xiang, Enderalp Yakaboylu, Giacomo Bighin, Richard Schmidt, Mikhail Lemeshko, and Andreas Deuchert. “Intermolecular Forces and Correlations Mediated by a Phonon Bath.”https://doi.org/10.1063/1.5144759__The Journal of Chemical Physics. AIP Publishing, 2020.https://doi.org/10.1063/1.5144759 .
LibreCat: https://research-explorer.ista.ac.at/record/8587
DOI: 10.1063/1.5144759
WoS: 000530448300001
arXiv: 1912.02658

Bezeljak, Urban. “In Vitro Reconstitution of a Rab Activation Switch.”https://doi.org/10.15479/AT:ISTA:8341__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8341 .
LibreCat: https://research-explorer.ista.ac.at/record/8341
DOI: 10.15479/AT:ISTA:8341

Bezeljak, Urban, Hrushikesh Loya, Beata M Kaczmarek, Timothy E. Saunders, and Martin Loose. “Stochastic Activation and Bistability in a Rab GTPase Regulatory Network.”https://doi.org/10.1073/pnas.1921027117__Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2020.https://doi.org/10.1073/pnas.1921027117 .
LibreCat: https://research-explorer.ista.ac.at/record/7580
DOI: 10.1073/pnas.1921027117
WoS: 000521821800040

Huszár, Kristóf. “Combinatorial Width Parameters for 3-Dimensional Manifolds.”https://doi.org/10.15479/AT:ISTA:8032__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8032 .
LibreCat: https://research-explorer.ista.ac.at/record/8032
DOI: 10.15479/AT:ISTA:8032

Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.”https://doi.org/10.1007/978-3-030-53288-8_14__In Computer Aided Verification, 12224:275–98. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-53288-8_14 .
LibreCat: https://research-explorer.ista.ac.at/record/8195
DOI: 10.1007/978-3-030-53288-8_14
WoS: 000695276000014

Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.”https://doi.org/10.1145/3385412.3385980__In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 227–42. Association for Computing Machinery, 2020.https://doi.org/10.1145/3385412.3385980 .
LibreCat: https://research-explorer.ista.ac.at/record/8012
DOI: 10.1145/3385412.3385980
WoS: 000614622300016

Dos Santos Caldas, Paulo R. “Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers.”https://doi.org/10.15479/AT:ISTA:8358__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8358 .
LibreCat: https://research-explorer.ista.ac.at/record/8358
DOI: 10.15479/AT:ISTA:8358

Osang, Georg F, Mael Rouxel-Labbé, and Monique Teillaud. “Generalizing CGAL Periodic Delaunay Triangulations.”https://doi.org/10.4230/LIPIcs.ESA.2020.75__In 28th Annual European Symposium on Algorithms, Vol. 173. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.ESA.2020.75 .
LibreCat: https://research-explorer.ista.ac.at/record/8703
DOI: 10.4230/LIPIcs.ESA.2020.75

Phuong, Mary, and Christoph Lampert. “Functional vs. Parametric Equivalence of ReLU Networks.” In 8th International Conference on Learning Representations, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7481

Feliciangeli, Dario, and Robert Seiringer. “Uniqueness and Nondegeneracy of Minimizers of the Pekar Functional on a Ball.”https://doi.org/10.1137/19m126284x__SIAM Journal on Mathematical Analysis. Society for Industrial &; Applied Mathematics , 2020.https://doi.org/10.1137/19m126284x .
LibreCat: https://research-explorer.ista.ac.at/record/9781
DOI: 10.1137/19m126284x
WoS: 000546967700022
arXiv: 1904.08647