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.
543 Publications
2021 |Published| Conference Paper | IST-REx-ID: 10629 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Conference Paper | IST-REx-ID: 10688 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 11512 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 11585 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 11609 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 11756 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Conference Paper | IST-REx-ID: 11771 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Conference Paper | IST-REx-ID: 11814 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Conference Paper | IST-REx-ID: 11919 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Conference Paper | IST-REx-ID: 11923 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Submitted| Preprint | IST-REx-ID: 12076 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shute AL. Sums of four squareful numbers. arXiv. doi:10.48550/arXiv.2104.06966
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 12314 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 9465 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 12308 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.)
2021 |Published| Conference Paper | IST-REx-ID: 13146 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nguyen Q, Mondelli M, Montufar G. Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks. In: Proceedings of the 38th International Conference on Machine Learning. Vol 139. ML Research Press; 2021:8119-8129.
[Published Version]
View
| Files available
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8673 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Modic KA, McDonald RD, Ruff JPC, et al. Scale-invariant magnetic anisotropy in RuCl3 at high magnetic fields. Nature Physics. 2021;17:240-244. doi:10.1038/s41567-020-1028-0
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 9047 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mondelli M, Hashemi SA, Cioffi JM, Goldsmith A. Sublinear latency for simplified successive cancellation decoding of polar codes. IEEE Transactions on Wireless Communications. 2021;20(1):18-27. doi:10.1109/TWC.2020.3022922
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 9317 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner H, Osang GF. The multi-cover persistence of Euclidean balls. Discrete and Computational Geometry. 2021;65:1296–1313. doi:10.1007/s00454-021-00281-9
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 9439 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mlynarski WF, Hermundstad AM. Efficient and adaptive sensory codes. Nature Neuroscience. 2021;24:998-1009. doi:10.1038/s41593-021-00846-0
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS