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.
1850 Publications
2020 |Published| Journal Article | IST-REx-ID: 11610 | 
Zinn JC, Stello D, Elsworth Y, García RA, Kallinger T, Mathur S, Mosser B, Bugnet LA, Jones C, Hon M, Sharma S, Schönrich R, Warfield JT, Luger R, Pinsonneault MH, Johnson JA, Huber D, Aguirre VS, Chaplin WJ, Davies GR, Miglio A. 2020. The K2 galactic archaeology program data release 2: Asteroseismic results from campaigns 4, 6, and 7. The Astrophysical Journal Supplement Series. 251(2), 23.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Book Chapter | IST-REx-ID: 11622 |
Bugnet LA, Prat V, Mathis S, García RA, Mathur S, Augustson K, Neiner C, Thompson MJ. 2020.The impact of a fossil magnetic field on dipolar mixed-mode frequencies in sub- and red-giant stars. In: Dynamics of the Sun and Stars. Astrophysics and Space Science Proceedings, vol. 57, 251–257.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 11852 |
Chen L, Goranci G, Henzinger MH, Peng R, Saranurak T. 2020. Fast dynamic cuts, distances and effective resistances via vertex sparsifiers. 61st Annual Symposium on Foundations of Computer Science. FOCS: Annual Symposium on Foundations of Computer Science, 1135–1146.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 11978 |
Malik JA, Madani A, Pieber B, Seeberger PH. 2020. Evidence for photocatalyst involvement in oxidative additions of nickel-catalyzed carboxylate O-arylations. Journal of the American Chemical Society. 142(25), 11042–11049.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 11979 |
Gisbertz S, Reischauer S, Pieber B. 2020. Overcoming limitations in dual photoredox/nickel-catalysed C–N cross-couplings due to catalyst deactivation. Nature Catalysis. 3(8), 611–620.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Journal Article | IST-REx-ID: 7708 |
Nabais MF, Lin T, Benyamin B, Williams KL, Garton FC, Vinkhuyzen AAE, Zhang F, Vallerga CL, Restuadi R, Freydenzon A, Zwamborn RAJ, Hop PJ, Robinson MR, Gratten J, Visscher PM, Hannon E, Mill J, Brown MA, Laing NG, Mather KA, Sachdev PS, Ngo ST, Steyn FJ, Wallace L, Henders AK, Needham M, Veldink JH, Mathers S, Nicholson G, Rowe DB, Henderson RD, McCombe PA, Pamphlett R, Yang J, Blair IP, McRae AF, Wray NR. 2020. Significant out-of-sample classification from methylation profile scoring for amyotrophic lateral sclerosis. npj Genomic Medicine. 5, 10.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 7806 |
Filakovský M, Wagner U, Zhechev SY. 2020. Embeddability of simplicial complexes is undecidable. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January, 767–785.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 7992 |
Patakova Z, Tancer M, Wagner U. 2020. Barycentric cuts through a convex body. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 62:1-62:16.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8135 |
Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. 2020. Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. Topological Data Analysis. , Abel Symposia, vol. 15, 181–218.
[Submitted Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8322 |
Chakraborty S, Dziembowski S, Nielsen JB. 2020. Reverse firewalls for actively secure MPCs. Advances in Cryptology – CRYPTO 2020. CRYPTO: Annual International Cryptology Conference, LNCS, vol. 12171, 732–762.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 8339 |
Genise N, Micciancio D, Peikert C, Walter M. 2020. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 12110, 623–651.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Journal Article | IST-REx-ID: 8402 |
Rampelt H, Sucec I, Bersch B, Horten P, Perschil I, Martinou J-C, van der Laan M, Wiedemann N, Schanda P, Pfanner N. 2020. The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments. BMC Biology. 18, 2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 |Submitted| Preprint | IST-REx-ID: 8404 |
Weinhäupl K, Wang Y, Hessel A, Brennich M, Lindorff-Larsen K, Schanda P. Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv, 10.1101/2020.03.13.990150.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 8571 |
Geretti L, Alexandre Dit Sandretto J, Althoff M, Benet L, Chapoutot A, Chen X, Collins P, Forets M, Freire D, Immler F, Kochdumper N, Sanders D, Schilling C. 2020. ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 74, 49–75.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 9040 |
Alamdari PA, Avni G, Henzinger TA, Lukina A. 2020. Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 138–147.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 9249 |
Biswas R, Largeteau-Skapin G, Zrour R, Andres E. 2020. Digital objects in rhombic dodecahedron grid. Mathematical Morphology - Theory and Applications. 4(1), 143–158.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 9299 |
Pach J, Tardos G, Tóth G. 2020. Crossings between non-homotopic edges. 28th International Symposium on Graph Drawing and Network Visualization. GD: Graph Drawing and Network VisualizationLNCS vol. 12590, 359–371.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv