P. Wang, H. Fu, K. Chatterjee, Y. Deng, and M. Xu, “Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time,” in Proceedings of the ACM on Programming Languages, 2020, vol. 4, no. POPL.
LibreCat: https://research-explorer.ista.ac.at/record/8324
DOI: 10.1145/3371093
arXiv: 1902.04744

J. E. Salazar et al., “Anatomical specializations related to foraging in the visual system of a nocturnal insectivorous bird, the band-winged nightjar (Aves: Caprimulgiformes),” Brain, Behavior and Evolution, vol. 94, no. 1–4. Karger Publishers, pp. 27–36, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7160
DOI: 10.1159/000504162
WoS: 000522856600004
PMID: 31751995

J. Alt, L. Erdös, T. H. Krüger, and D. J. Schröder, “Correlated random matrices: Band rigidity and edge universality,” Annals of Probability, vol. 48, no. 2. Institute of Mathematical Statistics, pp. 963–1001, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/6184
DOI: 10.1214/19-AOP1379
WoS: 000528269100013
arXiv: 1804.07744

J. Moulinier-Anzola et al., “TOLs function as ubiquitin receptors in the early steps of the ESCRT pathway in higher plants,” Molecular Plant, vol. 13, no. 5. Elsevier, pp. 717–731, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/15037
DOI: 10.1016/j.molp.2020.02.012
PMID: 32087370

H. V. D. Rosa et al., “Molecular recognition at septin interfaces: The switches hold the key,” Journal of Molecular Biology, vol. 432, no. 21. Elsevier, pp. 5784–5801, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/15036
DOI: 10.1016/j.jmb.2020.09.001
PMID: 32910969

S. Ishida, P. Synak, F. Narita, T. Hachisuka, and C. Wojtan, “A model for soap film dynamics with evolving thickness,” ACM Transactions on Graphics, vol. 39, no. 4. Association for Computing Machinery, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8384
DOI: 10.1145/3386569.3392405
WoS: 000583700300004

A. Czumaj, P. Davies, and M. Parter, “Graph sparsification for derandomizing massively parallel computation with low space,” in Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Virtual Event, United States, 2020, no. 7, pp. 175–185.
LibreCat: https://research-explorer.ista.ac.at/record/7802
DOI: 10.1145/3350755.3400282
WoS: 000744436200015
arXiv: 1912.05390

T. A. Brown, A. Prokopec, and D.-A. Alistarh, “Non-blocking interpolation search trees with doubly-logarithmic running time,” in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, CA, United States, 2020, pp. 276–291.
LibreCat: https://research-explorer.ista.ac.at/record/7636
DOI: 10.1145/3332466.3374542
WoS: 000564476500020

D.-A. Alistarh, T. A. Brown, and N. Singhal, “Memory tagging: Minimalist synchronization for scalable concurrent data structures,” in Annual ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, United States, 2020, no. 7, pp. 37–49.
LibreCat: https://research-explorer.ista.ac.at/record/8191
DOI: 10.1145/3350755.3400213
WoS: 000744436200004

N. Koval, M. Sokolova, A. Fedorov, D.-A. Alistarh, and D. Tsitelov, “Testing concurrency on the JVM with Lincheck,” in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, San Diego, CA, United States, 2020, pp. 423–424.
LibreCat: https://research-explorer.ista.ac.at/record/7635
DOI: 10.1145/3332466.3374503

D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, and L. Zhu, “Brief Announcement: Why Extension-Based Proofs Fail,” in Proceedings of the 39th Symposium on Principles of Distributed Computing, Virtual, Italy, 2020, pp. 54–56.
LibreCat: https://research-explorer.ista.ac.at/record/8383
DOI: 10.1145/3382734.3405743

G. Sperl, R. Narain, and C. Wojtan, “Homogenized yarn-level cloth,” ACM Transactions on Graphics, vol. 39, no. 4. Association for Computing Machinery, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8385
DOI: 10.1145/3386569.3392412
WoS: 000583700300021

J. Pkalski, W. Rzadkowski, and A. Z. Panagiotopoulos, “Shear-induced ordering in systems with competing interactions: A machine learning study,” The Journal of chemical physics, vol. 152, no. 20. AIP Publishing, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7956
DOI: 10.1063/5.0005194
WoS: 000537900300001
arXiv: 2002.07294

A. Ghazaryan, P. L. S. Lopes, P. Hosur, M. J. Gilbert, and P. Ghaemi, “Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors,” Physical Review B, vol. 101, no. 2. American Physical Society, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7428
DOI: 10.1103/PhysRevB.101.020504
WoS: 000506843500001
arXiv: 1907.02077

Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B. K. Malia, O. Hosten, and M. A. Kasevich, “Retrieval of cavity-generated atomic spin squeezing after free-space release,” Physical Review A, vol. 102, no. 1. American Physical Society, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8319
DOI: 10.1103/PhysRevA.102.012224
WoS: 000555104200011
arXiv: 1912.08334

S. Jeschke, C. Hafner, N. Chentanez, M. Macklin, M. Müller-Fischer, and C. Wojtan, “Making procedural water waves boundary-aware,” Computer Graphics forum, vol. 39, no. 8. Wiley, pp. 47–54, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8766
DOI: 10.1111/cgf.14100
WoS: 000591780400005

T. Brázdil, K. Chatterjee, P. Novotný, and J. Vahala, “Reinforcement learning of risk-constrained policies in Markov decision processes,” Proceedings of the 34th AAAI Conference on Artificial Intelligence, vol. 34, no. 06. Association for the Advancement of Artificial Intelligence, pp. 9794–9801, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/15055
DOI: 10.1609/aaai.v34i06.6531
arXiv: 2002.12086

S. Park et al., “VRK-1 extends life span by activation of AMPK via phosphorylation,” Science Advances, vol. 6, no. 27. American Association for the Advancement of Science, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/15057
DOI: 10.1126/sciadv.aaw7824

N. Pinotsis et al., “Calcium modulates the domain flexibility and function of an ;1-actinin similar to the ancestral ;1-actinin,” Proceedings of the National Academy of Sciences, vol. 117, no. 36. Proceedings of the National Academy of Sciences, pp. 22101–22112, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/15061
DOI: 10.1073/pnas.1917269117
PMID: 32848067

U. Bauer, H. Edelsbrunner, G. Jablonski, and M. Mrozek, “cech-Delaunay gradient flow and homology inference for self-maps,” Journal of Applied and Computational Topology, vol. 4, no. 4. Springer Nature, pp. 455–480, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/15064
DOI: 10.1007/s41468-020-00058-8