Bounded VC-dimension implies the Schur-Erds conjecture
J. Fox, J. Pach, A. Suk, Combinatorica 41 (2021) 803–813.
LibreCat: https://research-explorer.ista.ac.at/record/15275
DOI: 10.1007/s00493-021-4530-9
arXiv: 1912.02342

The CATP-8/A-type ATPase functions in multiple pathways during neuronal patterning
L.T.H. Tang, M. Trivedi, J. Freund, C.J. Salazar, M. Rahman, N. Ramirez, G. Lee, Y. Wang, B.D. Grant, H.E. Bülow, PLOS Genetics 17 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/15272
DOI: 10.1371/journal.pgen.1009475
PMID: 34197450

Aspects of quantum information in finite density field theory
L. Daguerre, R.A. Medina Ramos, M. Solís, G. Torroba, Journal of High Energy Physics 2021 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/15269
DOI: 10.1007/jhep03(2021)079
arXiv: 2011.01252

Active efflux leads to heterogeneous dissipation of proton motive force by protonophores in bacteria
D. Le, E. Krasnopeeva, F. Sinjab, T. Pilizota, M. Kim, MBio 12 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/15270
DOI: 10.1128/mbio.00676-21
PMID: 34253054

Holding it together: when cadherin meets cadherin
F.N. Arslan, J. Eckert, T. Schmidt, C.-P.J. Heisenberg, Biophysical Journal 120 (2021) 4182–4192.
LibreCat: https://research-explorer.ista.ac.at/record/9350
DOI: 10.1016/j.bpj.2021.03.025
WoS: 000704646900006
PMID: 33794149

Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses
D.H. Vandael, Y. Okamoto, C. Borges Merjane, V.M. Vargas Barroso, B. Suter, P.M. Jonas, Nature Protocols 16 (2021) 2947–2967.
LibreCat: https://research-explorer.ista.ac.at/record/9438
DOI: 10.1038/s41596-021-00526-0
WoS: 000650528700003
PMID: 33990799

Wound healing in the Arabidopsis root meristem
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9992
DOI: 10.15479/at:ista:9992

How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–C network
J. Guzmán, A. Schlögl, C. Espinoza Martinez, X. Zhang, B. Suter, P.M. Jonas, Nature Computational Science 1 (2021) 830–842.
LibreCat: https://research-explorer.ista.ac.at/record/10816
DOI: 10.1038/s43588-021-00157-1

