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.
224 Publications
earlier version | 2008 |
Published |
Conference Paper |
IST-REx-ID: 3880
Berwanger, Dietmar, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, and Sangram Raje. “Strategy Construction for Parity Games with Imperfect Information.” In 19th International Conference, CONCUR 2008, 5201:325–39. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9.
View
| Files available
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3879
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages.” In 22nd International Workshop on Computer Science Logic, 5213:385–400. Springer Nature, 2008. https://doi.org/10.1007/978-3-540-87531-4_28.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3875
Chatterjee, Krishnendu, Thomas A Henzinger, and Koushik Sen. “Model-Checking Omega-Regular Properties of Interval Markov Chains.” In Foundations of Software Science and Computational Structures - 11th International Conference, 4962:302–17. Springer Nature, 2008. https://doi.org/10.1007/978-3-540-78499-9_22.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3873
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Controller Synthesis with Budget Constraints.” In 11th Workshop on Hybrid Systems: Computation and Control, 4981:72–86. Springer Nature, 2008. https://doi.org/DOI: 10.1007/978-3-540-78929-1_6.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3877
Chatterjee, Krishnendu, Thomas A Henzinger, and Barbara Jobstmann. “Environment Assumptions for Synthesis.” In 19th International Conference on Concurrency Theory, 5201:147–61. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9_14.
[Preprint]
View
| DOI
| arXiv
2008 |
Published |
Conference Paper |
IST-REx-ID: 3874
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Trading Infinite Memory for Uniform Randomness in Timed Games.” In 11th Workshop on Hybrid Systems: Computation and Control, 4981:87–100. Springer Nature, 2008. https://doi.org/10.1007/978-3-540-78929-1_7.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18320
Bronstein, Alex M., Michael M. Bronstein, and Michael Zibulevsky. “On Separation of Semitransparent Dynamic Images from Static Background.” In 6th International Conference on Independent Component Analysis and Signal Separation, 3889:934–40. Springer Nature, 2006. https://doi.org/10.1007/11679363_116.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18321
Bronstein, Alex M., Michael M. Bronstein, and Ron Kimmel. “Robust Expression-Invariant Face Recognition from Partially Missing Data.” In 9th European Conference on Computer Vision, Vol. 3953. Springer Nature, 2006. https://doi.org/10.1007/11744078_31.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18322
Bronstein, Alex M., Michael M. Bronstein, and Ron Kimmel. “Facetoface: An Isometric Model for Facial Animation.” In 4th International Conference on Articulated Motion and Deformable Objects, 4069:38–47. Springer Nature, 2006. https://doi.org/10.1007/11789239_5.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18323
Bronstein, Alex M., Michael M. Bronstein, Alfred M. Bruckstein, and Ron Kimmel. “Matching Two-Dimensional Articulated Shapes Using Generalized Multidimensional Scaling.” In 4th International Conference on Articulated Motion and Deformable Objects, 4069:48–57. Springer Nature, 2006. https://doi.org/10.1007/11789239_6.
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: 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
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