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

Salazar JE, Severin D, Vega Zuniga TA, Fernández-Aburto P, Deichler A, Sallaberry A. M, Mpodozis J. 2020. Anatomical specializations related to foraging in the visual system of a nocturnal insectivorous bird, the band-winged nightjar (Aves: Caprimulgiformes). Brain, Behavior and Evolution. 94(1–4), 27–36.
LibreCat: https://research-explorer.ista.ac.at/record/7160
DOI: 10.1159/000504162
WoS: 000522856600004
PMID: 31751995

Alt J, Erdös L, Krüger TH, Schröder DJ. 2020. Correlated random matrices: Band rigidity and edge universality. Annals of Probability. 48(2), 963–1001.
LibreCat: https://research-explorer.ista.ac.at/record/6184
DOI: 10.1214/19-AOP1379
WoS: 000528269100013
arXiv: 1804.07744

Moulinier-Anzola J, Schwihla M, De-Araújo L, Artner C, Jörg L, Konstantinova N, Luschnig C, Korbei B. 2020. TOLs function as ubiquitin receptors in the early steps of the ESCRT pathway in higher plants. Molecular Plant. 13(5), 717–731.
LibreCat: https://research-explorer.ista.ac.at/record/15037
DOI: 10.1016/j.molp.2020.02.012
PMID: 32087370

Rosa HVD, Leonardo DA, Brognara G, Brandão-Neto J, D’Muniz Pereira H, Araújo APU, Garratt RC. 2020. Molecular recognition at septin interfaces: The switches hold the key. Journal of Molecular Biology. 432(21), 5784–5801.
LibreCat: https://research-explorer.ista.ac.at/record/15036
DOI: 10.1016/j.jmb.2020.09.001
PMID: 32910969

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

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

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

Alistarh D-A, Brown TA, Singhal N. 2020. Memory tagging: Minimalist synchronization for scalable concurrent data structures. Annual ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 37–49.
LibreCat: https://research-explorer.ista.ac.at/record/8191
DOI: 10.1145/3350755.3400213
WoS: 000744436200004

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

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

Sperl G, Narain R, Wojtan C. 2020. Homogenized yarn-level cloth. ACM Transactions on Graphics. 39(4), 48.
LibreCat: https://research-explorer.ista.ac.at/record/8385
DOI: 10.1145/3386569.3392412
WoS: 000583700300021

Pkalski J, Rzadkowski W, Panagiotopoulos AZ. 2020. Shear-induced ordering in systems with competing interactions: A machine learning study. The Journal of chemical physics. 152(20), 204905.
LibreCat: https://research-explorer.ista.ac.at/record/7956
DOI: 10.1063/5.0005194
WoS: 000537900300001
arXiv: 2002.07294

Baig MA, Hendler D, Milani A, Travers C. 2020. Long-lived snapshots with polylogarithmic amortized step complexity. Proceedings of the 39th Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing, 31–40.
LibreCat: https://research-explorer.ista.ac.at/record/8382
DOI: 10.1145/3382734.3406005

Ghazaryan A, Lopes PLS, Hosur P, Gilbert MJ, Ghaemi P. 2020. Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors. Physical Review B. 101(2), 020504.
LibreCat: https://research-explorer.ista.ac.at/record/7428
DOI: 10.1103/PhysRevB.101.020504
WoS: 000506843500001
arXiv: 1907.02077

Wu Y, Krishnakumar R, Martínez-Rincón J, Malia BK, Hosten O, Kasevich MA. 2020. Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. 102(1), 012224.
LibreCat: https://research-explorer.ista.ac.at/record/8319
DOI: 10.1103/PhysRevA.102.012224
WoS: 000555104200011
arXiv: 1912.08334

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

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

Park S, Artan M, Han SH, Park H-EH, Jung Y, Hwang AB, Shin WS, Kim K-T, Lee S-JV. 2020. VRK-1 extends life span by activation of AMPK via phosphorylation. Science Advances. 6(27), a.
LibreCat: https://research-explorer.ista.ac.at/record/15057
DOI: 10.1126/sciadv.aaw7824

Pinotsis N, Zielinska K, Babuta M, Arolas JL, Kostan J, Khan MB, Schreiner C, Testa Salmazo AP, Ciccarelli L, Puchinger M, Gkougkoulia EA, Ribeiro E de A, Marlovits TC, Bhattacharya A, Djinovic-Carugo K. 2020. Calcium modulates the domain flexibility and function of an ;1-actinin similar to the ancestral ;1-actinin. Proceedings of the National Academy of Sciences. 117(36), 22101–22112.
LibreCat: https://research-explorer.ista.ac.at/record/15061
DOI: 10.1073/pnas.1917269117
PMID: 32848067

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

Cipolloni G, Erdös L, Schröder DJ. 2020. Optimal lower bound on the least singular value of the shifted Ginibre ensemble. Probability and Mathematical Physics. 1(1), 101–146.
LibreCat: https://research-explorer.ista.ac.at/record/15063
DOI: 10.2140/pmp.2020.1.101
arXiv: 1908.01653

Wasiak M, Botello GS, Abdalmalak KA, Sedlmeir F, Rueda Sanchez AR, Segovia-Vargas D, Schwefel HGL, Munoz LEG. 2020. Compact millimeter and submillimeter-wave photonic radiometer for cubesats. 14th European Conference on Antennas and Propagation. EuCAP: European Conference on Antennas and Propagation.
LibreCat: https://research-explorer.ista.ac.at/record/15059
DOI: 10.23919/eucap48036.2020.9135962

Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. 2020. Brief announcement: Efficient load-balancing through distributed token dropping. 34th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 179, 40.
LibreCat: https://research-explorer.ista.ac.at/record/15074
DOI: 10.4230/LIPIcs.DISC.2020.40
arXiv: 2005.07761

Alistarh D-A, Nadiradze G, Sabour A. 2020. Dynamic averaging load balancing on cycles. 47th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 168, 7.
LibreCat: https://research-explorer.ista.ac.at/record/15077
DOI: 10.4230/LIPIcs.ICALP.2020.7
arXiv: 2003.09297

Aichholzer O, Obmann J, Patak P, Perz D, Tkadlec J. 2020. Disjoint tree-compatible plane perfect matchings. 36th European Workshop on Computational Geometry. EuroCG: European Workshop on Computational Geometry, 56.
LibreCat: https://research-explorer.ista.ac.at/record/15082

Javanmard A, Mondelli M, Montanari A. 2020. Analysis of a two-layer neural network via displacement convexity. Annals of Statistics. 48(6), 3619–3642.
LibreCat: https://research-explorer.ista.ac.at/record/6748
DOI: 10.1214/20-AOS1945
WoS: 000598369200021
arXiv: 1901.01375

Anderson L, Hausel T, Mazzeo R, Schaposnik L. 2020. Geometry and physics of Higgs bundles. Oberwolfach Reports. 16(2), 1357–1417.
LibreCat: https://research-explorer.ista.ac.at/record/15070
DOI: 10.4171/owr/2019/23

Klose AK, Karle V, Winkelmann R, Donges JF. 2020. Emergence of cascading dynamics in interacting tipping elements of ecology and climate: Cascading dynamics in tipping elements. Royal Society Open Science. 7(6), 200599.
LibreCat: https://research-explorer.ista.ac.at/record/8741
DOI: 10.1098/rsos.200599
WoS: 000545625200001
arXiv: 1910.12042

Ernst D, Novotny G, Schönher EM. 2020. (Core Trust) Seal your repository! Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. 73(1), 46–59.
LibreCat: https://research-explorer.ista.ac.at/record/7687
DOI: 10.31263/voebm.v73i1.3491

Erdös L, Götze F, Guionnet A. 2020. Random matrices. Oberwolfach Reports. 16(4), 3459–3527.
LibreCat: https://research-explorer.ista.ac.at/record/15079
DOI: 10.4171/owr/2019/56

Hainzl C, Schlein B, Seiringer R, Warzel S. 2020. Many-body quantum systems. Oberwolfach Reports. 16(3), 2541–2603.
LibreCat: https://research-explorer.ista.ac.at/record/15072
DOI: 10.4171/owr/2019/41

Oshurkova V, Troshina O, Trubitsyn V, Ryzhmanova Y, Bochkareva O, Shcherbakova V. 2020. Characterization of methanosarcina mazei JL01 isolated from holocene arctic permafrost and study of the archaeon cooperation with bacterium Sphaerochaeta associata GLT. Proceedings of 1st International Electronic Conference on Microbiology. ECM: Electronic Conference on Microbiology.
LibreCat: https://research-explorer.ista.ac.at/record/15071
DOI: 10.3390/ecm2020-07116

Fribourgh JL, Srivastava A, Sandate CR, Michael AK, Hsu PL, Rakers C, Nguyen LT, Torgrimson MR, Parico GCG, Tripathi S, Zheng N, Lander GC, Hirota T, Tama F, Partch CL. 2020. Dynamics at the serine loop underlie differential affinity of cryptochromes for CLOCK:BMAL1 to control circadian timing. eLife. 9, 55275.
LibreCat: https://research-explorer.ista.ac.at/record/15153
DOI: 10.7554/elife.55275

Michael AK, Grand RS, Isbel L, Cavadini S, Kozicka Z, Kempf G, Bunker RD, Schenk AD, Graff-Meyer A, Pathare GR, Weiss J, Matsumoto S, Burger L, Schübeler D, Thomä NH. 2020. Mechanisms of OC-SO motif readout on nucleosomes. Science. 368(6498), 1460–1465.
LibreCat: https://research-explorer.ista.ac.at/record/15152
DOI: 10.1126/science.abb0074

Caiazzo I, Heyl J. 2020. Polarization of accreting X-ray pulsars. I. A new model. Monthly Notices of the Royal Astronomical Society. 501(1), 109–128.
LibreCat: https://research-explorer.ista.ac.at/record/15220
DOI: 10.1093/mnras/staa3428
arXiv: 2009.00631

Burdge KB, Prince TA, Fuller J, Kaplan DL, Marsh TR, Tremblay P-E, Zhuang Z, Bellm EC, Caiazzo I, Coughlin MW, Dhillon VS, Gaensicke B, Rodríguez-Gil P, Graham MJ, Hermes J, Kupfer T, Littlefair SP, Mróz P, Phinney ES, Roestel J van, Yao Y, Dekany RG, Drake AJ, Duev DA, Hale D, Feeney M, Helou G, Kaye S, Mahabal AA, Masci FJ, Riddle R, Smith R, Soumagnac MT, Kulkarni SR. 2020. A systematic search of Zwicky transient facility data for ultracompact binary LISA-detectable gravitational-wave sources. The Astrophysical Journal. 905(1), 32.
LibreCat: https://research-explorer.ista.ac.at/record/15223
DOI: 10.3847/1538-4357/abc261
arXiv: 2009.02567

Caiazzo I, Heyl J. 2020. Polarization of accreting X-ray pulsars – II. Hercules X-1. Monthly Notices of the Royal Astronomical Society. 501(1), 129–136.
LibreCat: https://research-explorer.ista.ac.at/record/15221
DOI: 10.1093/mnras/staa3429
arXiv: 2009.00634

Caiazzo I, Heyl J, Richer H, Cummings J, Fleury L, Hegarty J, Kalirai J, Kerr R, Thiele S, Tremblay P-E, Villanueva M. 2020. Intermediate-mass stars become magnetic white dwarfs. The Astrophysical Journal Letters. 901(1), L14.
LibreCat: https://research-explorer.ista.ac.at/record/15224
DOI: 10.3847/2041-8213/abb5f7
arXiv: 2009.03374

Marshall HL, Heine S, Garner A, Gullikson E, Guenther M, Leitz C, Masterson R, Miller E, Zhang W, Boissay Malaquin R, Caiazzo I, Chakrabarty D, Davidson R, Gallo L, Heilmann RK, Heyl J, Kara E, Marscher A, Schulz N. 2020. A small satellite version of a soft x-ray polarimeter. Space Telescopes and Instrumentation 2020: Ultraviolet to Gamma Ray. Astronomical Telescopes + Instrumentation vol. 11444, 114442Y.
LibreCat: https://research-explorer.ista.ac.at/record/15228
DOI: 10.1117/12.2562811
arXiv: 2012.02829

Heyl J, Caiazzo I, Gallagher S, Hoffman K, Safi-Harb S. 2020. The Colibrì high-resolution x-ray telescope. Space Telescopes and Instrumentation 2020: Ultraviolet to Gamma Ray. Astronomical Telescopes + Instrumentation vol. 11444, 114442A.
LibreCat: https://research-explorer.ista.ac.at/record/15229
DOI: 10.1117/12.2562625

Fäßler F, Dimchev GA, Hodirnau V-V, Zens B, Möhl C, Bradke F, Schur FK. 2020. Cryo-electron tomography workflows for quantitative analysis of actin networks involved in cell migration. Microscopy and Microanalysis. 26(), 2518–2519.
LibreCat: https://research-explorer.ista.ac.at/record/15286
DOI: 10.1017/s1431927620021881

Bhandari P. 2020. Localization and functional role of Ca.3 in the medial habenula to interpeduncular nucleus pathway. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/7525
DOI: 10.15479/AT:ISTA:7525

Fäßler F, Zens B, Hauschild R, Schur FK. 2020. 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. Journal of Structural Biology. 212(3), 107633.
LibreCat: https://research-explorer.ista.ac.at/record/8586
DOI: 10.1016/j.jsb.2020.107633
WoS: 000600997800008

Kavcic B. 2020. Perturbations of protein synthesis: from antibiotics to genetics and physiology. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/8657
DOI: 10.15479/AT:ISTA:8657

Borges Merjane C, Kim O, Jonas PM. 2020. Functional electron microscopy (“Flash and Freeze”) of identified cortical synapses in acute brain slices. Neuron. 105, 992–1006.
LibreCat: https://research-explorer.ista.ac.at/record/7473
DOI: 10.1016/j.neuron.2019.12.022
WoS: 000520854700008
PMID: 31928842

Kavcic B, Tkadik G, Bollenbach MT. 2020. Mechanisms of drug interactions between translation-inhibiting antibiotics. Nature Communications. 11, 4013.
LibreCat: https://research-explorer.ista.ac.at/record/8250
DOI: 10.1038/s41467-020-17734-z
WoS: 000562769300008

Kavcic B, Tkadik G, Bollenbach MT. 2020. A minimal biophysical model of combined antibiotic action. bioRxiv,10.1101/2020.04.18.047886 .
LibreCat: https://research-explorer.ista.ac.at/record/7673
DOI: 10.1101/2020.04.18.047886

Hörmayer L, Montesinos López JC, Marhavá P, Benková E, Yoshida S, Friml J. 2020. Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots. Proceedings of the National Academy of Sciences. 117(26), 202003346.
LibreCat: https://research-explorer.ista.ac.at/record/8002
DOI: 10.1073/pnas.2003346117
WoS: 000565729700033
PMID: 32541049

Kainrath S. 2020. Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/7680
DOI: 10.15479/AT:ISTA:7680