How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–C network
J. Guzmán, A. Schlögl, C. Espinoza Martinez, X. Zhang, B. Suter, P.M. Jonas, (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10110
DOI: 10.15479/AT:ISTA:10110

The structure of hippocampal C interactions optimizes spatial coding across experience
M. Nardin, J.L. Csicsvari, G. Tkadik, C. Savin, BioRxiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/10077
DOI: 10.1101/2021.09.28.460602

Mechanism of mediated alkali peroxide oxidation and triplet versus singlet oxygen formation
Y.K. Petit, E. Mourad, C. Prehal, C. Leypold, A. Windischbacher, D. Mijailovic, C. Slugovc, S.M. Borisov, E. Zojer, S. Brutti, O. Fontaine, S.A. Freunberger, Nature Chemistry 13 (2021) 465–471.
LibreCat: https://research-explorer.ista.ac.at/record/9250
DOI: 10.1038/s41557-021-00643-z
WoS: 000629296400001
PMID: 33723377

Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes
S. Caballero Mancebo, Fertilization-Induced Deformations Are Controlled by the Actin Cortex and a Mitochondria-Rich Subcortical Layer in Ascidian Oocytes, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9623
DOI: 10.15479/at:ista:9623

Cytoplasm's got moves
S. Shamipour, S. Caballero Mancebo, C.-P.J. Heisenberg, Developmental Cell 56 (2021) 3-226.
LibreCat: https://research-explorer.ista.ac.at/record/9006
DOI: 10.1016/j.devcel.2020.12.002
WoS: 000613273900009
PMID: 33321104

Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development
J. Morandell, L.A. Schwarz, B. Basilico, S. Tasciyan, G.A. Dimchev, A. Nicolas, C.M. Sommer, C. Kreuzinger, C. Dotter, L. Knaus, Z. Dobler, E. Cacci, F.K. Schur, J.G. Danzl, G. Novarino, Nature Communications 12 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9429
DOI: 10.1038/s41467-021-23123-x
WoS: 000658769900010

Singlet-Triplet qubits and spin-orbit interaction in 2-dimensional Ge hole gases
D. Jirovec, Singlet-Triplet Qubits and Spin-Orbit Interaction in 2-Dimensional Ge Hole Gases, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10058
DOI: 10.15479/at:ista:10058

A singlet triplet hole spin qubit in planar Ge
D. Jirovec, A.C. Hofmann, A. Ballabio, P.M. Mutter, G. Tavani, M. Botifoll, A. Crippa, J. Kukucka, O. Sagi, F. Martins, J. Saez Mollejo, I. Prieto Gonzalez, M. Borovkov, J. Arbiol, D. Chrastina, G. Isella, G. Katsaros, Nature Materials 20 (2021) 1106–1112.
LibreCat: https://research-explorer.ista.ac.at/record/8909
DOI: 10.1038/s41563-021-01022-2
WoS: 000657596400001
arXiv: 2011.13755

Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation
K. Huljev, Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9397
DOI: 10.15479/at:ista:9397

Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning
B. Severin, D.T. Lennon, L.C. Camenzind, F. Vigneau, F. Fedele, D. Jirovec, A. Ballabio, D. Chrastina, G. Isella, M. de Kruijf, M.J. Carballido, S. Svab, A.V. Kuhlmann, F.R. Braakman, S. Geyer, F.N.M. Froning, H. Moon, M.A. Osborne, D. Sejdinovic, G. Katsaros, D.M. Zumbühl, G.A.D. Briggs, N. Ares, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/10066
DOI: 10.48550/arXiv.2107.12975
arXiv: 2107.12975

GABAB receptor auxiliary subunits modulate Ca.3-mediated release from medial habenula terminals
P. Bhandari, D.H. Vandael, D. Fernández-Fernández, T. Fritzius, D. Kleindienst, H.C. Önal, J.-C. Montanaro-Punzengruber, M. Gassmann, P.M. Jonas, A. Kulik, B. Bettler, R. Shigemoto, P. Koppensteiner, ELife 10 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9437
DOI: 10.7554/ELIFE.68274
WoS: 000651761700001

2B or not 2B: Hippocampal asymmetries mediated by NMDA receptor subunit GluN2B C-terminus and high-throughput image analysis by Deep-Learning
D. Kleindienst, 2B or Not 2B: Hippocampal Asymmetries Mediated by NMDA Receptor Subunit GluN2B C-Terminus and High-Throughput Image Analysis by Deep-Learning, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9562
DOI: 10.15479/at:ista:9562

Parameterized and algebro-geometric advances in static program analysis
A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/8934
DOI: 10.15479/AT:ISTA:8934

Pathogenic Escherichia coli hijack the host immune response
K. Tomasek, Pathogenic Escherichia Coli Hijack the Host Immune Response, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10307
DOI: 10.15479/at:ista:10307

Type 1 piliated uropathogenic Escherichia coli hijack the host immune response by binding to C
K. Tomasek, A.F. Leithner, I. Glatzová, M.S. Lukesch, C.C. Guet, M.K. Sixt, BioRxiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/10316
DOI: 10.1101/2021.10.18.464770

Modulation of plant root growth by nitrogen source-defined regulation of polar auxin transport
K. Ötvös, M. Marconi, A. Vega, J. O’Brien, A.J. Johnson, R. Abualia, L. Antonielli, J.C. Montesinos López, Y. Zhang, S. Tan, C. Cuesta, C. Artner, E. Bouguyon, A. Gojon, J. Friml, R.A. Gutiérrez, K.T. Wabnik, E. Benková, EMBO Journal 40 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9010
DOI: 10.15252/embj.2020106862
WoS: 000604645600001
PMID:  33399250

Nitrate triggered phosphoproteome changes and a PIN2 phosphosite modulating root system architecture
A. Vega, I. Fredes, J. O’Brien, Z. Shen, K. Ötvös, R. Abualia, E. Benková, S.P. Briggs, R.A. Gutiérrez, EMBO Reports 22 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9913
DOI: 10.15252/embr.202051813
WoS: 000681754200001
PMID: 34357701 

Role of hormones in nitrate regulated growth
R. Abualia, Role of Hormones in Nitrate Regulated Growth, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10303
DOI: 10.15479/at:ista:10303

Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration
A.H. Hansen, Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9962
DOI: 10.15479/at:ista:9962

Quantum many-body scars and weak breaking of ergodicity
M. Serbyn, D.A. Abanin, Z. Papi, Nature Physics 17 (2021) 675–685.
LibreCat: https://research-explorer.ista.ac.at/record/9428
DOI: 10.1038/s41567-021-01230-2
WoS: 000655563800002
arXiv: 2011.09486

Developmental roles of auxin binding protein 1 in Arabidopsis thaliana
Z. Gelová, M.C. Gallei, M. Pernisová, G. Brunoud, X. Zhang, M. Glanc, L. Li, J. Michalko, Z. Pavlovicova, I. Verstraeten, H. Han, J. Hajny, R. Hauschild, M. covanová, M. Zwiewka, L. Hörmayer, M. Fendrych, T. Xu, T. Vernoux, J. Friml, Plant Science 303 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/8931
DOI: 10.1016/j.plantsci.2020.110750
WoS: 000614154500001
PMID: 33487339

Systematic analysis of specific and nonspecific auxin effects on endocytosis and trafficking
M. Narasimhan, M.C. Gallei, S. Tan, A.J. Johnson, I. Verstraeten, L. Li, L. Rodriguez Solovey, H. Han, E. Himschoot, R. Wang, S. Vanneste, J. Sánchez-Simarro, F. Aniento, M. Adamowski, J. Friml, Plant Physiology 186 (2021) 1122–1142.
LibreCat: https://research-explorer.ista.ac.at/record/9287
DOI: 10.1093/plphys/kiab134
WoS: 000671555900031
PMID: 33734402

Rapid cell growth regulation in Arabidopsis
L. Li, Rapid Cell Growth Regulation in Arabidopsis, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10083
DOI: 10.15479/at:ista:10083

The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators
N. Nikonorova, E. Murphy, C. Fonseca de Lima, S. Zhu, B. van de Cotte, L. Vu, D. Balcerowicz, L. Li, X. Kong, G. De Rop, T. Beeckman, J. Friml, K. Vissenberg, P. Morris, Z. Ding, I. De Smet, Cells 10 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/10015
DOI: 10.3390/cells10071665
WoS: 000676604700001
PMID: 34359847

Cell surface and intracellular auxin signalling for H+-fluxes in root growth
L. Li, I. Verstraeten, M. Roosjen, K. Takahashi, L. Rodriguez Solovey, J. Merrin, J. Chen, L. Shabala, W. Smet, H. Ren, S. Vanneste, S. Shabala, B. De Rybel, D. Weijers, T. Kinoshita, W.M. Gray, J. Friml, Research Square (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/10095
DOI: 10.21203/rs.3.rs-266395/v3

Evolution of cooperation via (in)direct reciprocity under imperfect information
L. Schmid, Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10293
DOI: 10.15479/at:ista:10293

The evolution of indirect reciprocity under action and assessment generosity
L. Schmid, P. Shati, C. Hilbe, K. Chatterjee, Scientific Reports 11 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9997
DOI: 10.1038/s41598-021-96932-1
WoS: 000692406400018
PMID: 34465830

A unified framework of direct and indirect reciprocity
L. Schmid, K. Chatterjee, C. Hilbe, M.A. Nowak, Nature Human Behaviour 5 (2021) 1292–1302.
LibreCat: https://research-explorer.ista.ac.at/record/9402
DOI: 10.1038/s41562-021-01114-8
WoS: 000650304000002
PMID: 33986519

The design space of plane elastic curves
C. Hafner, B. Bickel, ACM Transactions on Graphics 40 (2021).
LibreCat: https://research-explorer.ista.ac.at/record/9817
DOI: 10.1145/3450626.3459800
WoS: 000674930900091

Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis
H. Semerádová, Molecular Mechanisms of the Cytokinin-Regulated Endomembrane Trafficking to Coordinate Plant Organogenesis, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10135
DOI: 10.15479/at:ista:10135

Transition to turbulence and drag reduction in particle-laden pipe flows
N. Agrawal, Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows, Institute of Science and Technology Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9728
DOI: 10.15479/at:ista:9728

A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 4082–4093.
LibreCat: https://research-explorer.ista.ac.at/record/10673

Getting to the root of concurrent binary search tree performance
M. Arbel-Raviv, T.A. Brown, A. Morrison, in:, Proceedings of the 2018 USENIX Annual Technical Conference, USENIX Association, 2020, pp. 295–306.
LibreCat: https://research-explorer.ista.ac.at/record/7272

The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game
L. Schmid, K. Chatterjee, S. Schmid, in:, Proceedings of the 23rd International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7346
DOI: 10.4230/LIPIcs.OPODIS.2019.21
arXiv: 1906.00110

Monitoring event frequencies
T. Ferrere, T.A. Henzinger, B. Kragl, in:, 28th EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7348
DOI: 10.4230/LIPIcs.CSL.2020.20
arXiv: 1910.06097

Coxeter triangulations have good quality
A. Choudhary, S. Kachanovich, M. Wintraecken, Mathematics in Computer Science 14 (2020) 141–176.
LibreCat: https://research-explorer.ista.ac.at/record/7567
DOI: 10.1007/s11786-020-00461-5

How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator
D. Gotfryd, E. Paerschke, J. Chaloupka, A.M. Oles, K. Wohlfeld, Physical Review Research 2 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7594
DOI: 10.1103/PhysRevResearch.2.013353

In search of the fastest concurrent union-find algorithm
D.-A. Alistarh, A. Fedorov, N. Koval, in:, 23rd International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 15:1-15:16.
LibreCat: https://research-explorer.ista.ac.at/record/7605
DOI: 10.4230/LIPIcs.OPODIS.2019.15
arXiv: 1911.06347

Plasmodesmata-like intercellular connections by plant remorin in animal cells
Z. Wei, S. Tan, T. Liu, Y. Wu, J.-G. Lei, Z. Chen, J. Friml, H.-W. Xue, K. Liao, BioRxiv (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7601
DOI: 10.1101/791137

A developmentally descriptive method for quantifying shape in gastropod shells
J. Larsson, A.M. Westram, S. Bengmark, T. Lundh, R.K. Butlin, Journal of The Royal Society Interface 17 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7651
DOI: 10.1098/rsif.2019.0721

Simple, deterministic, constant-round coloring in the congested clique
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 309–318.
LibreCat: https://research-explorer.ista.ac.at/record/7803
DOI: 10.1145/3382734.3405751
arXiv: 2009.06043

Embeddability of simplicial complexes is undecidable
M. Filakovský, U. Wagner, S.Y. Zhechev, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 767–785.
LibreCat: https://research-explorer.ista.ac.at/record/7806
DOI: 10.1137/1.9781611975994.47

SCOPES: Sparking curiosity through Open-Source platforms in education and science
R.J. Beattie, S. Hippenmeyer, F. Pauler, Frontiers in Education 5 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7814
DOI: 10.3389/feduc.2020.00048

Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model
K. Fellner, M. Kniely, Journal of Elliptic and Parabolic Equations 6 (2020) 529–598.
LibreCat: https://research-explorer.ista.ac.at/record/7866
DOI: 10.1007/s41808-020-00068-8

Induced correlations between impurities in a one-dimensional quenched Bose gas
S.I. Mistakidis, A. Volosniev, P. Schmelcher, Physical Review Research 2 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7919
DOI: 10.1103/physrevresearch.2.023154

Homotopic curve shortening and the affine curve-shortening flow
S. Avvakumov, G. Nivasch, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7991
DOI: 10.4230/LIPIcs.SoCG.2020.12
arXiv: 1909.00263

Bounding radon number via Betti numbers
Z. Patakova, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7989
DOI: 10.4230/LIPIcs.SoCG.2020.61
arXiv: 1908.01677

Barycentric cuts through a convex body
Z. Patakova, M. Tancer, U. Wagner, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7992
DOI: 10.4230/LIPIcs.SoCG.2020.62
arXiv: 2003.13536

Extending drawings of graphs to arrangements of pseudolines
A.M. Arroyo Guevara, J. Bensmail, R. Bruce Richter, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7994
DOI: 10.4230/LIPIcs.SoCG.2020.9
arXiv: 1804.09317

Stabilizing two-dimensional quantum scars by deformation and synchronization
A. Michailidis, C.J. Turner, Z. Papi, D.A. Abanin, M. Serbyn, Physical Review Research 2 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8011
DOI: 10.1103/physrevresearch.2.022065

Object-centric image generation with factored depths, locations, and appearances
T. Anciukevicius, C. Lampert, P.M. Henderson, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/8063
arXiv: 2004.00642

High specific capacitance supercapacitors from hierarchically organized all-cellulose composites
M.A. Hobisch, E. Mourad, W.J. Fischer, C. Prehal, S. Eyley, A. Childress, A. Zankel, A. Mautner, S. Breitenbach, A.M. Rao, W. Thielemans, S.A. Freunberger, R. Eckhart, W. Bauer, S. Spirk, (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/8081

Power-law correlations and coupling of active and quiet states underlie a class of complex systems with self-organization at criticality
F. Lombardi, J.W.J.L. Wang, X. Zhang, P.C. Ivanov, EPJ Web of Conferences 230 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8105
DOI: 10.1051/epjconf/202023000005

Radius functions on Poisson–Delaunay mosaics and related complexes experimentally
H. Edelsbrunner, A. Nikitenko, K. Ölsböck, P. Synak, in:, Topological Data Analysis, Springer Nature, 2020, pp. 181–218.
LibreCat: https://research-explorer.ista.ac.at/record/8135
DOI: 10.1007/978-3-030-43408-3_8

Amplified centrosomes in dendritic cells promote immune cell effector functions
R. Hauschild, (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8181
DOI: 10.15479/AT:ISTA:8181

RGtracker
R. Hauschild, (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8294
DOI: 10.15479/AT:ISTA:8294

Reverse firewalls for actively secure MPCs
S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
LibreCat: https://research-explorer.ista.ac.at/record/8322
DOI: 10.1007/978-3-030-56880-1_26

Improved discrete Gaussian and subgaussian analysis for lattice cryptography
N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651.
LibreCat: https://research-explorer.ista.ac.at/record/8339
DOI: 10.1007/978-3-030-45374-9_21

ARCH-COM Category Report: Continuous and hybrid systems with linear dynamics
M. Althoff, S. Bak, Z. Bao, M. Forets, G. Frehse, D. Freire, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling, S. Schupp, M. Wetzlinger, in:, EPiC Series in Computing, EasyChair, 2020, pp. 16–48.
LibreCat: https://research-explorer.ista.ac.at/record/8572
DOI: 10.29007/7dt2

ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
LibreCat: https://research-explorer.ista.ac.at/record/8571
DOI: 10.29007/zkf6

Multi-dimensional long-run average problems for vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8600
DOI: 10.4230/LIPIcs.CONCUR.2020.23
arXiv: 2007.08917

A survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8599
DOI: 10.4230/LIPIcs.CONCUR.2020.2

The splay-list: A distribution-adaptive concurrent skip-list
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 3:1-3:18.
LibreCat: https://research-explorer.ista.ac.at/record/8725
DOI: 10.4230/LIPIcs.DISC.2020.3
arXiv: 2008.01009

Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling
D. Gotfryd, E. Paerschke, K. Wohlfeld, A.M. Oleb, Condensed Matter 5 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8726
DOI: 10.3390/condmat5030053
arXiv: 2009.11773

Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
LibreCat: https://research-explorer.ista.ac.at/record/9040
DOI: 10.34727/2020/isbn.978-3-85448-042-6_21

Digital objects in rhombic dodecahedron grid
R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, Mathematical Morphology - Theory and Applications 4 (2020) 143–158.
LibreCat: https://research-explorer.ista.ac.at/record/9249
DOI: 10.1515/mathm-2020-0106

Crossings between non-homotopic edges
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.
LibreCat: https://research-explorer.ista.ac.at/record/9299
DOI: 10.1007/978-3-030-68766-3_28
arXiv: 2006.14908

WoodFisher: Efficient second-order approximation for neural network compression
S.P. Singh, D.-A. Alistarh, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 18098–18109.
LibreCat: https://research-explorer.ista.ac.at/record/9632
arXiv: 2004.14340

Topological data analysis in information space
H. Edelsbrunner, Z. Virk, H. Wagner, Journal of Computational Geometry 11 (2020) 162–182.
LibreCat: https://research-explorer.ista.ac.at/record/9630
DOI: 10.20382/jocg.v11i2a7

Scalable belief propagation via relaxed scheduling
V. Aksenov, D.-A. Alistarh, J. Korhonen, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 22361–22372.
LibreCat: https://research-explorer.ista.ac.at/record/9631
arXiv: 2002.11505

Simplified game of life: Algorithms and complexity
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8533
DOI: 10.4230/LIPIcs.MFCS.2020.22
arXiv: 2007.02894

Unary prime languages
I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8534
DOI: 10.4230/LIPIcs.MFCS.2020.51

Billiards in ellipses revisited
A. Akopyan, R. Schwartz, S. Tabachnikov, European Journal of Mathematics (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8538
DOI: 10.1007/s40879-020-00426-9
arXiv: 2001.02934

Reduction of neuronal activity mediated by blood-vessel regression in the brain
X. Gao, J.-L. Li, X. Chen, B. Ci, F. Chen, N. Lu, B. Shen, L. Zheng, J.-M. Jia, Y. Yi, S. Zhang, Y.-C. Shi, K. Shi, N.E. Propson, Y. Huang, K. Poinsatte, Z. Zhang, Y. Yue, D.B. Bosco, Y. Lu, S. Yang, R.H. Adams, V. Lindner, F. Huang, L.-J. Wu, H. Zheng, F. Han, S. Hippenmeyer, A.M. Stowe, B. Peng, M. Margeta, X. Wang, Q. Liu, J. Körbelin, M. Trepel, H. Lu, B.O. Zhou, H. Zhao, W. Su, R.M. Bachoo, W. Ge, BioRxiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/8616
DOI: 10.1101/2020.09.15.262782

Empfehlungen für eine nationale Open Science Strategie in Österreich / Recommendations for a National Open Science Strategy in Austria
K. Mayer, K. Rieck, S. Reichmann, P. Danowski, A. Graschopf, T. König, P. Kraker, P. Lehner, F. Reckling, T. Ross-Hellauer, D. Spichtinger, M. Tzatzanis, S. Schürz, Empfehlungen für eine nationale Open Science Strategie in Österreich / Recommendations for a National Open Science Strategy in Austria, OANA, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8695
DOI: 10.5281/ZENODO.4109242

eRecommendationc for the further procedure for open access monitoring. Deliverable of the AOA subproject T-B
P. Danowski, A. Ferus, A.-L. Hikl, G. McNeill, C. Miniberger, S. Reding, T. Zarka, M. Zojer, Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare 73 (2020) 278–284.
LibreCat: https://research-explorer.ista.ac.at/record/8706
DOI: 10.31263/voebm.v73i2.3941

Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy
S. Laukoter, N. Amberg, F. Pauler, S. Hippenmeyer, STAR Protocols 1 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8978
DOI: 10.1016/j.xpro.2020.100215
PMID: 33377108

Lagrangian reachtubes: The next generation
S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.
LibreCat: https://research-explorer.ista.ac.at/record/9103
DOI: 10.1109/CDC42340.2020.9304042
arXiv: 2012.07458

Global convergence of deep networks with one wide layer followed by pyramidal topology
Q. Nguyen, M. Mondelli, in:, 34th Conference on Neural Information Processing Systems, Curran Associates, 2020, pp. 11961–11972.
LibreCat: https://research-explorer.ista.ac.at/record/9221
arXiv: 2002.07867

Inducing and exploiting activation sparsity for fast neural network inference
M. Kurtz, J. Kopinsky, R. Gelashvili, A. Matveev, J. Carr, M. Goin, W. Leiserson, S. Moore, B. Nell, N. Shavit, D.-A. Alistarh, in:, 37th International Conference on Machine Learning, ICML 2020, 2020, pp. 5533–5543.
LibreCat: https://research-explorer.ista.ac.at/record/9415

Learning representations for binary-classification without backpropagation
M. Lechner, in:, 8th International Conference on Learning Representations, ICLR, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/10672

Unsupervised object-centric video generation and decomposition in 3D
P.M. Henderson, C. Lampert, in:, 34th Conference on Neural Information Processing Systems, Curran Associates, 2020, pp. 3106–3117.
LibreCat: https://research-explorer.ista.ac.at/record/8188
arXiv: 2007.06705

Austrian High-Performance-Computing meeting (AH)
A. Schlögl, J. Kiss, S. Elefante, eds., Austrian High-Performance-Computing Meeting (AH), IST Austria, Klosterneuburg, Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7474
DOI: 10.15479/AT:ISTA:7474

How many bits does it take to quantize your neural network?
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
LibreCat: https://research-explorer.ista.ac.at/record/7808
DOI: 10.1007/978-3-030-45237-7_5

The topological correctness of PL-approximations of isomanifolds
J.-D. Boissonnat, M. Wintraecken, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7952
DOI: 10.4230/LIPIcs.SoCG.2020.20

Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips)
U. Wagner, E. Welzl, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7990
DOI: 10.4230/LIPIcs.SoCG.2020.67
arXiv: 2003.13557

Connectivity of triangulation flip graphs in the plane (Part I: Edge flips)
U. Wagner, E. Welzl, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 2823–2841.
LibreCat: https://research-explorer.ista.ac.at/record/7807
DOI: 10.1137/1.9781611975994.172
arXiv: 2003.13557

How do species barriers decay? concordance and local introgression in mosaic hybrid zones of mussels
A. Simon, C. Fraisse, T. El Ayari, C. Liautard-Haag, P. Strelkov, J. Welch, N. Bierne, (2020).
LibreCat: https://research-explorer.ista.ac.at/record/13073
DOI: 10.5061/DRYAD.R4XGXD29N

VCF files of synonymous SNPs related to: Genomic inference of complex domestication histories in three Solanaceae species
S. Arnoux, C. Fraisse, C. Sauvage, (2020).
LibreCat: https://research-explorer.ista.ac.at/record/13065
DOI: 10.5061/DRYAD.Q2BVQ83HD

Simplified successive cancellation decoding of polar codes has sublinear latency
M. Mondelli, S.A. Hashemi, J. Cioffi, A. Goldsmith, in:, IEEE International Symposium on Information Theory - Proceedings, IEEE, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8536
DOI: 10.1109/ISIT44484.2020.9174141
arXiv: 1909.04892

Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, U. Wagner, I. Mabillard, A.B. Skopenkov, Russian Mathematical Surveys 75 (2020) 1156–1158.
LibreCat: https://research-explorer.ista.ac.at/record/9308
DOI: 10.1070/RM9943
WoS: 000625983100001
arXiv: 1511.03501

Non-commutative calculus, optimal transport and functional inequalities  in dissipative quantum systems
E.A. Carlen, J. Maas, Journal of Statistical Physics 178 (2020) 319–378.
LibreCat: https://research-explorer.ista.ac.at/record/6358
DOI: 10.1007/s10955-019-02434-w
WoS: 000498933300001
arXiv: 1811.04572