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.
2888 Publications
2020 | Journal Article | IST-REx-ID: 7971 | 
Rao P, Serbyn M. Gully quantum Hall ferromagnetism in biased trilayer graphene. Physical Review B. 2020;101(24):245411. doi:10.1103/physrevb.101.245411
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 7985 |
Kwak W, Sharon D, Xia C, et al. Lithium-oxygen batteries and related systems: Potential, status, and future. Chemical Reviews. 2020. doi:10.1021/acs.chemrev.9b00609
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 7989 |
Patakova Z. Bounding radon number via Betti numbers. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020:61:1-61:13. doi:10.4230/LIPIcs.SoCG.2020.61
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 7990 |
Wagner U, Welzl E. Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.67
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 7991 |
Avvakumov S, Nivasch G. Homotopic curve shortening and the affine curve-shortening flow. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020:12:1-12:15. doi:10.4230/LIPIcs.SoCG.2020.12
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 7992 |
Patakova Z, Tancer M, Wagner U. Barycentric cuts through a convex body. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.62
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 7994 |
Arroyo Guevara AM, Bensmail J, Bruce Richter R. Extending drawings of graphs to arrangements of pseudolines. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.9
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 7995 |
Perini S, Rafajlović M, Westram AM, Johannesson K, Butlin RK. Assortative mating, sexual selection, and their consequences for gene flow in Littorina. Evolution. 2020. doi:10.1111/evo.14027
View
| DOI
| Download Published Version (ext.)
2020 | Thesis | IST-REx-ID: 7996 |
Kukucka J. Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing. IST Austria; 2020. doi:10.15479/AT:ISTA:7996
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8001 |
Vandael DH, Borges Merjane C, Zhang X, Jonas PM. Short-term plasticity at hippocampal mossy fiber synapses is induced by natural activity patterns and associated with vesicle pool engram formation. Neuron. doi:10.1016/j.neuron.2020.05.013
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8002 |
Hörmayer L, Montesinos López JC, Marhavá P, Benková E, Yoshida S, Friml J. Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots. Proceedings of the National Academy of Sciences. 2020;117(26). doi:10.1073/pnas.2003346117
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8011 |
Michailidis A, Turner CJ, Papić Z, Abanin DA, Serbyn M. Stabilizing two-dimensional quantum scars by deformation and synchronization. Physical Review Research. 2020;2(2). doi:10.1103/physrevresearch.2.022065
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8012 |
Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. Inductive sequentialization of asynchronous programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:227-242. doi:10.1145/3385412.3385980
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Thesis | IST-REx-ID: 8032 |
Huszár K. Combinatorial Width Parameters for 3-Dimensional Manifolds. IST Austria; 2020. doi:10.15479/AT:ISTA:8032
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8036 |
Collard Y, Grosjean GM, Vandewalle N. Magnetically powered metachronal waves induce locomotion in self-assemblies. Communications Physics. 2020;3. doi:10.1038/s42005-020-0380-9
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8039
Zhang Y, Liu Y, Xing C, et al. Tin selenide molecular precursor for the solution processing of thermoelectric materials and devices. ACS Applied Materials and Interfaces. 2020;12(24):27104-27111. doi:10.1021/acsami.0c04331
View
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8040
Gupta C, Khaniya U, Chan CK, et al. Charge transfer and chemo-mechanical coupling in respiratory complex I. Journal of the American Chemical Society. 2020;142(20):9220-9230. doi:10.1021/jacs.9b13450
View
| DOI
2020 | Journal Article | IST-REx-ID: 8042 |
Boccato C, Brennecke C, Cenatiempo S, Schlein B. The excitation spectrum of Bose gases interacting through singular potentials. Journal of the European Mathematical Society. 2020;22(7):2331-2403. doi:10.4171/JEMS/966
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8043 |
Paranjape CS, Duguet Y, Hof B. Oblique stripe solutions of channel flow. Journal of Fluid Mechanics. 2020;897. doi:10.1017/jfm.2020.322
View
| Files available
| DOI
2020 | Preprint | IST-REx-ID: 8063 |
Anciukevicius T, Lampert C, Henderson PM. Object-centric image generation with factored depths, locations, and appearances. ArXiv.
View
| Download Preprint (ext.)
| arXiv
2020 | Technical Report | IST-REx-ID: 8067 |
Varzi A, Thanner K, Scipioni R, et al. Current Status and Future Perspectives of Lithium Metal Batteries. IST Austria doi:10.15479/AT:ISTA:8067
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8077 |
Shehu Y, Iyiola OS. Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence. Applied Numerical Mathematics. 2020;157:315-337. doi:10.1016/j.apnum.2020.06.009
View
| Files available
| DOI
2020 | Preprint | IST-REx-ID: 8081 |
Hobisch MA, Mourad E, Fischer WJ, et al. High specific capacitance supercapacitors from hierarchically organized all-cellulose composites.
View
| Files available
2020 | Journal Article | IST-REx-ID: 8084 |
Lombardi F, Gómez-Extremera M, Bernaola-Galván P, et al. 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. Journal of Neuroscience. 2020;40(1):171-190. doi:10.1523/jneurosci.1278-19.2019
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 8089 |
Chatterjee K, Fu H, Goharshady AK, Goharshady EK. Polynomial invariant generation for non-deterministic recursive programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:672-687. doi:10.1145/3385412.3385969
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8091 |
Seiringer R, Yngvason J. Emergence of Haldane pseudo-potentials in systems with short-range interactions. Journal of Statistical Physics. 2020. doi:10.1007/s10955-020-02586-0
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 8093
Hippe A, Braun SA, Oláh P, et al. EGFR/Ras-induced CCL20 production modulates the tumour microenvironment. British Journal of Cancer. 2020. doi:10.1038/s41416-020-0943-2
View
| DOI
| PubMed | Europe PMC
2020 | Research Data | IST-REx-ID: 8097 |
Kavcic B. Analysis Scripts and Research Data for the Paper “Mechanisms of Drug Interactions between Translation-Inhibiting Antibiotics.” IST Austria; 2020. doi:10.15479/AT:ISTA:8097
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8099 |
Gammerdinger WJ, Toups MA, Vicoso B. Disagreement in FST estimators: A case study from sex chromosomes. Molecular Ecology Resources. 2020:1-9. doi:10.1111/1755-0998.13210
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8105 |
Lombardi F, Wang JWJL, Zhang X, Ivanov PC. 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. 2020;230. doi:10.1051/epjconf/202023000005
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8112
Barton NH. On the completion of speciation. Philosophical Transactions of the Royal Society Series B: Biological Sciences. 2020;375(1806). doi:10.1098/rstb.2019.0530
View
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8130 |
Bossmann L. Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons. Archive for Rational Mechanics and Analysis. 2020. doi:10.1007/s00205-020-01548-w
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8132
Salzer E, Zoghi S, Kiss MG, et al. The cytoskeletal regulator HEM1 governs B cell development and prevents autoimmunity. Science Immunology. 2020;5(49). doi:10.1126/sciimmunol.abc3979
View
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8133 |
Hillary RF, Trejo-Banos D, Kousathanas A, et al. Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults. Genome Medicine. 2020;12(1). doi:10.1186/s13073-020-00754-1
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8134 |
Mayer S, Seiringer R. The free energy of the two-dimensional dilute Bose gas. II. Upper bound. Journal of Mathematical Physics. 2020;61(6). doi:10.1063/5.0005950
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8138 |
Zhang J, Mazur E, Balla J, et al. Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization. Nature Communications. 2020;11(1):3508. doi:10.1038/s41467-020-17252-y
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8139
Johnson AJ, Gnyliukh N, Kaufmann W, et al. Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science. 2020;133(15). doi:10.1242/jcs.248062
View
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8142 |
Montesinos López JC, Abuzeineh A, Kopf A, et al. Phytohormone cytokinin guides microtubule dynamics during cell progression from proliferative to differentiated stage. The Embo Journal. 2020. doi:10.15252/embj.2019104238
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Thesis | IST-REx-ID: 8156 |
Avvakumov S. Topological Methods in Geometry and Discrete Mathematics. IST Austria; 2020. doi:10.15479/AT:ISTA:8156
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8163 |
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. doi:10.1556/012.2020.57.2.1454
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8167 |
Stankowski S, Westram AM, Zagrodzka ZB, et al. The evolution of strong reproductive isolation between sympatric intertidal snails. Philosophical Transactions of the Royal Society Series B: Biological Sciences. 2020;375(1806). doi:10.1098/rstb.2019.0545
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8168 |
Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers. Philosophical Transactions of the Royal Society Series B: Biological sciences. 2020;375(1806). doi:10.1098/rstb.2019.0528
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8169 |
Shang H, Hess J, Pickup M, et al. Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group. Philosophical Transactions of the Royal Society Series B: Biological Sciences. 2020;375(1806). doi:10.1098/rstb.2019.0544
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8170 |
Chatterley AS, Christiansen L, Schouder CA, et al. Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. Physical Review Letters. 2020;125(1). doi:10.1103/PhysRevLett.125.013001
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Book Chapter | IST-REx-ID: 8173
Kainrath S, Janovjak HL. Design and application of light-regulated receptor tyrosine kinases. In: Niopek D, ed. Photoswitching Proteins. Vol 2173. MIMB. Springer Nature; 2020:233-246. doi:10.1007/978-1-0716-0755-8_16
View
| DOI
2020 | Conference Paper | IST-REx-ID: 8186 |
Henderson PM, Tsiminaki V, Lampert C. Leveraging 2D data to learn textured 3D mesh generation. In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVF; 2020:7498-7507.
View
| Files available
| Download Submitted Version (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8190 |
Sixt MK, Huttenlocher A. Zena Werb (1945-2020): Cell biology in context. The Journal of cell biology. 2020;219(8). doi:10.1083/jcb.202007029
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8191
Alistarh D-A, Brown TA, Singhal N. Memory tagging: Minimalist synchronization for scalable concurrent data structures. In: Annual ACM Symposium on Parallelism in Algorithms and Architectures. ACM; 2020:37-49. doi:10.1145/3350755.3400213
View
| DOI
2020 | Conference Paper | IST-REx-ID: 8194 |
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31. doi:10.1007/978-3-030-51074-9_2
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8195 |
Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14
View
| Files available
| DOI