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 MH, Neumann S, Wiese A. 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. doi:10.4230/LIPIcs.SoCG.2020.51
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 11852 |
Chen L, Goranci G, Henzinger MH, Peng R, Saranurak T. Fast dynamic cuts, distances and effective resistances via vertex sparsifiers. In: 61st Annual Symposium on Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 2020:1135-1146. doi:10.1109/focs46700.2020.00109
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 11894 |
Goranci G, Henzinger MH, Peng P. Improved guarantees for vertex sparsification in planar graphs. SIAM Journal on Discrete Mathematics. 2020;34(1):130-162. doi:10.1137/17m1163153
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7806 |
Filakovský M, Wagner U, Zhechev SY. Embeddability of simplicial complexes is undecidable. In: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. Vol 2020-January. SIAM; 2020:767-785. doi:10.1137/1.9781611975994.47
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| 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. doi:10.4230/LIPIcs.SoCG.2020.12
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| 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. doi:10.4230/LIPIcs.SoCG.2020.61
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| 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
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8322 |
Chakraborty S, Dziembowski S, Nielsen JB. Reverse firewalls for actively secure MPCs. In: Advances in Cryptology – CRYPTO 2020. Vol 12171. Springer Nature; 2020:732-762. doi:10.1007/978-3-030-56880-1_26
[Preprint]
View
| DOI
| Download Preprint (ext.)
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. doi:10.1101/2020.03.13.990150
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Book | IST-REx-ID: 8414
Kaloshin V, Zhang K. Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom. Vol 208. 1st ed. Princeton University Press; 2020. doi:10.1515/9780691204932
View
| DOI
2020 |Published| Journal Article | IST-REx-ID: 8726 |
Gotfryd D, Paerschke E, Wohlfeld K, Oleś AM. Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling. Condensed Matter. 2020;5(3). doi:10.3390/condmat5030053
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 9040 |
Alamdari PA, Avni G, Henzinger TA, Lukina A. Formal methods with a touch of magic. In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. TU Wien Academic Press; 2020:138-147. doi: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ć M, Kwan MA, Pokrovskiy A, Sudakov B. Halfway to Rota’s basis conjecture. International Mathematics Research Notices. 2020;2020(21):8007-8026. doi:10.1093/imrn/rnaa004
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8691 |
Koudjinan E. A KAM theorem for finitely differentiable Hamiltonian systems. Journal of Differential Equations. 2020;269(6):4720-4750. doi:10.1016/j.jde.2020.03.044
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8978 |
Laukoter S, Amberg N, Pauler F, Hippenmeyer S. Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. STAR Protocols. 2020;1(3). doi:10.1016/j.xpro.2020.100215
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 9685 |
Cheng B, Mazzola G, Pickard CJ, Ceriotti M. Evidence for supercritical behaviour of high-pressure liquid hydrogen. Nature. 2020;585(7824):217-220. doi: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 TE, Gascoin S, Mendoza PA, Pellicciotti F, McPhee J. Snow depth patterns in a high mountain Andean catchment from satellite optical tristereoscopic remote sensing. Water Resources Research. 2020;56(2). doi:10.1029/2019wr024880
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Journal Article | IST-REx-ID: 12188 |
Bloomer RH, Hutchison CE, Bäurle I, et al. The Arabidopsis epigenetic regulator ICU11 as an accessory protein of polycomb repressive complex 2. Proceedings of the National Academy of Sciences. 2020;117(28):16660-16666. doi: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, Naren HR, Lachman EO, et al. SQUID-on-tip with single-electron spin sensitivity for high-field and ultra-low temperature nanomagnetic imaging. Nanoscale. 2020;12(5):3174-3182. doi:10.1039/C9NR08578E
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13368
Anahory Y, Naren HR, Lachman EO, et al. SQUID-on-tip with single-electron spin sensitivity for high-field and ultra-low temperature nanomagnetic imaging. Nanoscale. 2020;12(5):3174-3182. doi:10.1039/c9nr08578e
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv