Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. 2020. Inductive sequentialization of asynchronous programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 227–242.
LibreCat: https://research-explorer.ista.ac.at/record/8012
DOI: 10.1145/3385412.3385980
WoS: 000614622300016

Dos Santos Caldas PR. 2020. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/8358
DOI: 10.15479/AT:ISTA:8358

Osang GF, Rouxel-Labbé M, Teillaud M. 2020. Generalizing CGAL periodic Delaunay triangulations. 28th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 173, 75.
LibreCat: https://research-explorer.ista.ac.at/record/8703
DOI: 10.4230/LIPIcs.ESA.2020.75

Phuong M, Lampert C. 2020. Functional vs. parametric equivalence of ReLU networks. 8th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
LibreCat: https://research-explorer.ista.ac.at/record/7481

Feliciangeli D, Seiringer R. 2020. Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball. SIAM Journal on Mathematical Analysis. 52(1), 605–622.
LibreCat: https://research-explorer.ista.ac.at/record/9781
DOI: 10.1137/19m126284x
WoS: 000546967700022
arXiv: 1904.08647 

Fischer JL, Hensel S. 2020. Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension. Archive for Rational Mechanics and Analysis. 236, 967–1087.
LibreCat: https://research-explorer.ista.ac.at/record/7489
DOI: 10.1007/s00205-019-01486-2
WoS: 000511060200001

Fischer JL, Hensel S, Laux T, Simon T. The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions. arXiv, 2003.05478.
LibreCat: https://research-explorer.ista.ac.at/record/10012
arXiv: 2003.05478

Gladbach P, Kopfer E, Maas J, Portinale L. 2020. Homogenisation of one-dimensional discrete optimal transport. Journal de Mathematiques Pures et Appliquees. 139(7), 204–234.
LibreCat: https://research-explorer.ista.ac.at/record/7573
DOI: 10.1016/j.matpur.2020.02.008
WoS: 000539439400008
arXiv: 1905.05757

Forkert DL, Maas J, Portinale L. Evolutionary -convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions. arXiv, 2008.10962.
LibreCat: https://research-explorer.ista.ac.at/record/10022
arXiv: 2008.10962

Konstantinov NH, Frantar E, Alistarh D-A, Lampert C. 2020. On the sample complexity of adversarial multi-source PAC learning. Proceedings of the 37th International Conference on Machine Learning. ICML: International Conference on Machine Learning vol. 119, 5416–5425.
LibreCat: https://research-explorer.ista.ac.at/record/8724
arXiv: 2002.10384

Rzadkowski W, Defenu N, Chiacchiera S, Trombettoni A, Bighin G. 2020. Detecting composite orders in layered models via machine learning. New Journal of Physics. 22(9), 093026.
LibreCat: https://research-explorer.ista.ac.at/record/8644
DOI: 10.1088/1367-2630/abae44
WoS: 000573298000001

Mysliwy K, Seiringer R. 2020. Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. 21(12), 4003–4025.
LibreCat: https://research-explorer.ista.ac.at/record/8705
DOI: 10.1007/s00023-020-00969-3
WoS: 000578111800002
arXiv: 2003.12371

Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2020. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. International Journal on Software Tools for Technology Transfer. 22(6), 741–758.
LibreCat: https://research-explorer.ista.ac.at/record/10861
DOI: 10.1007/s10009-020-00582-z
WoS: 000555398600001

Grah R, Friedlander T. 2020. The relation between crosstalk and gene regulation form revisited. PLOS Computational Biology. 16(2), e1007642.
LibreCat: https://research-explorer.ista.ac.at/record/7569
DOI: 10.1371/journal.pcbi.1007642
WoS: 000526725200019

Santini L, Halbritter F, Titz-Teixeira F, Suzuki T, Asami M, Ramesmayer J, Ma X, Lackner A, Warr N, Pauler F, Hippenmeyer S, Laue E, Farlik M, Bock C, Beyer A, Perry ACF, Leeb M. Novel imprints in mouse blastocysts are predominantly DNA methylation independent. bioRxiv,10.1101/2020.11.03.366948 .
LibreCat: https://research-explorer.ista.ac.at/record/8813
DOI: 10.1101/2020.11.03.366948
PMID: PPR234457 

Grah R, Friedlander T. 2020. Maximizing crosstalk, Public Library of Science,10.1371/journal.pcbi.1007642.s002 .
LibreCat: https://research-explorer.ista.ac.at/record/9777
DOI: 10.1371/journal.pcbi.1007642.s002

Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/8332
DOI: 10.15479/AT:ISTA:8332

Gladbach P, Kopfer E, Maas J. 2020. Scaling limits of discrete optimal transport. SIAM Journal on Mathematical Analysis. 52(3), 2759–2802.
LibreCat: https://research-explorer.ista.ac.at/record/71
DOI: 10.1137/19M1243440
WoS: 000546975100017
arXiv: 1809.01092

Hikaru I, Wojtan C, Thuerey N, Igarashi T, Ando R. 2020. Simulating liquids on dynamically warping grids. IEEE Transactions on Visualization and Computer Graphics. 26(6), 2288–2302.
LibreCat: https://research-explorer.ista.ac.at/record/5681
DOI: 10.1109/TVCG.2018.2883628
WoS: 000532295600014
PMID: 30507534

Li X. 2020. Rotation of coupled cold molecules in the presence of a many-body environment. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/8958
DOI: 10.15479/AT:ISTA:8958

Zhang R. 2020. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/8386
DOI: 10.15479/AT:ISTA:8386

Kukucka J. 2020. Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/7996
DOI: 10.15479/AT:ISTA:7996

Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with lexicographic reachability-safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.
LibreCat: https://research-explorer.ista.ac.at/record/8272
DOI: 10.1007/978-3-030-53291-8_21
WoS: 000695272500021
arXiv: 2005.04018

Dos Santos Caldas PR, Radler P, Sommer CM, Loose M. 2020.Computational analysis of filament polymerization dynamics in cytoskeletal networks. In: Methods in Cell Biology. Methods in Cell Biology, vol. 158, 145–161.
LibreCat: https://research-explorer.ista.ac.at/record/7572
DOI: 10.1016/bs.mcb.2020.01.006
WoS: 000611826500008

Baranova NS, Radler P, Hernández-Rocamora VM, Alfonso C, Lopez Pelegrin MD, Rivas G, Vollmer W, Loose M. 2020. Diffusion and capture permits dynamic coupling between treadmilling FtsZ filaments and cell division proteins. Nature Microbiology. 5, 407–417.
LibreCat: https://research-explorer.ista.ac.at/record/7387
DOI: 10.1038/s41564-019-0657-5
WoS: 000508584700007
PMID: 31959972

Vegter G, Wintraecken M. 2020. Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. 57(2), 193–199.
LibreCat: https://research-explorer.ista.ac.at/record/8163
DOI: 10.1556/012.2020.57.2.1454
WoS: 000570978400005

Shakiba A, Goharshady AK, Hooshmandasl MR, Alambardar Meybodi M. 2020. A note on belief structures and s-approximation spaces. Iranian Journal of Mathematical Sciences and Informatics. 15(2), 117–128.
LibreCat: https://research-explorer.ista.ac.at/record/8671
DOI: 10.29252/ijmsi.15.2.117
arXiv: 1805.10672

Dareiotis K, Gerencser M. 2020. On the regularisation of the noise for the Euler-Maruyama scheme with irregular drift. Electronic Journal of Probability. 25, 82.
LibreCat: https://research-explorer.ista.ac.at/record/6359
DOI: 10.1214/20-EJP479
WoS: 000550150700001
arXiv: 1812.04583

Royer A. 2020. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/8390
DOI: 10.15479/AT:ISTA:8390

Henderson PM, Tsiminaki V, Lampert C. 2020. Leveraging 2D data to learn textured 3D mesh generation. Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 7498–7507.
LibreCat: https://research-explorer.ista.ac.at/record/8186
DOI: 10.1109/CVPR42600.2020.00752
arXiv: 2004.04180

Sinclair SA, Krämer U. 2020. Generation of effective zinc-deficient agar-solidified media allows identification of root morphology changes in response to zinc limitation. Plant Signaling &; Behavior. 15(1), 1687175.
LibreCat: https://research-explorer.ista.ac.at/record/7416
DOI: 10.1080/15592324.2019.1687175
WoS: 000494909300001
PMID: 31696764

Hensel S, Rosati T. 2020. Modelled distributions of Triebel–Lizorkin type. Studia Mathematica. 252(3), 251–297.
LibreCat: https://research-explorer.ista.ac.at/record/9196
DOI: 10.4064/sm180411-11-2
WoS: 000558100500002
arXiv: 1709.05202

