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.
1503 Publications
2020 |Published| Journal Article | IST-REx-ID: 11675 | 
Deterministic dynamic matching in O(1) update time
S. Bhattacharya, D. Chakrabarty, M.H. Henzinger, Algorithmica 82 (2020) 1057–1080.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Bhattacharya, D. Chakrabarty, M.H. Henzinger, Algorithmica 82 (2020) 1057–1080.
2020 |Published| Conference Paper | IST-REx-ID: 11818 |
Fully-dynamic coresets
M.H. Henzinger, S. Kale, in:, 28th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M.H. Henzinger, S. Kale, in:, 28th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 11824 |
Dynamic approximate maximum independent set of intervals, hypercubes and hyperrectangles
M.H. Henzinger, S. Neumann, A. Wiese, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M.H. Henzinger, S. Neumann, A. Wiese, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 11852 |
Fast dynamic cuts, distances and effective resistances via vertex sparsifiers
L. Chen, G. Goranci, M.H. Henzinger, R. Peng, T. Saranurak, in:, 61st Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2020, pp. 1135–1146.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Chen, G. Goranci, M.H. Henzinger, R. Peng, T. Saranurak, in:, 61st Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2020, pp. 1135–1146.
2020 |Published| Journal Article | IST-REx-ID: 11894 |
Improved guarantees for vertex sparsification in planar graphs
G. Goranci, M.H. Henzinger, P. Peng, SIAM Journal on Discrete Mathematics 34 (2020) 130–162.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Goranci, M.H. Henzinger, P. Peng, SIAM Journal on Discrete Mathematics 34 (2020) 130–162.
2020 |Published| Conference Paper | IST-REx-ID: 7806 |
Embeddability of simplicial complexes is undecidable
M. Filakovský, U. Wagner, S.Y. Zhechev, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 767–785.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Filakovský, U. Wagner, S.Y. Zhechev, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 767–785.
2020 |Published| Conference Paper | IST-REx-ID: 7991 |
Homotopic curve shortening and the affine curve-shortening flow
S. Avvakumov, G. Nivasch, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
S. Avvakumov, G. Nivasch, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 7989 |
Bounding radon number via Betti numbers
Z. Patakova, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
Z. Patakova, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 7992 |
Barycentric cuts through a convex body
Z. Patakova, M. Tancer, U. Wagner, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
Z. Patakova, M. Tancer, U. Wagner, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 8322 |
Reverse firewalls for actively secure MPCs
S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
2020 |Submitted| Preprint | IST-REx-ID: 8404 |
Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone
K. Weinhäupl, Y. Wang, A. Hessel, M. Brennich, K. Lindorff-Larsen, P. Schanda, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Weinhäupl, Y. Wang, A. Hessel, M. Brennich, K. Lindorff-Larsen, P. Schanda, BioRxiv (n.d.).
2020 |Published| Book | IST-REx-ID: 8414
Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom
V. Kaloshin, K. Zhang, Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom, 1st ed., Princeton University Press, 2020.
View
| DOI
V. Kaloshin, K. Zhang, Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom, 1st ed., Princeton University Press, 2020.
2020 |Published| Journal Article | IST-REx-ID: 8726 |
Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling
D. Gotfryd, E. Paerschke, K. Wohlfeld, A.M. Oleś, Condensed Matter 5 (2020).
[Published Version]
View
| Files available
| DOI
| arXiv
D. Gotfryd, E. Paerschke, K. Wohlfeld, A.M. Oleś, Condensed Matter 5 (2020).
2020 |Published| Conference Paper | IST-REx-ID: 9040 |
Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
[Published Version]
View
| Files available
| DOI
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
2020 |Published| Journal Article | IST-REx-ID: 9576 |
Halfway to Rota’s basis conjecture
M. Bucić, M.A. Kwan, A. Pokrovskiy, B. Sudakov, International Mathematics Research Notices 2020 (2020) 8007–8026.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Bucić, M.A. Kwan, A. Pokrovskiy, B. Sudakov, International Mathematics Research Notices 2020 (2020) 8007–8026.
2020 |Published| Journal Article | IST-REx-ID: 8691 |
A KAM theorem for finitely differentiable Hamiltonian systems
E. Koudjinan, Journal of Differential Equations 269 (2020) 4720–4750.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Koudjinan, Journal of Differential Equations 269 (2020) 4720–4750.
2020 |Published| Journal Article | IST-REx-ID: 8978 |
Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy
S. Laukoter, N. Amberg, F. Pauler, S. Hippenmeyer, STAR Protocols 1 (2020).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Laukoter, N. Amberg, F. Pauler, S. Hippenmeyer, STAR Protocols 1 (2020).
2020 |Published| Journal Article | IST-REx-ID: 9685 |
Evidence for supercritical behaviour of high-pressure liquid hydrogen
B. Cheng, G. Mazzola, C.J. Pickard, M. Ceriotti, Nature 585 (2020) 217–220.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
B. Cheng, G. Mazzola, C.J. Pickard, M. Ceriotti, Nature 585 (2020) 217–220.
2020 |Published| Journal Article | IST-REx-ID: 12598 |
Snow depth patterns in a high mountain Andean catchment from satellite optical tristereoscopic remote sensing
T.E. Shaw, S. Gascoin, P.A. Mendoza, F. Pellicciotti, J. McPhee, Water Resources Research 56 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.E. Shaw, S. Gascoin, P.A. Mendoza, F. Pellicciotti, J. McPhee, Water Resources Research 56 (2020).
2020 |Published| Journal Article | IST-REx-ID: 12188 |
The Arabidopsis epigenetic regulator ICU11 as an accessory protein of polycomb repressive complex 2
R.H. Bloomer, C.E. Hutchison, I. Bäurle, J. Walker, X. Fang, P. Perera, C.N. Velanis, S. Gümüs, C. Spanos, J. Rappsilber, X. Feng, J. Goodrich, C. Dean, Proceedings of the National Academy of Sciences 117 (2020) 16660–16666.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.H. Bloomer, C.E. Hutchison, I. Bäurle, J. Walker, X. Fang, P. Perera, C.N. Velanis, S. Gümüs, C. Spanos, J. Rappsilber, X. Feng, J. Goodrich, C. Dean, Proceedings of the National Academy of Sciences 117 (2020) 16660–16666.