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. 2020. Dynamic approximate maximum independent set of intervals, hypercubes and hyperrectangles. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 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. 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: 11894 |
Goranci G, Henzinger MH, Peng P. 2020. Improved guarantees for vertex sparsification in planar graphs. SIAM Journal on Discrete Mathematics. 34(1), 130–162.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
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: 7991 |
Avvakumov S, Nivasch G. 2020. Homotopic curve shortening and the affine curve-shortening flow. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 12:1-12:15.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7989 |
Patakova Z. 2020. Bounding radon number via Betti numbers. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 61:1-61:13.
[Published Version]
View
| Files available
| DOI
| arXiv
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: 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 |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| Journal Article | IST-REx-ID: 8726 |
Gotfryd D, Paerschke E, Wohlfeld K, Oleś AM. 2020. Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling. Condensed Matter. 5(3), 53.
[Published Version]
View
| Files available
| DOI
| arXiv
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: 9576 |
Bucić M, Kwan MA, Pokrovskiy A, Sudakov B. 2020. Halfway to Rota’s basis conjecture. International Mathematics Research Notices. 2020(21), 8007–8026.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8691 |
Koudjinan E. 2020. A KAM theorem for finitely differentiable Hamiltonian systems. Journal of Differential Equations. 269(6), 4720–4750.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8978 |
Laukoter S, Amberg N, Pauler F, Hippenmeyer S. 2020. Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. STAR Protocols. 1(3), 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. 2020. Evidence for supercritical behaviour of high-pressure liquid hydrogen. Nature. 585(7824), 217–220.
[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. 2020. Snow depth patterns in a high mountain Andean catchment from satellite optical tristereoscopic remote sensing. Water Resources Research. 56(2), e2019WR024880.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Journal Article | IST-REx-ID: 12188 |
Bloomer RH, Hutchison CE, Bäurle I, Walker J, Fang X, Perera P, Velanis CN, Gümüs S, Spanos C, Rappsilber J, Feng X, Goodrich J, Dean C. 2020. The Arabidopsis epigenetic regulator ICU11 as an accessory protein of polycomb repressive complex 2. Proceedings of the National Academy of Sciences. 117(28), 16660–16666.
[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, Sinai SB, Uri A, Embon L, Yaakobi E, Myasoedov Y, Huber ME, Klajn R, Zeldov E. 2020. SQUID-on-tip with single-electron spin sensitivity for high-field and ultra-low temperature nanomagnetic imaging. Nanoscale. 12(5), 3174–3182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13368
Anahory Y, Naren HR, Lachman EO, Buhbut Sinai S, Uri A, Embon L, Yaakobi E, Myasoedov Y, Huber ME, Klajn R, Zeldov E. 2020. SQUID-on-tip with single-electron spin sensitivity for high-field and ultra-low temperature nanomagnetic imaging. Nanoscale. 12(5), 3174–3182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv