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.
1621 Publications
2021 |Submitted| Preprint | IST-REx-ID: 10174 | 
Quantitative nonlinear homogenization: control of oscillations
N. Clozeau, A. Gloria, ArXiv (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
N. Clozeau, A. Gloria, ArXiv (n.d.).
2021 |Published| Book | IST-REx-ID: 10415
Cubic Forms and the Circle Method
T.D. Browning, Cubic Forms and the Circle Method, Springer Nature, Cham, 2021.
View
| DOI
T.D. Browning, Cubic Forms and the Circle Method, Springer Nature, Cham, 2021.
2021 |Published| Conference Paper | IST-REx-ID: 10630 |
On the complexity of intersection non-emptiness for star-free language classes
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, 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
| arXiv
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, 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: 10629 |
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 |
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 | Conference Paper | IST-REx-ID: 10692 |
Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order
H. Polshyn, J. Zhu, M. Kumar, Y. Zhang, F. Yang, C. Tschirhart, M. Serlin, K. Watanabe, T. Tanaguchi, A. MacDonald, A. Young, in:, APS March Meeting 2021, American Physical Society, 2021.
[Published Version]
View
| Download Published Version (ext.)
H. Polshyn, J. Zhu, M. Kumar, Y. Zhang, F. Yang, C. Tschirhart, M. Serlin, K. Watanabe, T. Tanaguchi, A. MacDonald, A. Young, in:, APS March Meeting 2021, American Physical Society, 2021.
2021 |Published| Conference Paper | IST-REx-ID: 10847 |
Solving partially observable stochastic shortest-path games
P. Tomášek, K. Horák, A. Aradhye, B. Bošanský, K. Chatterjee, in:, 30th International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2021, pp. 4182–4189.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Tomášek, K. Horák, A. Aradhye, B. Bošanský, K. Chatterjee, in:, 30th International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2021, pp. 4182–4189.
2021 |Published| Journal Article | IST-REx-ID: 11498 |
Recovery and analysis of rest-frame UV emission lines in 2052 galaxies observed with MUSE at 1.5 < z < 6.4
K.B. Schmidt, J. Kerutt, L. Wisotzki, T. Urrutia, A. Feltre, M.V. Maseda, T. Nanayakkara, R. Bacon, L.A. Boogaard, S. Conseil, T. Contini, E.C. Herenz, W. Kollatschny, M. Krumpe, F. Leclercq, G. Mahler, J.J. Matthee, V. Mauerhofer, J. Richard, J. Schaye, Astronomy & Astrophysics 654 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
K.B. Schmidt, J. Kerutt, L. Wisotzki, T. Urrutia, A. Feltre, M.V. Maseda, T. Nanayakkara, R. Bacon, L.A. Boogaard, S. Conseil, T. Contini, E.C. Herenz, W. Kollatschny, M. Krumpe, F. Leclercq, G. Mahler, J.J. Matthee, V. Mauerhofer, J. Richard, J. Schaye, Astronomy & Astrophysics 654 (2021).
2021 |Published| Journal Article | IST-REx-ID: 11500 |
The MUSE Extremely Deep Field: The cosmic web in emission at high redshift
Bacon R, Mary D, Garel T, Blaizot J, Maseda M, Schaye J, Wisotzki L, Conseil S, Brinchmann J, Leclercq F, Abril-Melgarejo V, Boogaard L, Bouché NF, Contini T, Feltre A, Guiderdoni B, Herenz C, Kollatschny W, Kusakabe H, Matthee JJ, Michel-Dansac L, Nanayakkara T, Richard J, Roth M, Schmidt KB, Steinmetz M, Tresse L, Urrutia T, Verhamme A, Weilbacher PM, Zabl J, Zoutendijk SL. 2021. The MUSE Extremely Deep Field: The cosmic web in emission at high redshift. Astronomy & Astrophysics. 647, A107.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Bacon R, Mary D, Garel T, Blaizot J, Maseda M, Schaye J, Wisotzki L, Conseil S, Brinchmann J, Leclercq F, Abril-Melgarejo V, Boogaard L, Bouché NF, Contini T, Feltre A, Guiderdoni B, Herenz C, Kollatschny W, Kusakabe H, Matthee JJ, Michel-Dansac L, Nanayakkara T, Richard J, Roth M, Schmidt KB, Steinmetz M, Tresse L, Urrutia T, Verhamme A, Weilbacher PM, Zabl J, Zoutendijk SL. 2021. The MUSE Extremely Deep Field: The cosmic web in emission at high redshift. Astronomy & Astrophysics. 647, A107.
2021 |Published| Journal Article | IST-REx-ID: 11512 |
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: 11525 |
Constraining the cosmic UV background at z > 3 with MUSE Lyman-α emission observations
S.G. Gallego, S. Cantalupo, S. Sarpas, B. Duboeuf, S. Lilly, G. Pezzulli, R.A. Marino, J.J. Matthee, L. Wisotzki, J. Schaye, J. Richard, H. Kusakabe, V. Mauerhofer, Monthly Notices of the Royal Astronomical Society 504 (2021) 16–32.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.G. Gallego, S. Cantalupo, S. Sarpas, B. Duboeuf, S. Lilly, G. Pezzulli, R.A. Marino, J.J. Matthee, L. Wisotzki, J. Schaye, J. Richard, H. Kusakabe, V. Mauerhofer, Monthly Notices of the Royal Astronomical Society 504 (2021) 16–32.
2021 |Published| Journal Article | IST-REx-ID: 11522 |
Lyman-α transmission properties of the intergalactic medium in the CoDaII simulation
M. Gronke, P. Ocvirk, C. Mason, J.J. Matthee, S.E.I. Bosman, J.G. Sorce, J. Lewis, K. Ahn, D. Aubert, T. Dawoodbhoy, I.T. Iliev, P.R. Shapiro, G. Yepes, Monthly Notices of the Royal Astronomical Society 508 (2021) 3697–3709.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Gronke, P. Ocvirk, C. Mason, J.J. Matthee, S.E.I. Bosman, J.G. Sorce, J. Lewis, K. Ahn, D. Aubert, T. Dawoodbhoy, I.T. Iliev, P.R. Shapiro, G. Yepes, Monthly Notices of the Royal Astronomical Society 508 (2021) 3697–3709.
2021 |Published| Journal Article | IST-REx-ID: 11663 |
A deamortization approach for dynamic spanner and dynamic maximal matching
A. Bernstein, S. Forster, M.H. Henzinger, ACM Transactions on Algorithms 17 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Bernstein, S. Forster, M.H. Henzinger, ACM Transactions on Algorithms 17 (2021).
2021 |Published| Journal Article | IST-REx-ID: 11756 |
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 |
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 |
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: 11920 |
Dynamic set cover: Improved amortized and worst-case update time
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, in:, 32nd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 2537–2549.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, in:, 32nd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 2537–2549.
2021 |Published| Journal Article | IST-REx-ID: 9282 |
Complete mapping of magnetic anisotropy for prototype Ising van der Waals FePS3
M. Nauman, D.H. Kiem, S. Lee, S. Son, J.-G. Park, W. Kang, M.J. Han, Y.J. Jo, 2D Materials 8 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Nauman, D.H. Kiem, S. Lee, S. Son, J.-G. Park, W. Kang, M.J. Han, Y.J. Jo, 2D Materials 8 (2021).
2021 |Published| Conference Paper | IST-REx-ID: 9296 |
On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
2021 |Published| Conference Paper | IST-REx-ID: 9466 |
The convergence of slide-type reductions
M. Walter, in:, Public-Key Cryptography – PKC 2021, Springer Nature, 2021, pp. 45–67.
[Published Version]
View
| Files available
| DOI
M. Walter, in:, Public-Key Cryptography – PKC 2021, Springer Nature, 2021, pp. 45–67.