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
Hahn N, Henzinger M, Stefankovic Z. Tight bounds on the performance of dynamic directed cutset data structures based on OMv. Information Processing Letters. 2026;195. doi:10.1016/j.ipl.2026.106663
View
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17208 |
Medina Ramos RA. Exploring the optimization landscape of variational quantum algorithms. 2024. doi:10.15479/at:ista:17208
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Conference Paper |
IST-REx-ID: 22373 |
El-Hayek A, Henzinger M, Schmid S. Asymptotically tight bounds on the time complexity of broadcast and its variants in dynamic networks. In: Tauman Kalai Y, ed. 14th Innovations in Theoretical Computer Science Conference. Vol 251. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPICS.ITCS.2023.47
[Published Version]
View
| Files available
| DOI
| arXiv
earlier version | 2021 |
Published |
Conference Paper |
IST-REx-ID: 10004 |
Chatterjee K, Doyen L. Stochastic processes with expected stopping time. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2021:1-13. doi:10.1109/LICS52264.2021.9470595
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 11675 |
Bhattacharya S, Chakrabarty D, Henzinger M. Deterministic dynamic matching in O(1) update time. Algorithmica. 2020;82(4):1057-1080. doi:10.1007/s00453-019-00630-4
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 |
Published |
Journal Article |
IST-REx-ID: 11676 |
Dvořák W, Henzinger M, Williamson DP. Maximizing a submodular function with viability constraints. Algorithmica. 2017;77(1):152-172. doi:10.1007/s00453-015-0066-y
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |
Published |
Journal Article |
IST-REx-ID: 11668 |
Colini-Baldeschi R, Leonardi S, Henzinger M, Starnberger M. On multiple keyword sponsored search auctions with budgets. ACM Transactions on Economics and Computation. 2015;4(1). doi:10.1145/2818357
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
1999 |
Published |
Journal Article |
IST-REx-ID: 11679
Henzinger M, King V, Warnow T. Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. Algorithmica. 1999;24:1-13. doi:10.1007/pl00009268
View
| Files available
| DOI