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.

5761 Publications


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 | Journal Article | IST-REx-ID: 8189
Yu X, Liu J, Li J, Luo Z, Zuo Y, Xing C, Llorca J, Nasiou D, Arbiol J, Pan K, Kleinhanns T, Xie Y, Cabot A. 2020. Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. Nano Energy. 77(11).
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8190 | OA
Sixt MK, Huttenlocher A. 2020. Zena Werb (1945-2020): Cell biology in context. The Journal of cell biology. 219(8).
View | Files available | DOI | Download Published Version (ext.)
 

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 | Conference Paper | IST-REx-ID: 7802 | OA
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.
View | DOI | 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 | Thesis | IST-REx-ID: 8032 | OA
Huszár K. 2020. Combinatorial width parameters for 3-dimensional manifolds, IST Austria, xviii+120p.
View | Files available | DOI
 

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
 

Search

Filter Publications