Dick RA, Xu C, Morado DR, Kravchuk V, Ricana CL, Lyddon TD, Broad AM, Feathers JR, Johnson MC, Vogt VM, Perilla JR, Briggs JAG, Schur FK. 2020. Structures of immature EIAV Gag lattices reveal a conserved role for I in lentivirus assembly. PLOS Pathogens. 16(1), e1008277.
LibreCat: https://research-explorer.ista.ac.at/record/7464
DOI: 10.1371/journal.ppat.1008277
WoS: 000510746400010
PMID: 31986188

Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. 2020. Limits on amplifiers of natural selection under death-Birth updating. PLoS computational biology. 16, e1007494.
LibreCat: https://research-explorer.ista.ac.at/record/7212
DOI: 10.1371/journal.pcbi.1007494
WoS: 000510916500025
arXiv: 1906.02785

Tkadlec J. 2020. A role of graphs in evolutionary processes. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/7196
DOI: 10.15479/AT:ISTA:7196

Akopyan A, Edelsbrunner H. 2020. The weighted mean curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. 8(1), 51–67.
LibreCat: https://research-explorer.ista.ac.at/record/9157
DOI: 10.1515/cmb-2020-0100

Akopyan A, Edelsbrunner H. 2020. The weighted Gaussian curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. 8(1), 74–88.
LibreCat: https://research-explorer.ista.ac.at/record/9156
DOI: 10.1515/cmb-2020-0101
arXiv: 1908.06777

Redig F, Saada E, Sau F. 2020. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. 25, 138.
LibreCat: https://research-explorer.ista.ac.at/record/8973
DOI: 10.1214/20-EJP536
WoS: 000591737500001
arXiv: 1811.01366

Browning TD, Heath Brown R. 2020. Density of rational points on a quadric bundle in 3×3. Duke Mathematical Journal. 169(16), 3099–3165.
LibreCat: https://research-explorer.ista.ac.at/record/179
DOI: 10.1215/00127094-2020-0031
WoS: 000582676300002
arXiv: 1805.10715

Ibsen-Jensen R, Tkadlec J, Chatterjee K, Nowak M. 2020. Data and mathematica notebooks for plotting figures from language learning with communication between learners from language acquisition with communication between learners, Royal Society,10.6084/m9.figshare.5973013.v1 .
LibreCat: https://research-explorer.ista.ac.at/record/9814
DOI: 10.6084/m9.figshare.5973013.v1

Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. 2020. Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. 125(4), 043202.
LibreCat: https://research-explorer.ista.ac.at/record/8285
DOI: 10.1103/PhysRevLett.125.043202
WoS: 000552227400008
PMID: 32794788
arXiv: 1912.10218

Lambert NJ, Mobassem S, Rueda Sanchez AR, Schwefel HGL. 2020. New designs and noise channels in electro-optic microwave to optical up-conversion. OSA Quantum 2.0 Conference. OSA: Optical Society of America, OSA Technical Digest, , QTu8A.1.
LibreCat: https://research-explorer.ista.ac.at/record/10328
DOI: 10.1364/QUANTUM.2020.QTu8A.1

Confavreux BJ, Zenke F, Agnes EJ, Lillicrap T, Vogels TP. 2020. A meta-learning approach to (re)discover plasticity rules that carve a desired function into a neural network. Advances in Neural Information Processing Systems. NeurIPS: Conference on Neural Information Processing Systems vol. 33, 16398–16408.
LibreCat: https://research-explorer.ista.ac.at/record/9633

Tan S, Di Donato M, Glanc M, Zhang X, Klíma P, Liu J, Bailly A, Ferro N, Petrásek J, Geisler M, Friml J. 2020. Non-steroidal anti-inflammatory drugs target TWISTED DWAR-regulated actin dynamics and auxin transport-mediated plant development. Cell Reports. 33(9), 108463.
LibreCat: https://research-explorer.ista.ac.at/record/8943
DOI: 10.1016/j.celrep.2020.108463
WoS: 000595658100018
PMID: 33264621

Xu D, Varshney A, Ma X, Song B, Riedl M, Avila M, Hof B. 2020. Nonlinear hydrodynamic instability and turbulence in pulsatile flow. Proceedings of the National Academy of Sciences of the United States of America. 117(21), 11233–11239.
LibreCat: https://research-explorer.ista.ac.at/record/7932
DOI: 10.1073/pnas.1913716117
WoS: 000536797100014
arXiv: 2005.11190

Alt J, Erdös L, Krüger TH. 2020. The Dyson equation with linear self-energy: Spectral bands, edges and cusps. Documenta Mathematica. 25, 1421–1539.
LibreCat: https://research-explorer.ista.ac.at/record/14694
DOI: 10.4171/dm/780
arXiv: 1804.07752

Avvakumov S. 2020. Topological methods in geometry and discrete mathematics. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/8156
DOI: 10.15479/AT:ISTA:8156

Lewin M, Lieb EH, Seiringer R. 2020.  The local density approximation in density functional theory. Pure and Applied Analysis. 2(1), 35–73.
LibreCat: https://research-explorer.ista.ac.at/record/14891
DOI: 10.2140/paa.2020.2.35
arXiv: 1903.04046

Salamatina A, Yang JH, Brenner-Morton S, Bikoff JB, Fang L, Kintner CR, Jessell TM, Sweeney LB. 2020. Differential loss of spinal interneurons in a mouse model of ALS. Neuroscience. 450, 81–95.
LibreCat: https://research-explorer.ista.ac.at/record/8914
DOI: 10.1016/j.neuroscience.2020.08.011
WoS: 000595588700008
PMID: 32858144

Katsaros G. 2020. Enhancement of proximity induced superconductivity in planar Germanium, Institute of Science and Technology Austria,10.15479/AT:ISTA:8834 .
LibreCat: https://research-explorer.ista.ac.at/record/8834
DOI: 10.15479/AT:ISTA:8834

Kavcic B. 2020. Analysis scripts and research data for the paper ‘Mechanisms of drug interactions between translation-inhibiting antibiotics’, Institute of Science and Technology Austria,10.15479/AT:ISTA:8097 .
LibreCat: https://research-explorer.ista.ac.at/record/8097
DOI: 10.15479/AT:ISTA:8097

Arathoon LS. 2020. Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus), Institute of Science and Technology Austria,10.15479/AT:ISTA:8254 .
LibreCat: https://research-explorer.ista.ac.at/record/8254
DOI: 10.15479/AT:ISTA:8254

Kavcic B. 2020. Analysis scripts and research data for the paper ‘Minimal biophysical model of combined antibiotic action’, Institute of Science and Technology Austria,10.15479/AT:ISTA:8930 .
LibreCat: https://research-explorer.ista.ac.at/record/8930
DOI: 10.15479/AT:ISTA:8930

Nagy-Staron AA. 2020. Sequences of gene regulatory network permutations for the article ‘Local genetic context shapes the function of a gene regulatory network’, Institute of Science and Technology Austria,10.15479/AT:ISTA:8951 .
LibreCat: https://research-explorer.ista.ac.at/record/8951
DOI: 10.15479/AT:ISTA:8951

Grah R. 2020. Matlab scripts for the Paper: Gene Amplification as a Form of Population-Level Gene Expression regulation, Institute of Science and Technology Austria,10.15479/AT:ISTA:7383 .
LibreCat: https://research-explorer.ista.ac.at/record/7383
DOI: 10.15479/AT:ISTA:7383

Katsaros G. 2020. Transport data for: Sitecontrolled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling, Institute of Science and Technology Austria,10.15479/AT:ISTA:9222 .
LibreCat: https://research-explorer.ista.ac.at/record/9222
DOI: 10.15479/AT:ISTA:9222

Guseinov R. 2020. Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/8366
DOI: 10.15479/AT:ISTA:8366

Gavriil K, Guseinov R, Perez Rodriguez J, Pellis D, Henderson PM, Rist F, Pottmann H, Bickel B. 2020. Computational design of cold bent glass façades. ACM Transactions on Graphics. 39(6), 208.
LibreCat: https://research-explorer.ista.ac.at/record/8562
DOI: 10.1145/3414685.3417843
WoS: 000595589100048
arXiv: 2009.03667

Katsaros G, Kukucka J, Vukusi L, Watzinger H, Gao F, Wang T, Zhang J-J, Held K. 2020. Zero field splitting of heavy-hole states in quantum dots. Nano Letters. 20(7), 5201–5206.
LibreCat: https://research-explorer.ista.ac.at/record/8203
DOI: 10.1021/acs.nanolett.0c01466
WoS: 000548893200066
PMID: 32479090

Gridchyn I, Schönenberger P, O’Neill J, Csicsvari JL. 2020. Optogenetic inhibition-mediated activity-dependent modification of C pyramidal-interneuron connections during behavior. eLife. 9, 61106.
LibreCat: https://research-explorer.ista.ac.at/record/8740
DOI: 10.7554/eLife.61106
WoS: 000584369000001

Guseinov R. 2020. Supplementary data for ‘Computational design of curved thin shells: from glass façades to programmable matter’, Institute of Science and Technology Austria,10.15479/AT:ISTA:8375 .
LibreCat: https://research-explorer.ista.ac.at/record/8375
DOI: 10.15479/AT:ISTA:8375

Katsaros G. 2020. Supplementary data for ‘Zero field splitting of heavy-hole states in quantum dots’, Institute of Science and Technology Austria,10.15479/AT:ISTA:7689 .
LibreCat: https://research-explorer.ista.ac.at/record/7689
DOI: 10.15479/AT:ISTA:7689

Guseinov R. 2020. Supplementary data for ‘Computational design of cold bent glass façades’, Institute of Science and Technology Austria,10.15479/AT:ISTA:8761 .
LibreCat: https://research-explorer.ista.ac.at/record/8761
DOI: 10.15479/AT:ISTA:8761

Csicsvari JL, Gridchyn I, Schönenberger P. 2020. Optogenetic alteration of hippocampal network activity, Institute of Science and Technology Austria,10.15479/AT:ISTA:8563 .
LibreCat: https://research-explorer.ista.ac.at/record/8563
DOI: 10.15479/AT:ISTA:8563

Guseinov R, McMahan C, Perez Rodriguez J, Daraio C, Bickel B. 2020. Programming temporal morphing of self-actuated shells. Nature Communications. 11, 237.
LibreCat: https://research-explorer.ista.ac.at/record/7262
DOI: 10.1038/s41467-019-14015-2
WoS: 000511916800015

Schur FK. 2020. 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,10.15479/AT:ISTA:14592 .
LibreCat: https://research-explorer.ista.ac.at/record/14592
DOI: 10.15479/AT:ISTA:14592

Bhatia S, Chatterjee B, Nathani D, Kaul M. 2020. A persistent homology perspective to the link prediction problem. Complex Networks and their applications VIII. COMPLEX: International Conference on Complex Networks and their Applications, SCI, vol. 881, 27–39.
LibreCat: https://research-explorer.ista.ac.at/record/7213
DOI: 10.1007/978-3-030-36687-2_3
WoS: 000843927300003

Kokoris Kogias E, Malkhi D, Spiegelman A. 2020. Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures. Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security. CCS: Computer and Communications Security, 1751–1767.
LibreCat: https://research-explorer.ista.ac.at/record/10556
DOI: 10.1145/3372297.3423364
WoS: 000768470400104

Garcia Soto M, Prabhakar P. 2020. Hybridization for stability verification of nonlinear switched systems. 2020 IEEE Real-Time Systems Symposium. RTTS: Real-Time Systems Symposium, 244–256.
LibreCat: https://research-explorer.ista.ac.at/record/9202
DOI: 10.1109/RTSS49844.2020.00031
WoS: 000680435100021

Boccato C, Brennecke C, Cenatiempo S, Schlein B. 2020. Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime. Communications in Mathematical Physics. 376, 1311–1395.
LibreCat: https://research-explorer.ista.ac.at/record/6906
DOI: 10.1007/s00220-019-03555-9
WoS: 000536053300012
arXiv: 1812.03086

Bruce AEE, Heisenberg C-PJ. 2020.Mechanisms of zebrafish epiboly: A current view. In: Gastrulation: From Embryonic Pattern to Form. vol. 136, 319–341.
LibreCat: https://research-explorer.ista.ac.at/record/7410
DOI: 10.1016/bs.ctdb.2019.07.001
WoS: 000611830600012

Sun R, Lampert C. 2020. KS(conf): A light-weight test if a multiclass classifier operates outside of its specifications. International Journal of Computer Vision. 128(4), 970–995.
LibreCat: https://research-explorer.ista.ac.at/record/6944
DOI: 10.1007/s11263-019-01232-x
WoS: 000494406800001

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

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