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.

3017 Publications


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

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

2020 | Journal Article | IST-REx-ID: 7464 | OA
Structures of immature EIAV Gag lattices reveal a conserved role for IP6 in lentivirus assembly
R.A. Dick, C. Xu, D.R. Morado, V. Kravchuk, C.L. Ricana, T.D. Lyddon, A.M. Broad, J.R. Feathers, M.C. Johnson, V.M. Vogt, J.R. Perilla, J.A.G. Briggs, F.K. Schur, PLOS Pathogens 16 (2020).
View | Files available | DOI
 

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).
View | Files available | DOI
 

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).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7467
Influence of the ligand stripping on the transport properties of nanoparticle-based PbSe nanomaterials
D. Cadavid, S. Ortega, S. Illera, Y. Liu, M. Ibáñez, A. Shavel, Y. Zhang, M. Li, A.M. López, G. Noriega, O.J. Durá, M.A. López De La Torre, J.D. Prades, A. Cabot, ACS Applied Energy Materials 3 (2020) 2120–2129.
View | 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 | Journal Article | IST-REx-ID: 7473 | OA View | Files available | DOI | PubMed | Europe PMC
 

2020 | Book (Editor) | IST-REx-ID: 7474 | OA
Austrian High-Performance-Computing meeting (AHPC2020)
A. Schlögl, J. Kiss, S. Elefante, eds., Austrian High-Performance-Computing Meeting (AHPC2020), IST Austria, Klosterneuburg, Austria, 2020.
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7481 | OA
Functional vs. parametric equivalence of ReLU networks
P. Bui Thi Mai, C. Lampert, in:, n.d.
View | Files available
 

2020 | Journal Article | IST-REx-ID: 7487 | OA
Nuclear translocation of glutaminase GLS2 in human cancer cells associates with proliferation arrest and differentiation
A.R. López De La Oliva, J.A. Campos-Sandoval, M.C. Gómez-García, C. Cardona, M. Martín-Rufián, F.J. Sialana, L. Castilla, N. Bae, C. Lobo, A. Peñalver, M. García-Frutos, D. Carro, V. Enrique, J.C. Paz, R.G. Mirmira, A. Gutiérrez, F.J. Alonso, J.A. Segura, J.M. Matés, G. Lubec, J. Márquez, Scientific Reports 10 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7488 | OA
Evaluating Face2Gene as a tool to identify Cornelia de Lange syndrome by facial phenotypes
A. Latorre-Pellicer, Á. Ascaso, L. Trujillano, M. Gil-Salvador, M. Arnedo, C. Lucia-Campos, R. Antoñanzas-Pérez, I. Marcos-Alcalde, I. Parenti, G. Bueno-Lozano, A. Musio, B. Puisac, F.J. Kaiser, F.J. Ramos, P. Gómez-Puertas, J. Pié, International Journal of Molecular Sciences 21 (2020).
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 236 (2020) 967–1087.
View | Files available | DOI
 

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).
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7431 | OA
Decomposing information into copying versus transformation
A. Kolchinsky, B. Corominas-Murtra, Journal of the Royal Society Interface 17 (2020).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
 

2020 | Journal Article | IST-REx-ID: 7417 | OA
Regulation of acetylation of plant cell wall components is complex and responds to external stimuli
S.A. Sinclair, S. Gille, M. Pauly, U. Krämer, Plant Signaling & Behavior 15 (2020).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7426
Abstraction based verification of stability of polyhedral switched systems
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7490 | OA
Evolutionarily unique mechanistic framework of clathrin-mediated endocytosis in plants
M. Narasimhan, A.J. Johnson, R. Prizak, W. Kaufmann, S. Tan, B.E. Casillas Perez, J. Friml, ELife 9 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

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 62 (2020) 1433–1451.
View | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 7505 | OA
Outside the box: Abstraction-based monitoring of neural networks
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, IOS Press, 2020, pp. 2433–2440.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7508 | OA
Higher order corrections to the mean-field description of the dynamics of interacting bosons
L. Bossmann, N. Pavlović, P. Pickl, A. Soffer, Journal of Statistical Physics 178 (2020) 1362–1396.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7509 | OA
From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture
H. Zhang, Advances in Mathematics 365 (2020).
View | DOI | Download Preprint (ext.) | arXiv
 

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).
View | Files available | DOI
 

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 278 (2020).
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7525
Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7534 | OA
Upper edge of chaos and the energetics of transition in pipe flow
N.B. Budanur, E. Marensi, A.P. Willis, B. Hof, Physical Review Fluids 5 (2020).
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7540
In vitro shoot growth and adventitious rooting of Wikstroemia gemmata depends on light quality
I. Verstraeten, H. Buyle, S. Werbrouck, M.C. Van Labeke, D. Geelen, Israel Journal of Plant Sciences 67 (2020) 16–26.
View | DOI
 

2020 | Thesis | IST-REx-ID: 7514 | OA
The free energy of a dilute two-dimensional Bose gas
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, IST Austria, 2020.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7582 | OA
Molecular evolution and diversification of proteins involved in miRNA maturation pathway
T.R. Moturu, S. Sinha, H. Salava, S. Thula, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Plants 9 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

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 39 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

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).
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

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 | Files available | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

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 | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7603 | OA
Alternative splicing and DNA damage response in plants
B.A. Nimeth, S. Riegler, M. Kalyna, Frontiers in Plant Science 11 (2020).
View | Files available | DOI
 

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:, 23rd International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 15:1-15:16.
View | Files available | DOI | arXiv
 

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 110 (2020) 2143–2174.
View | Files available | DOI
 

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

2020 | Journal Article | IST-REx-ID: 7619 | OA
Arabidopsis flippases cooperate with ARF GTPase exchange factors to regulate the trafficking and polarity of PIN auxin transporters
X. Zhang, M. Adamowski, P. Marhavá, S. Tan, Y. Zhang, L. Rodriguez Solovey, M. Zwiewka, V. Pukyšová, A.S. Sánchez, V.K. Raxwal, C.S. Hardtke, T. Nodzynski, J. Friml, The Plant Cell 32 (2020) 1644–1664.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7622 | OA
The IYPT and the 'Ring Oiler' problem
M. Plesch, S. Plesník, N. Ruzickova, European Journal of Physics 41 (2020).
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7623 | OA
Modeling adhesion-independent cell migration
G. Jankowiak, D. Peurichard, A. REVERSAT, C. Schmeiser, M.K. Sixt, Mathematical Models and Methods in Applied Sciences 30 (2020) 513–537.
View | DOI | Download Preprint (ext.) | arXiv
 

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: 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).
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7634
Exclusive electron transport in Core@Shell PbTe@PbS colloidal semiconductor nanocrystal assemblies
R. Miranti, D. Shin, R.D. Septianto, M. Ibáñez, M.V. Kovalenko, N. Matsushita, Y. Iwasa, S.Z. Bisri, ACS Nano 14 (2020) 3242–3250.
View | DOI | PubMed | Europe PMC
 

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 | 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, ACM, 2020, pp. 276–291.
View | 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 Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7638 | OA
Non-equilibrium quantum spin dynamics from classical stochastic processes
S. De Nicola, B. Doyon, M.J. Bhaseen, Journal of Statistical Mechanics: Theory and Experiment 2020 (2020).
View | Files available | DOI | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications