Guseinov, Ruslan. Supplementary Data for “Computational Design of Cold Bent Glass Façades.” Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8761.
LibreCat: https://research-explorer.ista.ac.at/record/8761
DOI: 10.15479/AT:ISTA:8761

Csicsvari, Jozsef L., et al. Optogenetic Alteration of Hippocampal Network Activity. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8563.
LibreCat: https://research-explorer.ista.ac.at/record/8563
DOI: 10.15479/AT:ISTA:8563

Guseinov, Ruslan, et al. “Programming Temporal Morphing of Self-Actuated Shells.”10.1038/s41467-019-14015-2__Nature Communications, vol. 11, 237, Springer Nature, 2020, doi:10.1038/s41467-019-14015-2.
LibreCat: https://research-explorer.ista.ac.at/record/7262
DOI: 10.1038/s41467-019-14015-2
WoS: 000511916800015

Schur, Florian KM. STL-Files for 3D-Printed Grid Holders Described in  Fäßler F, Zens B, et Al.; 3D Printed Cell Culture Grid Holders for Improved Cellular Specimen Preparation in Cryo-Electron Microscopy. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:14592.
LibreCat: https://research-explorer.ista.ac.at/record/14592
DOI: 10.15479/AT:ISTA:14592

Bhatia, Sumit, et al. “A Persistent Homology Perspective to the Link Prediction Problem.”10.1007/978-3-030-36687-2_3__Complex Networks and Their Applications VIII, vol. 881, Springer Nature, 2020, pp. 27–39, doi:10.1007/978-3-030-36687-2_3.
LibreCat: https://research-explorer.ista.ac.at/record/7213
DOI: 10.1007/978-3-030-36687-2_3
WoS: 000843927300003

Kokoris Kogias, Eleftherios, et al. “Asynchronous Distributed Key Generation for Computationally-Secure Randomness, Consensus, and Threshold Signatures.”10.1145/3372297.3423364__Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2020, pp. 1751–1767, doi:10.1145/3372297.3423364.
LibreCat: https://research-explorer.ista.ac.at/record/10556
DOI: 10.1145/3372297.3423364
WoS: 000768470400104

Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification of Nonlinear Switched Systems.”10.1109/RTSS49844.2020.00031__2020 IEEE Real-Time Systems Symposium, IEEE, 2020, pp. 244–56, doi:10.1109/RTSS49844.2020.00031.
LibreCat: https://research-explorer.ista.ac.at/record/9202
DOI: 10.1109/RTSS49844.2020.00031
WoS: 000680435100021

Boccato, Chiara, et al. “Optimal Rate for Bose-Einstein Condensation in the Gross-Pitaevskii Regime.”10.1007/s00220-019-03555-9__Communications in Mathematical Physics, vol. 376, Springer, 2020, pp. 1311–95, doi:10.1007/s00220-019-03555-9.
LibreCat: https://research-explorer.ista.ac.at/record/6906
DOI: 10.1007/s00220-019-03555-9
WoS: 000536053300012
arXiv: 1812.03086

Bruce, Ashley E. E., and Carl-Philipp J. Heisenberg. “Mechanisms of Zebrafish Epiboly: A Current View.”10.1016/bs.ctdb.2019.07.001__Gastrulation: From Embryonic Pattern to Form, edited by Lilianna10.1016/bs.ctdb.2019.07.001__Solnica-Krezel, vol. 136, Elsevier, 2020, pp. 319–41, doi:10.1016/bs.ctdb.2019.07.001.
LibreCat: https://research-explorer.ista.ac.at/record/7410
DOI: 10.1016/bs.ctdb.2019.07.001
WoS: 000611830600012

Sun, Rémy, and Christoph Lampert. “KS(Conf): A Light-Weight Test If a Multiclass Classifier Operates Outside of Its Specifications.”10.1007/s11263-019-01232-x__International Journal of Computer Vision, vol. 128, no. 4, Springer Nature, 2020, pp. 970–95, doi:10.1007/s11263-019-01232-x.
LibreCat: https://research-explorer.ista.ac.at/record/6944
DOI: 10.1007/s11263-019-01232-x
WoS: 000494406800001

Wang, Peixin, et al. “Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.”10.1145/3371093__Proceedings of the ACM on Programming Languages, vol. 4, no. POPL, 25, ACM, 2020, doi:10.1145/3371093.
LibreCat: https://research-explorer.ista.ac.at/record/8324
DOI: 10.1145/3371093
arXiv: 1902.04744

Salazar, Juan Esteban, et al. “Anatomical Specializations Related to Foraging in the Visual System of a Nocturnal Insectivorous Bird, the Band-Winged Nightjar (Aves: Caprimulgiformes).”10.1159/000504162__Brain, Behavior and Evolution, vol. 94, no. 1–4, Karger Publishers, 2020, pp. 27–36, doi:10.1159/000504162.
LibreCat: https://research-explorer.ista.ac.at/record/7160
DOI: 10.1159/000504162
WoS: 000522856600004
PMID: 31751995

Alt, Johannes, et al. “Correlated Random Matrices: Band Rigidity and Edge Universality.”10.1214/19-AOP1379__Annals of Probability, vol. 48, no. 2, Institute of Mathematical Statistics, 2020, pp. 963–1001, doi:10.1214/19-AOP1379.
LibreCat: https://research-explorer.ista.ac.at/record/6184
DOI: 10.1214/19-AOP1379
WoS: 000528269100013
arXiv: 1804.07744

Moulinier-Anzola, Jeanette, et al. “TOLs Function as Ubiquitin Receptors in the Early Steps of the ESCRT Pathway in Higher Plants.”10.1016/j.molp.2020.02.012__Molecular Plant, vol. 13, no. 5, Elsevier, 2020, pp. 717–31, doi:10.1016/j.molp.2020.02.012.
LibreCat: https://research-explorer.ista.ac.at/record/15037
DOI: 10.1016/j.molp.2020.02.012
PMID: 32087370

Rosa, Higor Vinícius Dias, et al. “Molecular Recognition at Septin Interfaces: The Switches Hold the Key.”10.1016/j.jmb.2020.09.001__Journal of Molecular Biology, vol. 432, no. 21, Elsevier, 2020, pp. 5784–801, doi:10.1016/j.jmb.2020.09.001.
LibreCat: https://research-explorer.ista.ac.at/record/15036
DOI: 10.1016/j.jmb.2020.09.001
PMID: 32910969

Ishida, Sadashige, et al. “A Model for Soap Film Dynamics with Evolving Thickness.”10.1145/3386569.3392405__ACM Transactions on Graphics, vol. 39, no. 4, 31, Association for Computing Machinery, 2020, doi:10.1145/3386569.3392405.
LibreCat: https://research-explorer.ista.ac.at/record/8384
DOI: 10.1145/3386569.3392405
WoS: 000583700300004

Czumaj, Artur, et al. “Graph Sparsification for Derandomizing Massively Parallel Computation with Low Space.”10.1145/3350755.3400282__Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), no. 7, Association for Computing Machinery, 2020, pp. 175–85, doi:10.1145/3350755.3400282.
LibreCat: https://research-explorer.ista.ac.at/record/7802
DOI: 10.1145/3350755.3400282
WoS: 000744436200015
arXiv: 1912.05390

Brown, Trevor A., et al. “Non-Blocking Interpolation Search Trees with Doubly-Logarithmic Running Time.”10.1145/3332466.3374542__Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 276–91, doi:10.1145/3332466.3374542.
LibreCat: https://research-explorer.ista.ac.at/record/7636
DOI: 10.1145/3332466.3374542
WoS: 000564476500020

Alistarh, Dan-Adrian, et al. “Memory Tagging: Minimalist Synchronization for Scalable Concurrent Data Structures.”10.1145/3350755.3400213__Annual ACM Symposium on Parallelism in Algorithms and Architectures, no. 7, Association for Computing Machinery, 2020, pp. 37–49, doi:10.1145/3350755.3400213.
LibreCat: https://research-explorer.ista.ac.at/record/8191
DOI: 10.1145/3350755.3400213
WoS: 000744436200004

Koval, Nikita, et al. “Testing Concurrency on the JVM with Lincheck.”10.1145/3332466.3374503__Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, Association for Computing Machinery, 2020, pp. 423–24, doi:10.1145/3332466.3374503.
LibreCat: https://research-explorer.ista.ac.at/record/7635
DOI: 10.1145/3332466.3374503