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.
8 Publications
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22812
Tight bounds on the performance of dynamic directed cutset data structures based on OMv
N. Hahn, M. Henzinger, Z. Stefankovic, Information Processing Letters 195 (2026).
View
| DOI
N. Hahn, M. Henzinger, Z. Stefankovic, Information Processing Letters 195 (2026).
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17208 |
Exploring the optimization landscape of variational quantum algorithms
R.A. Medina Ramos, Exploring the Optimization Landscape of Variational Quantum Algorithms, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
R.A. Medina Ramos, Exploring the Optimization Landscape of Variational Quantum Algorithms, Institute of Science and Technology Austria, 2024.
2023 |
Published |
Conference Paper |
IST-REx-ID: 22373 |
Asymptotically tight bounds on the time complexity of broadcast and its variants in dynamic networks
A. El-Hayek, M. Henzinger, S. Schmid, in:, Y. Tauman Kalai (Ed.), 14th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
A. El-Hayek, M. Henzinger, S. Schmid, in:, Y. Tauman Kalai (Ed.), 14th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
earlier version | 2021 |
Published |
Conference Paper |
IST-REx-ID: 10004 |
Stochastic processes with expected stopping time
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2021, pp. 1–13.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2021, pp. 1–13.
2020 |
Published |
Journal Article |
IST-REx-ID: 11675 |
Deterministic dynamic matching in O(1) update time
S. Bhattacharya, D. Chakrabarty, M. Henzinger, Algorithmica 82 (2020) 1057–1080.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Bhattacharya, D. Chakrabarty, M. Henzinger, Algorithmica 82 (2020) 1057–1080.
2017 |
Published |
Journal Article |
IST-REx-ID: 11676 |
Maximizing a submodular function with viability constraints
W. Dvořák, M. Henzinger, D.P. Williamson, Algorithmica 77 (2017) 152–172.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
W. Dvořák, M. Henzinger, D.P. Williamson, Algorithmica 77 (2017) 152–172.
2015 |
Published |
Journal Article |
IST-REx-ID: 11668 |
On multiple keyword sponsored search auctions with budgets
R. Colini-Baldeschi, S. Leonardi, M. Henzinger, M. Starnberger, ACM Transactions on Economics and Computation 4 (2015).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
R. Colini-Baldeschi, S. Leonardi, M. Henzinger, M. Starnberger, ACM Transactions on Economics and Computation 4 (2015).
1999 |
Published |
Journal Article |
IST-REx-ID: 11679
Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
M. Henzinger, V. King, T. Warnow, Algorithmica 24 (1999) 1–13.
View
| Files available
| DOI
M. Henzinger, V. King, T. Warnow, Algorithmica 24 (1999) 1–13.