Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2715 Publications


2020 | Conference Paper | IST-REx-ID: 7635
Testing concurrency on the JVM with Lincheck
N. Koval, M. Sokolova, A. Fedorov, D.-A. Alistarh, D. Tsitelov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, ACM, 2020, pp. 423–424.
View | DOI
 

2020 | Preprint | IST-REx-ID: 7673   OA
A minimal biophysical model of combined antibiotic action
B. Kavcic, G. Tkačik, T. Bollenbach, BioRxiv (2020).
View | Download (ext.)
 

2020 | Journal Article | IST-REx-ID: 7685   OA
The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime
C. Boccato, Reviews in Mathematical Physics (2020) 2060006.
View | DOI | Download (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7666   OA
Tri-partitions and bases of an ordered complex
H. Edelsbrunner, K. Ölsböck, Discrete and Computational Geometry (2020).
View | DOI | Download (ext.)
 

2020 | Journal Article | IST-REx-ID: 7611   OA
Central limit theorem for Bose gases interacting through singular potentials
S.A.E. Rademacher, Letters in Mathematical Physics (2020).
View | DOI | Download (ext.)
 

2020 | Journal Article | IST-REx-ID: 7793   OA
Direct ETTIN-auxin interaction controls chromatin states in gynoecium development
A. Kuhn, S. Ramans Harborough, H.M. McLaughlin, B. Natarajan, I. Verstraeten, J. Friml, S. Kepinski, L. Østergaard, ELife 9 (2020) e51787.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 6808   OA View | DOI | Download (ext.) | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 7806   OA
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.
View | DOI | Download (ext.)
 

2020 | Journal Article | IST-REx-ID: 6593   OA
An efficient projection-type method for monotone variational inequalities in Hilbert spaces
Y. Shehu, X.-H. Li, Q.-L. Dong, Numerical Algorithms 84 (2020) 365–388.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 6649   OA
Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Communications in Mathematical Physics 374 (2020) 2097–2150.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7882   OA
Clusters in separated tubes of tilted dipoles
J.R. Armstrong, A.S. Jensen, A. Volosniev, N.T. Zinner, Mathematics 8 (2020) 484.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7875   OA
Microtubules control cellular shape and coherence in amoeboid migrating cells
A. Kopf, J. Renkawitz, R. Hauschild, I. Girkontaite, K. Tedford, J. Merrin, O. Thorn-Seshold, D. Trauner, H. Häcker, K.D. Fischer, E. Kiermaier, M.K. Sixt, The Journal of Cell Biology 219 (2020) e201907154.
View | DOI | Download (ext.)
 

2020 | Journal Article | IST-REx-ID: 7697   OA View | DOI | Download (ext.) | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 7680
Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7919   OA
Induced correlations between impurities in a one-dimensional quenched Bose gas
S.I. Mistakidis, A. Volosniev, P. Schmelcher, Physical Review Research 2 (2020) 023154.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7902
Genetic dissection of neural development in health and disease at single cell resolution
X. Contreras, Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7251
Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake
F. Lombardi, M. Gómez-Extremera, P. Bernaola-Galván, R. Vetrivelan, C.B. Saper, T.E. Scammell, P.C. Ivanov, The Journal of Neuroscience 40 (2020) 171–190.
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7364   OA
nsCouette – A high-performance code for direct numerical simulations of turbulent Taylor–Couette flow
J.M. Lopez Alonso, D. Feldmann, M. Rampp, A. Vela-Martín, L. Shi, M. Avila, SoftwareX 11 (2020) 100395.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7369   OA
Multiscale relevance and informative encoding in neuronal spike trains
R.J. Cubero, M. Marsili, Y. Roudi, Journal of Computational Neuroscience (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7388   OA
Nondivergence form quasilinear heat equations driven by space-time white noise
M. Gerencser, Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire (n.d.).
View | DOI | Download (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7427
Salicylic acid targets protein phosphatase 2A to attenuate growth in plants
S. Tan, M.F. Abas, I. Verstraeten, M. Glanc, G. Molnar, J. Hajny, P. Lasák, I. Petřík, E. Russinova, J. Petrášek, O. Novák, J. Pospíšil, J. Friml, Current Biology 30 (n.d.) 381–395.e8.
View | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 7460   OA
The hole system of triangulated shapes
K. Ölsböck, The Hole System of Triangulated Shapes, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7511   OA
Benchmarking tomographic acquisition schemes for high-resolution structural biology
B. Turoňová, W.J.H. Hagen, M. Obr, S. Mosalaganti, J.W. Beugelink, C.E. Zimmerli, H.G. Kräusslich, M. Beck, Nature Communications 11 (2020) 876.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7489   OA
Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension
J.L. Fischer, S. Hensel, Archive for Rational Mechanics and Analysis (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7554   OA
Weighted Poisson–Delaunay mosaics
H. Edelsbrunner, A. Nikitenko, Theory of Probability and Its Applications 64 (2020) 595–614.
View | DOI | Download (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7509   OA View | DOI | Download (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7573   OA
Homogenisation of one-dimensional discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal Des Mathematiques Pures et Appliquees (n.d.).
View | DOI | Download (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7605   OA
In search of the fastest concurrent union-find algorithm
D.-A. Alistarh, A. Fedorov, N. Koval, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 15.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7580   OA
Stochastic activation and bistability in a Rab GTPase regulatory network
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.
View | DOI | Download (ext.)
 

2020 | Journal Article | IST-REx-ID: 7465   OA
Clathrin-mediated trafficking and PIN trafficking are required for auxin canalization and vascular tissue formation in Arabidopsis
E. Mazur, M.C. Gallei, M. Adamowski, H. Han, H.S. Robert, J. Friml, Plant Science 293 (2020) 110414.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7643
SCFTIR1/AFB auxin signaling for bending termination during shoot gravitropism
H. Han, H. Rakusova, I. Verstraeten, Y. Zhang, J. Friml, Plant Physiology (2020).
View | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 7636
Non-blocking interpolation search trees with doubly-logarithmic running time
T.A. Brown, A. Prokopec, D.-A. Alistarh, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, ACM, 2020, pp. 276–291.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 7650   OA
Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature
A. Deuchert, R. Seiringer, Archive for Rational Mechanics and Analysis 236 (2020) 1217–1271.
View | DOI | Download (ext.) | arXiv
 

2020 | Research Data | IST-REx-ID: 7383
Matlab scripts for the Paper: Gene Amplification as a Form of Population-Level Gene Expression regulation
R. Grah, Matlab Scripts for the Paper: Gene Amplification as a Form of Population-Level Gene Expression Regulation, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7472
Replay of behavioral sequences in the medial prefrontal cortex during rule switching
K. Käfer, M. Nardin, K. Blahna, J.L. Csicsvari, Neuron 106 (2020) 154–165.e6.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 7629   OA
Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7686
Neo-gibberellin signaling: Guiding the next generation of the green revolution
H. Xue, Y. Zhang, G. Xiao, Trends in Plant Science (2020).
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 7802   OA
Graph sparsification for derandomizing massively parallel computation with low space
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, n.d.
View | Download (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7807   OA
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.
View | DOI | Download (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7814   OA
SCOPES: Sparking curiosity through Open-Source platforms in education and science
R.J. Beattie, S. Hippenmeyer, F. Pauler, Frontiers in Education 5 (2020) 48.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 6563   OA
Are two given maps homotopic? An algorithmic viewpoint
M. Filakovský, L. Vokřínek, Foundations of Computational Mathematics 20 (2020) 311–330.
View | DOI | Download (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6796   OA
Partial coherence and frustration in self-organizing spherical grids
F. Stella, E. Urdapilleta, Y. Luo, A. Treves, Hippocampus 30 (2020) 302–313.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7883   OA
Regulation of size and scale in vertebrate spinal cord development
K. Kuzmicz-Kowalska, A. Kicheva, Wiley Interdisciplinary Reviews: Developmental Biology (2020) e383.
View | DOI | Download (ext.)
 

2020 | Journal Article | IST-REx-ID: 7888   OA
Zebrafish embryonic explants undergo genetically encoded self-assembly
A. Schauer, D.C. Nunes Pinheiro, R. Hauschild, C.-P.J. Heisenberg, ELife 9 (2020) e55190.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7600   OA
The lipid code-dependent phosphoswitch PDK1–D6PK activates PIN-mediated auxin efflux in Arabidopsis
S. Tan, X. Zhang, W. Kong, X.-L. Yang, G. Molnar, Z. Vondráková, R. Filepová, J. Petrášek, J. Friml, H.-W. Xue, Nature Plants 6 (2020) 556–569.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7876
T cells: Bridge-and-channel commute to the white pulp
M.K. Sixt, T. Lämmermann, Immunity 52 (2020) 721–723.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 7864
Precision medicine in clinical oncology: the journey from IgG antibody to IgE
J. Singer, J. Singer, E. Jensen-Jarolim, Current Opinion in Allergy and Clinical Immunology 20 (2020) 282–289.
View | DOI
 

2020 | Journal Article | IST-REx-ID: 7908   OA
Frequency-dependent block of excitatory neurotransmission by isoflurane via dual presynaptic mechanisms
H.Y. Wang, K. Eguchi, T. Yamashita, T. Takahashi, The Journal of Neuroscience 40 (2020) 4103–4115.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7910   OA
Microwave quantum illumination using a digital receiver
S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, Science Advances 6 (2020) eabb0451.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 6918
An efficient algorithm for computing network reliability in small treewidth
A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020).
View | DOI
 

2020 | Journal Article | IST-REx-ID: 7149
Chromatinopathies: A focus on Cornelia de Lange syndrome
L. Avagliano, I. Parenti, P. Grazioli, E. Di Fede, C. Parodi, M. Mariani, F.J. Kaiser, A. Selicorni, C. Gervasini, V. Massa, Clinical Genetics 97 (2020) 3–11.
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7339   OA
Microtubule and actin differentially regulate synaptic vesicle cycling to maintain high-frequency neurotransmission
L. Piriya Ananda Babu, H.Y. Wang, K. Eguchi, L. Guillaud, T. Takahashi, The Journal of Neuroscience 40 (2020) 131–142.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 6761
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 807 (2020) 42–55.
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 7389   OA
Isometric study of Wasserstein spaces - the real line
G.P. Geher, T. Titkos, D. Virosztek, (n.d.).
View | Files available
 

2020 | Journal Article | IST-REx-ID: 7428   OA
Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors
A. Ghazaryan, P.L.S. Lopes, P. Hosur, M.J. Gilbert, P. Ghaemi, Physical Review B 101 (2020) 020504.
View | DOI | Download (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7466   OA
Muscle function and homeostasis require cytokine inhibition of AKT activity in Drosophila
K. Kierdorf, F. Hersperger, J. Sharrock, C.M. Vincent, P. Ustaoglu, J. Dou, A. György, O. Groß, D.E. Siekhaus, M.S. Dionne, ELife 9 (2020) e51595.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7473   OA View | Files available | DOI | Download (ext.)
 

2020 | Journal Article | IST-REx-ID: 7219
Adaptive growth: Shaping auxin-mediated root system architecture
G. Xiao, Y. Zhang, Trends in Plant Science 25 (2020) 121–123.
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7512   OA
Local laws for polynomials of Wigner matrices
L. Erdös, T.H. Krüger, Y. Nemish, Journal of Functional Analysis (n.d.) 108507.
View | DOI | Download (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7497
Colonization of endophyte Acremonium sp. D212 in Panax notoginseng and rice mediated by auxin and jasmonic acid
L. Han, X. Zhou, Y. Zhao, S. Zhu, L. Wu, Y. He, X. Ping, X. Lu, W. Huang, J. Qian, L. Zhang, X. Jiang, D. Zhu, C. Luo, S. Li, Q. Dong, Q. Fu, K. Deng, X. Wang, L. Wang, S. Peng, J. Wu, W. Li, J. Friml, Y. Zhu, X. He, Y. Du, Journal of Integrative Plant Biology (2020).
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7500   OA View | DOI | Download (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7567   OA
Coxeter triangulations have good quality
A. Choudhary, S. Kachanovich, M. Wintraecken, Mathematics in Computer Science (2020).
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7346   OA
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, p. 21.
View | Files available | DOI | arXiv
 

2020 | Preprint | IST-REx-ID: 7601   OA
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).
View | Download (ext.)
 

2020 | Journal Article | IST-REx-ID: 7586   OA
Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal (n.d.) e103358.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7593   OA
LIS1 determines cleavage plane positioning by regulating actomyosin-mediated cell membrane contractility
H.M. Moon, S. Hippenmeyer, L. Luo, A. Wynshaw-Boris, ELife 9 (2020) 51512.
View | DOI | Download (ext.)
 

2020 | Conference Paper | IST-REx-ID: 7505
Outside the box: Abstraction-based monitoring of neural networks
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, n.d.
View | arXiv
 

2020 | Journal Article | IST-REx-ID: 7618   OA
Quantum Hellinger distances revisited
J. Pitrik, D. Virosztek, Letters in Mathematical Physics (2020).
View | DOI | Download (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7632   OA
Action representation in the mouse parieto-frontal network
T. Tombaz, B.A. Dunn, K. Hovde, R.J. Cubero, B. Mimica, P. Mamidanna, Y. Roudi, J.R. Whitlock, Scientific Reports 10 (2020) 5559.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7637   OA
From weakly interacting particles to a regularised Dean-Kawasaki model
F. Cornalba, T. Shardlow, J. Zimmer, Nonlinearity 33 (2020) 864–891.
View | DOI | Download (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7656   OA
Clustering of neural activity: A design principle for population codes
M.J. Berry, G. Tkačik, Frontiers in Computational Neuroscience 14 (2020) 20.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7651   OA
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) 20190721.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7663   OA
Wood deformation leads to rearrangement of molecules at the nanoscale
M. Felhofer, P. Bock, A. Singh, B. Prats Mateu, R. Zirbs, N. Gierlinger, Nano Letters 20 (2020) 2647–2653.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Preprint | IST-REx-ID: 7675   OA
Normative models of enhancer function
R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).
View | Download (ext.)
 

2020 | Journal Article | IST-REx-ID: 7790   OA
The free energy of the two-dimensional dilute Bose gas. I. Lower bound
A. Deuchert, S. Mayer, R. Seiringer, Forum of Mathematics, Sigma 8 (2020) e20.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7788   OA
NDUFS4 deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for NDUFAF2
M.J.W. Adjobo-Hermans, R. De Haas, P.H.G.M. Willems, A. Wojtala, S.E. Van Emst-De Vries, J.A. Wagenaars, M. Van Den Brand, R.J. Rodenburg, J.A.M. Smeitink, L.G. Nijtmans, L.A. Sazanov, M.R. Wieckowski, W.J.H. Koopman, Biochimica et Biophysica Acta - Bioenergetics 1861 (2020) 148213.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7687   OA
(Core Trust) Seal your repository!
D. Ernst, G. Novotny, E.M. Schönher, Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare 73 (2020).
View | DOI | Download (ext.)
 

2020 | Conference Paper | IST-REx-ID: 7803
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 (PODC 2020), Association for Computing Machinery, n.d.
View
 

2020 | Journal Article | IST-REx-ID: 6184   OA
Correlated random matrices: Band rigidity and edge universality
J. Alt, L. Erdös, T.H. Krüger, D.J. Schröder, Annals of Probability 48 (2020) 963–1001.
View | Files available | Download (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7889
Plants with genetically encoded autoluminescence
T. Mitiouchkina, A.S. Mishin, L. Gonzalez Somermeyer, N.M. Markina, T.V. Chepurnyh, E.B. Guglya, T.A. Karataeva, K.A. Palkina, E.S. Shakhova, L.I. Fakhranurova, S.V. Chekova, A.S. Tsarkova, Y.V. Golubev, V.V. Negrebetsky, S.A. Dolgushin, P.V. Shalaev, D. Shlykov, O.A. Melnik, V.O. Shipunova, S.M. Deyev, A.I. Bubyrev, A.S. Pushin, V.V. Choob, S.V. Dolgov, F.A. Kondrashov, I.V. Yampolsky, K.S. Sarkisyan, Nature Biotechnology (2020).
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7877   OA
MAU2 and NIPBL variants impair the heterodimerization of the cohesin loader subunits and cause Cornelia de Lange syndrome
I. Parenti, F. Diab, S.R. Gil, E. Mulugeta, V. Casa, R. Berutti, R.W.W. Brouwer, V. Dupé, J. Eckhold, E. Graf, B. Puisac, F. Ramos, T. Schwarzmayr, M.M. Gines, T. Van Staveren, W.F.J. Van Ijcken, T.M. Strom, J. Pié, E. Watrin, F.J. Kaiser, K.S. Wendt, Cell Reports 31 (2020) 107647.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7808   OA
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.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7810   OA
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7896   OA
On the average-case hardness of total search problems
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7909   OA
Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion
J. Damiano-Guercio, L. Kurzawa, J. Müller, G.A. Dimchev, M. Schaks, M. Nemethova, T. Pokrant, S. Brühmann, J. Linkner, L. Blanchoin, M.K. Sixt, K. Rottner, J. Faix, ELife 9 (2020) e55351.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7815
Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM)
R.J. Beattie, C. Streicher, N. Amberg, G.T. Cheung, X. Contreras, A.H. Hansen, S. Hippenmeyer, Journal of Visual Experiments (JoVE) (2020) e61147.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 105
CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63
A. Marsh, G. Novarino, P. Lockhart, R. Leventer, European Journal of Human Genetics 27 (2019) 161–166.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 319   OA
Singular SPDEs in domains with boundaries
M. Gerencser, M. Hairer, Probability Theory and Related Fields 173 (2019) 697–758.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 439   OA
Arithmetic and representation theory of wild character varieties
T. Hausel, M. Mereb, M. Wong, Journal of the European Mathematical Society 21 (2019) 2995–3052.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 441   OA
Tropical formulae for summation over a part of SL(2,Z)
N. Kalinin, M. Shkolnikov, European Journal of Mathematics 5 (2019) 909–928.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5790   OA
Extending partial representations of circle graphs
S. Chaplick, R. Fulek, P. Klavík, Journal of Graph Theory 91 (2019) 365–394.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5911   OA
Evolving inversions
R. Faria, K. Johannesson, R.K. Butlin, A.M. Westram, Trends in Ecology and Evolution 34 (2019) 239–248.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 5947   OA
A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries
B. Chatterjee, S. Peri, M. Sa, N. Singhal, in:, ACM International Conference Proceeding Series, ACM, 2019, pp. 168–177.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6104
Root adaptation to H2O2-induced oxidative stress by ARF-GEF BEN1- and cytoskeleton-mediated PIN2 trafficking
M. Zwiewka, A. Bielach, P. Tamizhselvan, S. Madhavan, E.E. Ryad, S. Tan, M. Hrtyan, P. Dobrev, R. Vanková, J. Friml, V.B. Tognetti, Plant and Cell Physiology 60 (2019) 255–273.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6022   OA
Genetic dissection of assortative mating behavior
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, PLoS Biology 17 (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6053   OA
Quantum electromechanics of a hypersonic crystal
M. Kalaee, M. Mirhosseini, P.B. Dieterle, M. Peruzzo, J.M. Fink, O. Painter, Nature Nanotechnology 14 (2019) 334–339.
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 6091   OA
Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs
N.T. Henderson, S.J. Le Marchand, M. Hruska, S. Hippenmeyer, L. Luo, M.B. Dalva, ELife 8 (2019).
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6351   OA
Re-activation of stem cell pathways for pattern restoration in plant wound healing
P. Marhavá, L. Hörmayer, S. Yoshida, P. Marhavy, E. Benková, J. Friml, Cell 177 (2019) 957–969.e13.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6262   OA
Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls
H. Rakusová, H. Han, P. Valošek, J. Friml, The Plant Journal 98 (2019) 1048–1059.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6488   OA
Fluctuations for differences of linear eigenvalue statistics for sample covariance matrices
G. Cipolloni, L. Erdös, Random Matrices: Theory and Application (2019).
View | DOI | Download (ext.) | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed