Please note that ISTA 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.
1621 Publications
2020 |Published| Conference Paper | IST-REx-ID: 7808 | 
Giacobbe M, Henzinger TA, Lechner M. 2020. How many bits does it take to quantize your neural network? International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 12079, 79–97.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7952 |
Boissonnat J-D, Wintraecken M. 2020. The topological correctness of PL-approximations of isomanifolds. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 20:1-20:18.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7990 |
Wagner U, Welzl E. 2020. Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 67:1-67:16.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7807 |
Wagner U, Welzl E. 2020. Connectivity of triangulation flip graphs in the plane (Part I: Edge flips). Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January, 2823–2841.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13466 |
Bodensteiner J, Sana H, Mahy L, Patrick LR, de Koter A, de Mink SE, Evans CJ, Götberg YLL, Langer N, Lennon DJ, Schneider FRN, Tramper F. 2020. The young massive SMC cluster NGC 330 seen by MUSE. Astronomy & Astrophysics. 634, A51.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13467 |
Götberg YLL, de Mink SE, McQuinn M, Zapartas E, Groh JH, Norman C. 2020. Contribution from stars stripped in binaries to cosmic reionization of hydrogen and helium. Astronomy & Astrophysics. 634, A134.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13463 |
Renzo M, Farmer R, Justham S, Götberg YLL, de Mink SE, Zapartas E, Marchant P, Smith N. 2020. Predictions for the hydrogen-free ejecta of pulsational pair-instability supernovae. Astronomy & Astrophysics. 640, A56.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |Published| Book Chapter | IST-REx-ID: 74 |
Akopyan A, Karasev R. 2020.Gromov’s waist of non-radial Gaussian measures and radial non-Gaussian measures. In: Geometric Aspects of Functional Analysis. vol. 2256, 1–27.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7033 |
Donahue R, Maes ME, Grosser J, Nickells R. 2020. BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology. 57(2), 1070–1084.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7004 |
Rapcak M, Soibelman Y, Yang Y, Zhao G. 2020. Cohomological Hall algebras, vertex algebras and instantons. Communications in Mathematical Physics. 376, 1803–1873.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7220
Dodier P, Auzinger T, Mistelbauer G, Wang WT, Ferraz-Leite H, Gruber A, Marik W, Winter F, Fischer G, Frischer JM, Bavinzski G. 2020. Novel software-derived workflow in extracranial–intracranial bypass surgery validated by transdural indocyanine green videoangiography. World Neurosurgery. 134(2), e892–e902.
View
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7234 |
Obeidy P, Ju LA, Oehlers SH, Zulkhernain NS, Lee Q, Galeano Niño JL, Kwan RYQ, Tikoo S, Cavanagh LL, Mrass P, Cook AJL, Jackson SP, Biro M, Roediger B, Sixt MK, Weninger W. 2020. Partial loss of actin nucleator actin-related protein 2/3 activity triggers blebbing in primary T lymphocytes. Immunology and Cell Biology. 98(2), 93–113.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7467 |
Cadavid D, Ortega S, Illera S, Liu Y, Ibáñez M, Shavel A, Zhang Y, Li M, López AM, Noriega G, Durá OJ, López De La Torre MA, Prades JD, Cabot A. 2020. Influence of the ligand stripping on the transport properties of nanoparticle-based PbSe nanomaterials. ACS Applied Energy Materials. 3(3), 2120–2129.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 |Published| Journal Article | IST-REx-ID: 7497 |
Han L, Zhou X, Zhao Y, Zhu S, Wu L, He Y, Ping X, Lu X, Huang W, Qian J, Zhang L, Jiang X, Zhu D, Luo C, Li S, Dong Q, Fu Q, Deng K, Wang X, Wang L, Peng S, Wu J, Li W, Friml J, Zhu Y, He X, Du Y. 2020. Colonization of endophyte Acremonium sp. D212 in Panax notoginseng and rice mediated by auxin and jasmonic acid. Journal of Integrative Plant Biology. 62(9), 1433–1451.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7563 |
Yalniz G, Budanur NB. 2020. Inferring symbolic dynamics of chaotic flows from persistence. Chaos. 30(3), 033109.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7600 |
Tan S, Zhang X, Kong W, Yang X-L, Molnar G, Vondráková Z, Filepová R, Petrášek J, Friml J, Xue H-W. 2020. The lipid code-dependent phosphoswitch PDK1–D6PK activates PIN-mediated auxin efflux in Arabidopsis. Nature Plants. 6, 556–569.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7586 |
Weinert S, Gimber N, Deuschel D, Stuhlmann T, Puchkov D, Farsi Z, Ludwig CF, Novarino G, López-Cayuqueo KI, Planells-Cases R, Jentsch TJ. 2020. Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration. EMBO Journal. 39, e103358.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 7909 |
Damiano-Guercio J, Kurzawa L, Müller J, Dimchev GA, Schaks M, Nemethova M, Pokrant T, Brühmann S, Linkner J, Blanchoin L, Sixt MK, Rottner K, Faix J. 2020. Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion. eLife. 9, e55351.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Journal Article | IST-REx-ID: 8133 |
Hillary RF, Trejo-Banos D, Kousathanas A, Mccartney DL, Harris SE, Stevenson AJ, Patxot M, Ojavee SE, Zhang Q, Liewald DC, Ritchie CW, Evans KL, Tucker-Drob EM, Wray NR, Mcrae AF, Visscher PM, Deary IJ, Robinson MR, Marioni RE. 2020. Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults. Genome Medicine. 12(1), 60.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |Published| Conference Paper | IST-REx-ID: 8194 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS