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.
1481 Publications
2020 |Published| Conference Paper | IST-REx-ID: 11824 | 
Henzinger, Monika H, Stefan Neumann, and Andreas Wiese. “Dynamic Approximate Maximum Independent Set of Intervals, Hypercubes and Hyperrectangles.” In 36th International Symposium on Computational Geometry, Vol. 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.SoCG.2020.51.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 11852 |
Chen, Li, Gramoz Goranci, Monika H Henzinger, Richard Peng, and Thatchaphol Saranurak. “Fast Dynamic Cuts, Distances and Effective Resistances via Vertex Sparsifiers.” In 61st Annual Symposium on Foundations of Computer Science, 1135–46. Institute of Electrical and Electronics Engineers, 2020. https://doi.org/10.1109/focs46700.2020.00109.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 11894 |
Goranci, Gramoz, Monika H Henzinger, and Pan Peng. “Improved Guarantees for Vertex Sparsification in Planar Graphs.” SIAM Journal on Discrete Mathematics. Society for Industrial & Applied Mathematics, 2020. https://doi.org/10.1137/17m1163153.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7806 |
Filakovský, Marek, Uli Wagner, and Stephan Y Zhechev. “Embeddability of Simplicial Complexes Is Undecidable.” In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 2020–January:767–85. SIAM, 2020. https://doi.org/10.1137/1.9781611975994.47.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 7991 |
Avvakumov, Sergey, and Gabriel Nivasch. “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. https://doi.org/10.4230/LIPIcs.SoCG.2020.12.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7989 |
Patakova, Zuzana. “Bounding Radon Number via Betti Numbers.” In 36th International Symposium on Computational Geometry, Vol. 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.SoCG.2020.61.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7992 |
Patakova, Zuzana, Martin Tancer, and Uli Wagner. “Barycentric Cuts through a Convex Body.” In 36th International Symposium on Computational Geometry, Vol. 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.SoCG.2020.62.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8322 |
Chakraborty, Suvradip, Stefan Dziembowski, and Jesper Buus Nielsen. “Reverse Firewalls for Actively Secure MPCs.” In Advances in Cryptology – CRYPTO 2020, 12171:732–62. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-56880-1_26.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Submitted| Preprint | IST-REx-ID: 8404 |
Weinhäupl, Katharina, Yong Wang, Audrey Hessel, Martha Brennich, Kresten Lindorff-Larsen, and Paul Schanda. “Architecture and Subunit Dynamics of the Mitochondrial TIM9·10·12 Chaperone.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2020.03.13.990150.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Book | IST-REx-ID: 8414
Kaloshin, Vadim, and Ke Zhang. Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom. 1st ed. Vol. 208. AMS. Princeton University Press, 2020. https://doi.org/10.1515/9780691204932.
View
| DOI
2020 |Published| Journal Article | IST-REx-ID: 8726 |
Gotfryd, Dorota, Ekaterina Paerschke, Krzysztof Wohlfeld, and Andrzej M. Oleś. “Evolution of Spin-Orbital Entanglement with Increasing Ising Spin-Orbit Coupling.” Condensed Matter. MDPI, 2020. https://doi.org/10.3390/condmat5030053.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 9040 |
Alamdari, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina. “Formal Methods with a Touch of Magic.” In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, 138–47. TU Wien Academic Press, 2020. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 9576 |
Bucić, Matija, Matthew Alan Kwan, Alexey Pokrovskiy, and Benny Sudakov. “Halfway to Rota’s Basis Conjecture.” International Mathematics Research Notices. Oxford University Press, 2020. https://doi.org/10.1093/imrn/rnaa004.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8691 |
Koudjinan, Edmond. “A KAM Theorem for Finitely Differentiable Hamiltonian Systems.” Journal of Differential Equations. Elsevier, 2020. https://doi.org/10.1016/j.jde.2020.03.044.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8978 |
Laukoter, Susanne, Nicole Amberg, Florian Pauler, and Simon Hippenmeyer. “Generation and Isolation of Single Cells from Mouse Brain with Mosaic Analysis with Double Markers-Induced Uniparental Chromosome Disomy.” STAR Protocols. Elsevier, 2020. https://doi.org/10.1016/j.xpro.2020.100215.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 9685 |
Cheng, Bingqing, Guglielmo Mazzola, Chris J. Pickard, and Michele Ceriotti. “Evidence for Supercritical Behaviour of High-Pressure Liquid Hydrogen.” Nature. Springer Nature, 2020. https://doi.org/10.1038/s41586-020-2677-y.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 12598 |
Shaw, Thomas E., Simon Gascoin, Pablo A. Mendoza, Francesca Pellicciotti, and James McPhee. “Snow Depth Patterns in a High Mountain Andean Catchment from Satellite Optical Tristereoscopic Remote Sensing.” Water Resources Research. American Geophysical Union, 2020. https://doi.org/10.1029/2019wr024880.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Journal Article | IST-REx-ID: 12188 |
Bloomer, Rebecca H., Claire E. Hutchison, Isabel Bäurle, James Walker, Xiaofeng Fang, Pumi Perera, Christos N. Velanis, et al. “The Arabidopsis Epigenetic Regulator ICU11 as an Accessory Protein of Polycomb Repressive Complex 2.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2020. https://doi.org/10.1073/pnas.1920621117.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 13341 |
Anahory, Y., H. R. Naren, E. O. Lachman, S. Buhbut Sinai, A. Uri, L. Embon, E. Yaakobi, et al. “SQUID-on-Tip with Single-Electron Spin Sensitivity for High-Field and Ultra-Low Temperature Nanomagnetic Imaging.” Nanoscale. Royal Society of Chemistry, 2020. https://doi.org/10.1039/C9NR08578E.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13368
Anahory, Y., H. R. Naren, E. O. Lachman, S. Buhbut Sinai, A. Uri, L. Embon, E. Yaakobi, et al. “SQUID-on-Tip with Single-Electron Spin Sensitivity for High-Field and Ultra-Low Temperature Nanomagnetic Imaging.” Nanoscale. Royal Society of Chemistry, 2020. https://doi.org/10.1039/c9nr08578e.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv