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)
Quantitative verification on product graphs of small treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 |Published| Conference Paper | IST-REx-ID: 10688 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
2021 |Published| Journal Article | IST-REx-ID: 11512 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Measuring the average molecular gas content of star-forming galaxies at z = 3–4
L.A. Boogaard, R.J. Bouwens, D. Riechers, P. van der Werf, R. Bacon, J.J. Matthee, M. Stefanon, A. Feltre, M. Maseda, H. Inami, M. Aravena, J. Brinchmann, C. Carilli, T. Contini, R. Decarli, J. González-López, T. Nanayakkara, F. Walter, The Astrophysical Journal 916 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L.A. Boogaard, R.J. Bouwens, D. Riechers, P. van der Werf, R. Bacon, J.J. Matthee, M. Stefanon, A. Feltre, M. Maseda, H. Inami, M. Aravena, J. Brinchmann, C. Carilli, T. Contini, R. Decarli, J. González-López, T. Nanayakkara, F. Walter, The Astrophysical Journal 916 (2021).
2021 |Published| Journal Article | IST-REx-ID: 11585 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Differences in galaxy colours are not just about the mass
J.J. Matthee, Nature Astronomy 5 (2021) 984–985.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, Nature Astronomy 5 (2021) 984–985.
2021 |Published| Journal Article | IST-REx-ID: 11609 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Horizontal shear instabilities in rotating stellar radiation zones: II. Effects of the full Coriolis acceleration
J. Park, V. Prat, S. Mathis, L.A. Bugnet, Astronomy & Astrophysics 646 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Park, V. Prat, S. Mathis, L.A. Bugnet, Astronomy & Astrophysics 646 (2021).
2021 |Published| Journal Article | IST-REx-ID: 11756 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Constant-time dynamic weight approximation for minimum spanning forest
M.H. Henzinger, P. Peng, Information and Computation 281 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, P. Peng, Information and Computation 281 (2021).
2021 |Published| Conference Paper | IST-REx-ID: 11771 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Upper and lower bounds for fully retroactive graph problems
M.H. Henzinger, X. Wu, in:, 17th International Symposium on Algorithms and Data Structures, Springer Nature, 2021, pp. 471–484.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, X. Wu, in:, 17th International Symposium on Algorithms and Data Structures, Springer Nature, 2021, pp. 471–484.
2021 |Published| Conference Paper | IST-REx-ID: 11814 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Differentially private algorithms for graphs under continual observation
H. Fichtenberger, M.H. Henzinger, W. Ost, in:, 29th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
H. Fichtenberger, M.H. Henzinger, W. Ost, in:, 29th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 |Published| Conference Paper | IST-REx-ID: 11919 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
New techniques and fine-grained hardness for dynamic near-additive spanners
T. Bergamaschi, M.H. Henzinger, M.P. Gutenberg, V.V. Williams, N. Wein, in:, 32nd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 1836–1855.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Bergamaschi, M.H. Henzinger, M.P. Gutenberg, V.V. Williams, N. Wein, in:, 32nd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 1836–1855.
2021 |Published| Conference Paper | IST-REx-ID: 11923 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tight bounds for online graph partitioning
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 32nd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 2799–2818.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 32nd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 2799–2818.
2021 |Submitted| Preprint | IST-REx-ID: 12076 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sums of four squareful numbers
A.L. Shute, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.L. Shute, ArXiv (n.d.).
2021 |Submitted| Preprint | IST-REx-ID: 12314 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A recurrence relation for elliptic divisibility sequences
M. Verzobio, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Verzobio, ArXiv (n.d.).
2021 | Book Chapter | IST-REx-ID: 9403 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
[Published Version]
View
| Download Published Version (ext.)
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
2021 |Published| Journal Article | IST-REx-ID: 9465 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A step in the Delaunay mosaic of order k
H. Edelsbrunner, A. Nikitenko, G.F. Osang, Journal of Geometry 112 (2021).
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, A. Nikitenko, G.F. Osang, Journal of Geometry 112 (2021).
2021 |Published| Journal Article | IST-REx-ID: 12308 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Primitive divisors of sequences associated to elliptic curves with complex multiplication
M. Verzobio, Research in Number Theory 7 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Verzobio, Research in Number Theory 7 (2021).
2021 |Published| Conference Paper | IST-REx-ID: 13146 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G. Montufar, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
[Published Version]
View
| Files available
| arXiv
Q. Nguyen, M. Mondelli, G. Montufar, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
2021 |Published| Journal Article | IST-REx-ID: 8673 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Scale-invariant magnetic anisotropy in RuCl3 at high magnetic fields
K.A. Modic, R.D. McDonald, J.P.C. Ruff, M.D. Bachmann, Y. Lai, J.C. Palmstrom, D. Graf, M.K. Chan, F.F. Balakirev, J.B. Betts, G.S. Boebinger, M. Schmidt, M.J. Lawler, D.A. Sokolov, P.J.W. Moll, B.J. Ramshaw, A. Shekhter, Nature Physics 17 (2021) 240–244.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K.A. Modic, R.D. McDonald, J.P.C. Ruff, M.D. Bachmann, Y. Lai, J.C. Palmstrom, D. Graf, M.K. Chan, F.F. Balakirev, J.B. Betts, G.S. Boebinger, M. Schmidt, M.J. Lawler, D.A. Sokolov, P.J.W. Moll, B.J. Ramshaw, A. Shekhter, Nature Physics 17 (2021) 240–244.
2021 |Published| Journal Article | IST-REx-ID: 9047 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sublinear latency for simplified successive cancellation decoding of polar codes
M. Mondelli, S.A. Hashemi, J.M. Cioffi, A. Goldsmith, IEEE Transactions on Wireless Communications 20 (2021) 18–27.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Mondelli, S.A. Hashemi, J.M. Cioffi, A. Goldsmith, IEEE Transactions on Wireless Communications 20 (2021) 18–27.
2021 |Published| Journal Article | IST-REx-ID: 9317 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The multi-cover persistence of Euclidean balls
H. Edelsbrunner, G.F. Osang, Discrete and Computational Geometry 65 (2021) 1296–1313.
[Published Version]
View
| Files available
| DOI
| WoS
H. Edelsbrunner, G.F. Osang, Discrete and Computational Geometry 65 (2021) 1296–1313.
2021 |Published| Journal Article | IST-REx-ID: 9439 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Efficient and adaptive sensory codes
W.F. Mlynarski, A.M. Hermundstad, Nature Neuroscience 24 (2021) 998–1009.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
W.F. Mlynarski, A.M. Hermundstad, Nature Neuroscience 24 (2021) 998–1009.