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.
538 Publications
2021 | Book | IST-REx-ID: 10415
Browning TD. Cubic Forms and the Circle Method. Vol 343. Cham: Springer Nature; 2021. doi:10.1007/978-3-030-86872-7
View
| DOI
2021 | Conference Paper | IST-REx-ID: 10552 | 
Kolmogorov V, Pock T. One-sided Frank-Wolfe algorithms for saddle problems. In: 38th International Conference on Machine Learning. ; 2021.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10595 |
Nguyen Q, Mondelli M, Montufar GF. Tight bounds on the smallest eigenvalue of the neural tangent kernel for deep ReLU networks. In: Meila M, Zhang T, eds. Proceedings of the 38th International Conference on Machine Learning. Vol 139. ML Research Press; 2021:8119-8129.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10630 |
Arrighi E, Fernau H, Hoffmann S, et al. On the complexity of intersection non-emptiness for star-free language classes. In: 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 213. Schloss Dagstuhl - Leibniz Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.FSTTCS.2021.34
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 10629 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Quantitative verification on product graphs of small treewidth. In: 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 213. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.FSTTCS.2021.42
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 10688 |
Kragl B, Qadeer S. The Civl verifier. In: Ruzica P, Whalen MW, eds. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. Vol 2. TU Wien Academic Press; 2021:143–152. doi:10.34727/2021/isbn.978-3-85448-046-4_23
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 11512 |
Boogaard LA, Bouwens RJ, Riechers D, et al. Measuring the average molecular gas content of star-forming galaxies at z = 3–4. The Astrophysical Journal. 2021;916(1). doi:10.3847/1538-4357/ac01d7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11585 |
Matthee JJ. Differences in galaxy colours are not just about the mass. Nature Astronomy. 2021;5:984-985. doi:10.1038/s41550-021-01415-y
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11609 |
Park J, Prat V, Mathis S, Bugnet LA. Horizontal shear instabilities in rotating stellar radiation zones: II. Effects of the full Coriolis acceleration. Astronomy & Astrophysics. 2021;646. doi:10.1051/0004-6361/202038654
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11756 |
Henzinger MH, Peng P. Constant-time dynamic weight approximation for minimum spanning forest. Information and Computation. 2021;281(12). doi:10.1016/j.ic.2021.104805
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 11771 |
Henzinger MH, Wu X. Upper and lower bounds for fully retroactive graph problems. In: 17th International Symposium on Algorithms and Data Structures. Vol 12808. Springer Nature; 2021:471–484. doi:10.1007/978-3-030-83508-8_34
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 11814 |
Fichtenberger H, Henzinger MH, Ost W. Differentially private algorithms for graphs under continual observation. In: 29th Annual European Symposium on Algorithms. Vol 204. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.ESA.2021.42
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 11919 |
Bergamaschi T, Henzinger MH, Gutenberg MP, Williams VV, Wein N. New techniques and fine-grained hardness for dynamic near-additive spanners. In: 32nd Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2021:1836-1855. doi:10.1137/1.9781611976465.110
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 11923 |
Henzinger MH, Neumann S, Räcke H, Schmid S. Tight bounds for online graph partitioning. In: 32nd Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2021:2799-2818. doi:10.1137/1.9781611976465.166
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Preprint | IST-REx-ID: 12077 |
Shute AL. On the leading constant in the Manin-type conjecture for Campana points. arXiv. doi:10.48550/arXiv.2104.14946
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Preprint | IST-REx-ID: 12076 |
Shute AL. Sums of four squareful numbers. arXiv. doi:10.48550/arXiv.2104.06966
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Preprint | IST-REx-ID: 12314 |
Verzobio M. A recurrence relation for elliptic divisibility sequences. arXiv. doi:10.48550/arXiv.2102.07573
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Book Chapter | IST-REx-ID: 9403 |
Schmid L, Hilbe C. The evolution of strategic ignorance in strategic interaction. In: Hertwig R, Engel C, eds. Deliberate Ignorance: Choosing Not To Know. Vol 29. Strüngmann Forum Reports. MIT Press; 2021:139-152.
[Published Version]
View
| Download Published Version (ext.)
2021 | Journal Article | IST-REx-ID: 9465 |
Edelsbrunner H, Nikitenko A, Osang GF. A step in the Delaunay mosaic of order k. Journal of Geometry. 2021;112(1). doi:10.1007/s00022-021-00577-4
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 12308 |
Verzobio M. Primitive divisors of sequences associated to elliptic curves with complex multiplication. Research in Number Theory. 2021;7(2). doi:10.1007/s40993-021-00267-9
[Published Version]
View
| DOI
| Download Published Version (ext.)