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

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




2782 Publications

2020 | Preprint | IST-REx-ID: 7463 | OA
Lombardi F, Shriki O, Herrmann HJ, de Arcangelis L. 2020. Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches. bioRxiv.
View | Download Preprint (ext.)
 
2020 | Book (Editor) | IST-REx-ID: 7474 | OA
Schlögl A, Kiss J, Elefante S eds. 2020. Austrian High-Performance-Computing meeting (AHPC2020), Klosterneuburg, Austria: IST Austria,p.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 7481 | OA
Bui Thi Mai P, Lampert C. Functional vs. parametric equivalence of ReLU networks
View | Files available
 
2020 | Journal Article | IST-REx-ID: 7500 | OA
Mazur E, Kulik I, Hajny J, Friml J. 2020. Auxin canalization and vascular tissue formation by TIR1/AFB-mediated auxin signaling in arabidopsis. New Phytologist.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7505
Henzinger TA, Lukina A, Schilling C. Outside the box: Abstraction-based monitoring of neural networks. 24th European Conference on Artificial Intelligence. ECAI: European Conference on Artificial Intelligence
View | arXiv
 
2020 | Journal Article | IST-REx-ID: 7509 | OA
Zhang H. From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture. Advances in Mathematics.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Thesis | IST-REx-ID: 7525
Bhandari P. 2020. Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway, IST Austria, 79p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7594 | OA
Gotfryd D, Paerschke E, Chaloupka J, Oles AM, Wohlfeld K. 2020. How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator. Physical Review Research. 2(1).
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 7601 | OA
Wei Z, Tan S, Liu T, Wu Y, Lei J-G, Chen Z, Friml J, Xue H-W, Liao K. 2020. Plasmodesmata-like intercellular connections by plant remorin in animal cells. bioRxiv.
View | Download Preprint (ext.)
 
2020 | Thesis | IST-REx-ID: 7629 | OA
Forkert DL. 2020. Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains, IST Austria, 154p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7646
Lee E, Vila Nova Santana B, Samuels E, Benitez-Fuente F, Corsi E, Botella M, Perez-Sancho J, Vanneste S, Friml J, Macho A, Alves Azevedo A, Rosado A. 2020. Rare earth elements induce cytoskeleton-dependent and PI4P-associated rearrangement of SYT1/SYT5 ER-PM contact site complexes in Arabidopsis. Journal of Experimental Botany., eraa138.
View | DOI | PubMed | Europe PMC
 
2020 | Preprint | IST-REx-ID: 7672 | OA
Samojlov A, Schuster D, Kahr J, Freunberger SA. 2020. Surface and catalyst driven singlet oxygen formation in Li-O2 cells. ChemRxiv.
View | Download Preprint (ext.)
 
2020 | Preprint | IST-REx-ID: 7673 | OA
Kavcic B, Tkačik G, Bollenbach T. 2020. A minimal biophysical model of combined antibiotic action. bioRxiv.
View | Download Preprint (ext.)
 
2020 | Conference Paper | IST-REx-ID: 7803
Czumaj A, Davies P, Parter M. Simple, deterministic, constant-round coloring in the congested clique. Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing (PODC 2020). PODC: Symposium on Principles of Distributed Computing
View
 
2020 | Journal Article | IST-REx-ID: 7814 | OA
Beattie RJ, Hippenmeyer S, Pauler F. 2020. SCOPES: Sparking curiosity through Open-Source platforms in education and science. Frontiers in Education. 5.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7919 | OA
Mistakidis SI, Volosniev A, Schmelcher P. 2020. Induced correlations between impurities in a one-dimensional quenched Bose gas. Physical Review Research. 2.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7948 | OA
Maghiaoui A, Bouguyon E, Cuesta C, Perrine-Walker F, Alcon C, Krouk G, Benková E, Nacry P, Gojon A, Bach L. The Arabidopsis NRT1.1 transceptor coordinately controls auxin biosynthesis and transport to regulate root branching in response to nitrate. Journal of Experimental Botany., eraa242.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7949 | OA
Smith S, Zhu S, Joos L, Roberts I, Nikonorova N, Vu L, Stes E, Cho H, Larrieu A, Xuan W, Goodall B, van de Cotte B, Waite J, Rigal A, R Harborough S, Persiau G, Vanneste S, Kirschner G, Vandermarliere E, Martens L, Stahl Y, Audenaert D, Friml J, Felix G, Simon R, Bennett M, Bishopp A, De Jaeger G, Ljung K, Kepinski S, Robert S, Nemhauser J, Hwang I, Gevaert K, Beeckman T, De Smet I. The CEP5 peptide promotes abiotic stress tolerance, as revealed by quantitative proteomics, and attenuates the AUX/IAA equilibrium in Arabidopsis. Molecular & Celluluar Proteomics.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7966 | OA
Auerbach B, Giacon F, Kiltz E. 2020. Everybody’s a target: Scalability in public-key encryption. Advances in Cryptology – EUROCRYPT 2020. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 12107. 475–506.
View | DOI | Download Submitted Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 8011 | OA
Michailidis A, Turner CJ, Papić Z, Abanin DA, Serbyn M. 2020. Stabilizing two-dimensional quantum scars by deformation and synchronization. Physical Review Research. 2(2).
View | Files available | DOI
 
2020 | Technical Report | IST-REx-ID: 8067 | OA
Varzi A, Thanner K, Scipioni R, Di Lecce D, Hassoun J, Dörfler S, Altheus H, Kaskel S, Prehal C, Freunberger SA. Current status and future perspectives of Lithium metal batteries, IST Austria, 63p.
View | Files available | DOI
 
2020 | Research Data | IST-REx-ID: 8097 | OA
Kavcic B. 2020. Analysis scripts and research data for the paper ‘Mechanisms of drug interactions between translation-inhibiting antibiotics’, IST Austria,p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8105 | OA
Lombardi F, Wang JWJL, Zhang X, Ivanov PC. 2020. Power-law correlations and coupling of active and quiet states underlie a class of complex systems with self-organization at criticality. EPJ Web of Conferences. 230.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8139
Johnson AJ, Gnyliukh N, Kaufmann W, Narasimhan M, Vert G, Bednarek S, Friml J. 2020. Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science.
View | DOI | PubMed | Europe PMC
 
2020 | Preprint | IST-REx-ID: 8081 | OA
Hobisch MA, Mourad E, Fischer WJ, Prehal C, Eyley S, Childress A, Zankel A, Mautner A, Breitenbach S, Rao AM, Thielemans W, Freunberger SA, Eckhart R, Bauer W, Spirk S. High specific capacitance supercapacitors from hierarchically organized all-cellulose composites.
View | Files available
 
2020 | Journal Article | IST-REx-ID: 8163 | OA
Vegter G, Wintraecken M. Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. 57(2), 193–199.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8162 | OA
Laukoter S, Pauler F, Beattie RJ, Amberg N, Hansen AH, Streicher C, Penz T, Bock C, Hippenmeyer S. Cell-type specificity of genomic imprinting in cerebral cortex. Neuron. 107(9), 1–20.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7389 | OA
Geher GP, Titkos T, Virosztek D. 2020. Isometric study of Wasserstein spaces - the real line. Transactions of the American Mathematical Society. 373(8), 5855–5883.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov S. 2020. Topological methods in geometry and discrete mathematics, IST Austria, 119p.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 7675 | OA
Grah R, Zoller B, Tkačik G. 2020. Normative models of enhancer function. bioRxiv.
View | Files available | Download Preprint (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8186 | OA
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.
View | Files available | Download Submitted Version (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. 2020. Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 30. 48–56.
View
 
2020 | Preprint | IST-REx-ID: 8188 | OA
Henderson PM, Lampert C. Unsupervised object-centric video generation and decomposition in 3D. arXiv:2007.06705.
View | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8199 | OA
Gulden T, Berg E, Rudner MS, Lindner N. 2020. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. 9.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. 2020. An SMT theory of fixed-point arithmetic. Automated Reasoning. IJCAR: International Joint Conference on Automated Reasoning, LNCS, vol. 12166. 13–31.
View | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224. 275–298.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8191
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.
View | DOI
 
2020 | Preprint | IST-REx-ID: 8198 | OA
Diringer AA, Gulden T. Robustness of the Floquet many-body localized phase in the presence of a  smooth and a non-smooth drive. arXiv:2007.14879.
View | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8203 | OA
Katsaros G, Kukucka J, Vukušić 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.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Research Data | IST-REx-ID: 7689 | OA
Katsaros G. 2020. Supplementary data for ‘Zero field splitting of heavy-hole states in quantum dots’, IST Austria,p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 6184 | OA
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.
View | Files available | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7546 | OA
Beets I, Zhang G, Fenk LA, Chen C, Nelson GM, Félix M-A, de Bono M. 2020. Natural variation in a dendritic scaffold protein remodels experience-dependent plasticity by altering neuropeptide expression. Neuron. 105(1), 106–121.e10.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8196 | OA
Shehu Y, Dong Q-L, Liu L-L, Yao J-C. 2020. New strong convergence method for the sum of two maximal monotone operators. Optimization and Engineering.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8220 | OA
Corominas-Murtra B, Scheele CLGJ, Kishi K, Ellenbroek SIJ, Simons BD, Van Rheenen J, Hannezo EB. 2020. Stem cell lineage survival as a noisy competition for niche access. Proceedings of the National Academy of Sciences of the United States of America. 117(29), 16969–16975.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7416
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).
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7417
Sinclair SA, Gille S, Pauly M, Krämer U. 2020. Regulation of acetylation of plant cell wall components is complex and responds to external stimuli. Plant Signaling & Behavior. 15(1).
View | DOI | PubMed | Europe PMC
 
2020 | Thesis | IST-REx-ID: 7680
Kainrath S. 2020. Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals, IST Austria, 98p.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 7944 | OA
Masárová Z. 2020. Reconfiguration problems, IST Austria, 160p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 6185 | OA
Erdös L, Krüger TH, Schröder DJ. 2020. Cusp universality for random matrices I: Local law and the complex hermitian case. Communications in Mathematical Physics., 50.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 6358 | OA
Carlen EA, Maas J. 2020. Non-commutative calculus, optimal transport and functional inequalities  in dissipative quantum systems. Journal of Statistical Physics. 178(2), 319–378.
View | Files available | DOI | arXiv
 

Search

Filter Publications