D. Ernst, G. Novotny, and E. M. Schönher, “(Core Trust) Seal your repository!,” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, vol. 73, no. 1. Vereinigung Osterreichischer Bibliothekarinnen und Bibliothekare, pp. 46–59, 2020.

L. Erdös, F. Götze, and A. Guionnet, “Random matrices,” Oberwolfach Reports, vol. 16, no. 4. European Mathematical Society, pp. 3459–3527, 2020.

C. Hainzl, B. Schlein, R. Seiringer, and S. Warzel, “Many-body quantum systems,” Oberwolfach Reports, vol. 16, no. 3. European Mathematical Society, pp. 2541–2603, 2020.

V. Oshurkova, O. Troshina, V. Trubitsyn, Y. Ryzhmanova, O. Bochkareva, and V. Shcherbakova, “Characterization of methanosarcina mazei JL01 isolated from holocene arctic permafrost and study of the archaeon cooperation with bacterium Sphaerochaeta associata GLT,” in Proceedings of 1st International Electronic Conference on Microbiology, Virtual, 2020.

F. Fäßler et al., “Cryo-electron tomography workflows for quantitative analysis of actin networks involved in cell migration,” Microscopy and Microanalysis, vol. 26, no. . Oxford University Press, pp. 2518–2519, 2020.

F. Faghri, I. Tabrizian, I. Markov, D.-A. Alistarh, D. Roy, and A. Ramezani-Kebrya, “Adaptive gradient quantization for data-parallel SGD,” in Advances in Neural Information Processing Systems, Vancouver, Canada, 2020, vol. 33.

P. Bhandari, “Localization and functional role of Ca.3 in the medial habenula to interpeduncular nucleus pathway,” Institute of Science and Technology Austria, 2020.

F. Fäßler, B. Zens, R. Hauschild, and F. K. Schur, “D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy,” Journal of Structural Biology, vol. 212, no. 3. Elsevier, 2020.

B. Kavcic, “Perturbations of protein synthesis: from antibiotics to genetics and physiology,” Institute of Science and Technology Austria, 2020.

C. Borges Merjane, O. Kim, and P. M. Jonas, “Functional electron microscopy (‘Flash and Freeze’) of identified cortical synapses in acute brain slices,” Neuron, vol. 105. Elsevier, pp. 992–1006, 2020.

B. Kavcic, G. Tkadik, and M. T. Bollenbach, “Mechanisms of drug interactions between translation-inhibiting antibiotics,” Nature Communications, vol. 11. Springer Nature, 2020.

B. Kavcic, G. Tkadik, and M. T. Bollenbach, “A minimal biophysical model of combined antibiotic action,” bioRxiv. Cold Spring Harbor Laboratory, 2020.

L. Hörmayer, J. C. Montesinos López, P. Marhavá, E. Benková, S. Yoshida, and J. Friml, “Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots,” Proceedings of the National Academy of Sciences, vol. 117, no. 26. Proceedings of the National Academy of Sciences, 2020.

S. Kainrath, “Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals,” Institute of Science and Technology Austria, 2020.

J. Morandell, “Illuminating the role of Cul3 in autism spectrum disorder pathogenesis,” Institute of Science and Technology Austria, 2020.

D. Kampjut, “Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes,” Institute of Science and Technology Austria, 2020.

J. Morandell et al., “Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development,” bioRxiv. Cold Spring Harbor Laboratory.

B. Basilico, J. Morandell, and G. Novarino, “Molecular mechanisms for targeted ASD treatments,” Current Opinion in Genetics and Development, vol. 65, no. 12. Elsevier, pp. 126–137, 2020.

G. A. Dimchev et al., “Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation,” Journal of Cell Science, vol. 133, no. 7. The Company of Biologists, 2020.

T. Mitiouchkina et al., “Plants with genetically encoded autoluminescence,” Nature Biotechnology, vol. 38. Springer Nature, pp. 944–946, 2020.

J. Slovakova et al., “Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion,” bioRxiv. Cold Spring Harbor Laboratory, 2020.

M. Garcia Soto and P. Prabhakar, “Abstraction based verification of stability of polyhedral switched systems,” Nonlinear Analysis: Hybrid Systems, vol. 36, no. 5. Elsevier, 2020.

A. Reversat et al., “Cellular locomotion using environmental topography,” Nature, vol. 582. Springer Nature, pp. 582–585, 2020.

S. Emtenani, “Metabolic regulation of Drosophila macrophage tissue invasion,” Institute of Science and Technology Austria, 2020.

V. Belyaeva et al., “Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance,” bioRxiv. .

K. Aggarwal et al., “Enhancement of proximity induced superconductivity in planar Germanium,” arXiv. .

D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M. J. Case, Y. Fukazawa, and R. Shigemoto, “Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses,” International Journal of Molecular Sciences, vol. 21, no. 18. MDPI, 2020.

K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal and perfectly parallel algorithms for on-demand data-flow analysis,” in European Symposium on Programming, Dublin, Ireland, 2020, vol. 12075, pp. 112–140.

A. Asadi, K. Chatterjee, A. K. Goharshady, K. Mohammadi, and A. Pavlogiannis, “Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth,” in Automated Technology for Verification and Analysis, Hanoi, Vietnam, 2020, vol. 12302, pp. 253–270.

K. Chatterjee, H. Fu, A. K. Goharshady, and E. K. Goharshady, “Polynomial invariant generation for non-deterministic recursive programs,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 2020, pp. 672–687.

A. K. Goharshady and F. Mohammadi, “An efficient algorithm for computing network reliability in small treewidth,” Reliability Engineering and System Safety, vol. 193. Elsevier, 2020.

Y. Shehu, A. Gibali, and S. Sagratella, “Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces,” Journal of Optimization Theory and Applications, vol. 184. Springer Nature, pp. 877–894, 2020.

I. Tomanek et al., “Gene amplification as a form of population-level gene expression regulation,” Nature Ecology &; Evolution, vol. 4, no. 4. Springer Nature, pp. 612–625, 2020.

D. Scarselli, “New approaches to reduce friction in turbulent pipe flow,” Institute of Science and Technology Austria, 2020.

I. Tomanek, “The evolution of gene expression by copy number and point mutations,” Institute of Science and Technology Austria, 2020.

S. Tan et al., “Salicylic acid targets protein phosphatase 2A to attenuate growth in plants,” Current Biology, vol. 30, no. 3. Cell Press, p. 381–395.e8, 2020.

E. Mazur, I. Kulik, J. Hajny, and J. Friml, “Auxin canalization and vascular tissue formation by TI/AFB-mediated auxin signaling in arabidopsis,” New Phytologist, vol. 226, no. 5. Wiley, pp. 1375–1383, 2020.

J. Hajny, “Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration,” Institute of Science and Technology Austria, 2020.

S. Shamipour, “Bulk actin dynamics drive phase segregation in zebrafish oocytes ,” Institute of Science and Technology Austria, 2020.

A. H. Hansen and S. Hippenmeyer, “Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex,” Frontiers in Cell and Developmental Biology, vol. 8, no. 9. Frontiers, 2020.

R. J. Beattie et al., “Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM),” Journal of Visual Experiments, no. 159. MyJove Corporation, 2020.

X. Contreras, “Genetic dissection of neural development in health and disease at single cell resolution,” Institute of Science and Technology Austria, 2020.

M. K. Sixt and A. Huttenlocher, “Zena Werb (1945-2020): Cell biology in context,” The Journal of Cell Biology, vol. 219, no. 8. Rockefeller University Press, 2020.

Y. Zhang, L. Rodriguez Solovey, L. Li, X. Zhang, and J. Friml, “Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants,” Science Advances, vol. 6, no. 50. AAAS, 2020.

H. Chen et al., “AcoMY, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling,” International Journal of Molecular Sciences, vol. 21, no. 16. MDPI, 2020.

A. J. Johnson et al., “Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis,” Journal of Cell Science, vol. 133, no. 15. The Company of Biologists, 2020.

H. Semerádová, J. C. Montesinos López, and E. Benková, “All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways,” Plant Communications, vol. 1, no. 3. Elsevier, 2020.

G. Frehse et al., “ARCH-COM Category Report: Hybrid systems with piecewise constant dynamics,” in ARC. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Montreal, Canada, 2019, vol. 61, pp. 1–13.

N. Kalinin and M. Shkolnikov, “Tropical formulae for summation over a part of SL(2,Z),” European Journal of Mathematics, vol. 5, no. 3. Springer Nature, pp. 909–928, 2019.

Y. Asaoka, H. Morita, H. Furumoto, C.-P. J. Heisenberg, and M. Furutani-Seiki, “Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids,” in The hippo pathway, vol. 1893, A. Hergovich, Ed. Springer, 2019, pp. 167–181.

G. Demay, P. Gazi, U. Maurer, and B. Tackmann, “Per-session security: Password-based cryptography revisited,” Journal of Computer Security, vol. 27, no. 1. IOS Press, pp. 75–111, 2019.

R. Dyer, G. Vegter, and M. Wintraecken, “Simplices modelled on spaces of constant curvature,” Journal of Computational Geometry , vol. 10, no. 1. Carleton University, pp. 223–256, 2019.

K. Z. Pietrzak, “Simple verifiable delay functions,” in 10th Innovations in Theoretical Computer Science Conference, San Diego, CA, United States, 2019, vol. 124.

A. Kundu, M. Garcia Soto, and P. Prabhakar, “Formal synthesis of stabilizing controllers for periodically controlled linear switched systems,” in 5th Indian Control Conference Proceedings, Delhi, India, 2019.

G. Vegter and M. Wintraecken, “The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds,” in The 31st Canadian Conference in Computational Geometry, Edmonton, Canada, 2019, pp. 275–279.

H. Edelsbrunner, Z. Virk, and H. Wagner, “Topological data analysis in information space,” in 35th International Symposium on Computational Geometry, Portland, OR, United States, 2019, vol. 129, p. 31:1-31:14.

N. Zenmyo et al., “Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins,” Bulletin of the Chemical Society of Japan, vol. 92, no. 5. Bulletin of the Chemical Society of Japan, pp. 995–1000, 2019.

V. Kolmogorov, “Testing the complexity of a valued CSP language,” in 46th International Colloquium on Automata, Languages and Programming, Patras, Greece, 2019, vol. 132, p. 77:1-77:12.

M. Walter, “Sampling the integers with low relative error,” in Progress in Cryptology – AFRICACRYPT 2019, vol. 11627, J. Buchmann, A. Nitaj, and T. Rachidi, Eds. Cham: Springer Nature, 2019, pp. 157–180.

S. A. Hashemi, C. Condo, M. Mondelli, and W. J. Gross, “Rate-flexible fast polar decoders,” IEEE Transactions on Signal Processing, vol. 67, no. 22. IEEE, 2019.

V. Jelínek and M. Töpfer, “On grounded L-graphs and their relatives,” Electronic Journal of Combinatorics, vol. 26, no. 3. Electronic Journal of Combinatorics, 2019.

G. Avni, T. A. Henzinger, R. Ibsen-Jensen, and P. Novotny, “Bidding games on Markov decision processes,” in  Proceedings of the 13th International Conference of Reachability Problems, Brussels, Belgium, 2019, vol. 11674, pp. 1–12.

K. Chatterjee, W. Dvorák, M. H. Henzinger, and A. Svozil, “Near-linear time algorithms for Streett objectives in graphs and MDPs,” in Leibniz International Proceedings in Informatics, Amsterdam, Netherlands, 2019, vol. 140.

M. Lechner, R. Hasani, M. Zimmer, T. A. Henzinger, and R. Grosu, “Designing worm-inspired neural networks for interpretable robotic control,” in Proceedings - IEEE International Conference on Robotics and Automation, Montreal, QC, Canada, 2019, vol. 2019–May.

M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.

K. Chatterjee, T. A. Henzinger, and J. Otop, “Long-run average behavior of vector addition systems with states,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.

K. Chatterjee and N. Piterman, “Combinations of Qualitative Winning for Stochastic Parity Games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.

T. Nowak and J. Rybicki, “Byzantine approximate agreement on graphs,” in 33rd International Symposium on Distributed Computing, Budapest, Hungary, 2019, vol. 146, p. 29:1--29:17.

R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, and D. Rus, “Response characterization for auditing cell dynamics in long short-term memory networks,” in Proceedings of the International Joint Conference on Neural Networks, Budapest, Hungary, 2019.

M. Mondelli, S. H. Hassani, and R. Urbanke, “A new coding paradigm for the primitive relay channel,” Algorithms, vol. 12, no. 10. MDPI, 2019.

G. P. Geher, T. Titkos, and D. Virosztek, “Dirac masses and isometric rigidity,” in Kyoto RIMS Kôkyûroku, Kyoto, Japan, 2019, vol. 2125, pp. 34–41.

K. Kersting, C. Lampert, and C. Rothkopf, Eds., Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt, 1st ed. Wiesbaden: Springer Nature, 2019.

R. Fulek and J. Kyncl, “Z_2-Genus of graphs and minimum rank of partial symmetric matrices,” in 35th International Symposium on Computational Geometry (SoCG 2019), Portland, OR, United States, 2019, vol. 129.

R. Alur, M. Giacobbe, T. A. Henzinger, K. G. Larsen, and M. Mikudionis, “Continuous-time models for system design and analysis,” in Computing and Software Science, vol. 10000, B. Steffen and G. Woeginger, Eds. Springer Nature, 2019, pp. 452–477.

L. Portinale and U. Stefanelli, “Penalization via global functionals of optimal-control problems for dissipative evolution,” Advances in Mathematical Sciences and Applications, vol. 28, no. 2. Gakko Tosho, pp. 425–447, 2019.

W. Bialek, T. Gregor, and G. Tkadik, “Action at a distance in transcriptional regulation,” arXiv:1912.08579. ArXiv.

F. Immler et al., “ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 41–61.

D. Betea, J. Bouttier, P. Nejjar, and M. Vuletíc, “New edge asymptotics of skew Young diagrams via free boundaries,” in Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics, Ljubljana, Slovenia, 2019.

M. Althoff et al., “ARCH-COM Category Report: Continuous and hybrid systems with linear continuous dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 14–40.

M. Y. Kim et al., “DNA demethylation by ROa in rice vegetative cells promotes methylation in sperm,” Proceedings of the National Academy of Sciences, vol. 116, no. 19. National Academy of Sciences, pp. 9652–9657, 2019.

M. N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F. V. Rao, and C. V. Martin, “Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells,” BMC Research Notes, vol. 12. BioMed Central, 2019.

M. N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F. V. Rao, and C. V. Martin, “MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells.” Springer Nature, 2019.

J. Polechova, “Data from: Is the sky the limit? On the expansion threshold of a species’ range.” Dryad, 2019.

K. D. Harris, J. P. B. Lloyd, K. Domb, D. Zilberman, and A. Zemach, “DNA methylation is maintained with high fidelity in the honey bee germline and exhibits global non-functional fluctuations during somatic development,” Epigenetics and Chromatin, vol. 12. Springer Nature, 2019.

S. He, M. Vickers, J. Zhang, and X. Feng, “Natural depletion of histone  in sex cells causes DNA demethylation, heterochromatin decondensation and transposon activation,” eLife, vol. 8. eLife Sciences Publications, Ltd, 2019.

E. J. Lawrence et al., “Natural variation in TBP-ASSOCIATED FACTOR 4b controls meiotic crossover and germline transcription in Arabidopsis,” Current Biology, vol. 29, no. 16. Elsevier BV, p. 2676–2686.e3, 2019.

A. Schlögl, J. Kiss, and S. Elefante, “Is Debian suitable for running an HPC Cluster?,” in AHP - Austrian HPC Meeting 2019 , Grundlsee, Austria, 2019, p. 25.

O. Aichholzer et al., “Folding polyominoes with holes into a cube,” in Proceedings of the 31st Canadian Conference on Computational Geometry, Edmonton, Canada, 2019, pp. 164–170.

G. Avni, T. A. Henzinger, and D. Zikelic, “Bidding mechanisms in graph games,” presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany, 2019, vol. 138.

M. C. Ucar and R. Lipowsky, “Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding.” American Chemical Society , 2019.

J.-D. Boissonnat, A. Lieutier, and M. Wintraecken, “The reach, metric distortion, geodesic convexity and the variation of tangent spaces,” Journal of Applied and Computational Topology, vol. 3, no. 1–2. Springer Nature, pp. 29–58, 2019.

M. Gerencser and I. Gyöngy, “A Feynman–Kac formula for stochastic Dirichlet problems,” Stochastic Processes and their Applications, vol. 129, no. 3. Elsevier, pp. 995–1012, 2019.

A. Deuchert, R. Seiringer, and J. Yngvason, “Bose–Einstein condensation in a dilute, trapped gas at positive temperature,” Communications in Mathematical Physics, vol. 368, no. 2. Springer, pp. 723–776, 2019.

R. Faria, K. Johannesson, R. K. Butlin, and A. M. Westram, “Evolving inversions,” Trends in Ecology and Evolution, vol. 34, no. 3. Elsevier, pp. 239–248, 2019.

T. Hausel, M. Mereb, and M. Wong, “Arithmetic and representation theory of wild character varieties,” Journal of the European Mathematical Society, vol. 21, no. 10. European Mathematical Society, pp. 2995–3052, 2019.

A. Marsh, G. Novarino, P. Lockhart, and R. Leventer, “CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63,” European Journal of Human Genetics, vol. 27. Springer Nature, pp. 161–166, 2019.

K. Dareiotis, M. Gerencser, and B. Gess, “Entropy solutions for stochastic porous media equations,” Journal of Differential Equations, vol. 266, no. 6. Elsevier, pp. 3732–3763, 2019.

R. Mócsai et al., “N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated,” Scientific Reports, vol. 9, no. 1. Nature Publishing Group, 2019.

E. Lee et al., “Ionic stress enhances ER–PM connectivity via phosphoinositide-associated SY contact site expansion in Arabidopsis,” Proceedings of the National Academy of Sciences of the United States of America, vol. 116, no. 4. National Academy of Sciences, pp. 1420–1429, 2019.

C. Andalo, M. Burrus, S. Paute, C. Lauzeral, and D. Field, “Prevalence of legitimate pollinators and nectar robbers and the consequences for fruit set in an Antirrhinum majus hybrid zone,” Botany Letters, vol. 166, no. 1. Taylor and Francis, pp. 80–92, 2019.