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.
279 Publications
2006 |
Published |
Conference Paper |
IST-REx-ID: 3499
Chatterjee, Krishnendu. “Nash Equilibrium for Upward-Closed Objectives.” In Proceedings of the 20th International Conference on Computer Science Logic, 4207:271–86. Springer Nature, 2006. https://doi.org/10.1007/11874683_18.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 18319
Bronstein, Alex M., Michael M. Bronstein, and Ron Kimmel. “Isometric Embedding of Facial Surfaces into S3.” In 5th International Conference on Scale-Space Theories in Computer Vision, 3459:622–31. Springer Berlin Heidelberg, 2005. https://doi.org/10.1007/11408031_53.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 11800
Henzinger, Monika. “The Past, Present, and Future of Web Search Engines.” In 31st International Colloquium on Automata, Languages and Programming, 3142:3. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-27836-8_2.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 11801
Henzinger, Monika. “Algorithmic Aspects of Web Search Engines.” In 2th Annual European Symposium on Algorithms, 3221:3. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-30140-0_2.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4578
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,” 3148:2–18. Springer, 2004. https://doi.org/10.1007/978-3-540-27864-1_2.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 18331
Bronstein, Alex M., Michael M. Bronstein, Alon Spira, and Ron Kimmel. “Face Recognition from Facial Surface Metric.” In 8th European Conference on Computer Vision, 3022:225–237. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-24671-8_18.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 18332
Bronstein, Alex M., Michael M. Bronstein, and Michael Zibulevsky. “Blind Source Separation Using the Block-Coordinate Relative Newton Method.” In 5th International Conference on Independent Component Analysis and Blind Signal Separation, 3195:406–413. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-30110-3_52.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 18333
Bronstein, Alex M., Michael M. Bronstein, Michael Zibulevsky, and Yehoshua Y. Zeevi. “Optimal Sparse Representations for Blind Deconvolution of Images.” In 5th International Conference on Independent Component Analysis and Blind Signal Separation, 3195:500–507. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-30110-3_64.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 18334
Bronstein, Alex M., Michael M. Bronstein, and Michael Zibulevsky. “Blind Deconvolution Using the Relative Newton Method.” In 5th International Conference on Independent Component Analysis and Blind Signal Separation, 3195:554–561. Berlin, Heidelberg: Springer Nature, 2004. https://doi.org/10.1007/978-3-540-30110-3_71.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 18335
Bronstein, Alex M., Michael M. Bronstein, Michael Zibulevsky, and Yehoshua Y. Zeevi. “QML Blind Deconvolution: Asymptotic Analysis.” In Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation, 3195:677–684. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-30110-3_86.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 3894
Chatterjee, Krishnendu, Ritankar Majumdar, and Marcin Jurdziński. “On Nash Equilibria in Stochastic Games.” In 18th International Workshop, Computer Science Logic 2004, 13th Annual Conference of the EACSL, 3210:26–40. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-30124-0_6.
View
| DOI
2003 |
Published |
Conference Paper |
IST-REx-ID: 18324
Bronstein, Alex M., Michael M. Bronstein, and Ron Kimmel. “Expression-Invariant 3D Face Recognition.” In 4th International Conference on Audio- and Video-Based Biometric Person Authentication, 2688:62–70. Springer Nature, 2003. https://doi.org/10.1007/3-540-44887-x_8.
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 11802
Henzinger, Monika. “Web Information Retrieval - an Algorithmic Perspective.” In 8th Annual European Symposium on Algorithms, 1879:1–8. Springer Nature, 2000. https://doi.org/10.1007/3-540-45253-2_1.
View
| DOI
1997 |
Published |
Conference Paper |
IST-REx-ID: 11803
Henzinger, Monika, and Valerie King. “Maintaining Minimum Spanning Trees in Dynamic Graphs.” In 24th International Colloquium on Automata, Languages and Programming, 1256:594–604. Springer Nature, 1997. https://doi.org/10.1007/3-540-63165-8_214.
View
| DOI
1996 |
Published |
Conference Paper |
IST-REx-ID: 11804
Henzinger, Monika, and Jan Arne Telle. “Faster Algorithms for the Nonemptiness of Streett Automata and for Communication Protocol Pruning.” In 5th Scandinavian Workshop on Algorithm Theory, 1097:16–27. Springer Nature, 1996. https://doi.org/10.1007/3-540-61422-2_117.
View
| DOI
1996 |
Published |
Conference Paper |
IST-REx-ID: 11910
Henzinger, Monika, and Mikkel Thorup. “Improved Sampling with Applications to Dynamic Graph Algorithms.” In 23rd International Colloquium on Automata, Languages, and Programming, 1099:290–99. Springer Nature, 1996. https://doi.org/10.1007/3-540-61440-0_136.
View
| DOI
1996 |
Published |
Book (Editor) |
IST-REx-ID: 4612
Alur, Rajeev, Thomas A Henzinger, and Eduardo D Sontag, eds. Hybrid Systems III: Verification and Control. Vol. 1066. Lecture Notes in Computer Science. Berlin ; Heidelberg: Springer, 1996. https://doi.org/10.1007/BFb0020931.
View
| DOI
1995 |
Published |
Conference Paper |
IST-REx-ID: 11805
Henzinger, Monika, and Han Poutré. “Certificates and Fast Algorithms for Biconnectivity in Fully-Dynamic Graphs.” In 3rd Annual European Symposium on Algorithms, 979:171–184. Springer Nature, 1995. https://doi.org/10.1007/3-540-60313-1_142.
View
| DOI
1995 |
Published |
Conference Paper |
IST-REx-ID: 11806
Henzinger, Monika. “Approximating Minimum Cuts under Insertions.” In 22nd International Colloquium on Automata, Languages and Programming, 944:280–291. Springer Nature, 1995. https://doi.org/10.1007/3-540-60084-1_81.
View
| DOI