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.
225 Publications
2008 |
Published |
Conference Paper |
IST-REx-ID: 3874
Chatterjee K, Henzinger TA, Prabhu V. Trading infinite memory for uniform randomness in timed games. In: 11th Workshop on Hybrid Systems: Computation and Control. Vol 4981. Springer Nature; 2008:87-100. doi:10.1007/978-3-540-78929-1_7
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3875
Chatterjee K, Henzinger TA, Sen K. Model-checking omega-regular properties of interval Markov chains. In: Foundations of Software Science and Computational Structures - 11th International Conference. Vol 4962. Springer Nature; 2008:302-317. doi:10.1007/978-3-540-78499-9_22
View
| DOI
earlier version | 2008 |
Published |
Conference Paper |
IST-REx-ID: 3876
Chatterjee K, Henzinger TA, Prabhu V. Timed parity games: complexity and robustness. In: Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 5215. Springer Nature; 2008:124-140. doi:10.1007/978-3-540-85778-5_10
View
| Files available
| DOI
| arXiv
2008 |
Published |
Conference Paper |
IST-REx-ID: 3877
Chatterjee K, Henzinger TA, Jobstmann B. Environment assumptions for synthesis. In: 19th International Conference on Concurrency Theory. Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:147-161. doi:10.1007/978-3-540-85361-9_14
[Preprint]
View
| DOI
| arXiv
2008 |
Published |
Conference Paper |
IST-REx-ID: 3878 |
Chatterjee K, De Alfaro L, Majumdar R. The complexity of coverage. In: 6th Asian Symposium on Programming Language and Systems. Vol 5356. Springer Nature; 2008:91-106. doi:10.1007/978-3-540-89330-1_7
View
| DOI
| Download None (ext.)
| arXiv
2008 |
Published |
Conference Paper |
IST-REx-ID: 3879
Chatterjee K, Doyen L, Henzinger TA. Quantitative languages. In: 22nd International Workshop on Computer Science Logic. Vol 5213. Springer Nature; 2008:385-400. doi:10.1007/978-3-540-87531-4_28
View
| DOI
earlier version | 2008 |
Published |
Conference Paper |
IST-REx-ID: 3880
Berwanger D, Chatterjee K, Doyen L, Henzinger TA, Raje S. Strategy construction for parity games with imperfect information. In: 19th International Conference, CONCUR 2008. Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:325-339. doi:10.1007/978-3-540-85361-9
View
| Files available
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18320
Bronstein AM, Bronstein MM, Zibulevsky M. On separation of semitransparent dynamic images from static background. In: 6th International Conference on Independent Component Analysis and Signal Separation. Vol 3889. Springer Nature; 2006:934-940. doi:10.1007/11679363_116
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18321
Bronstein AM, Bronstein MM, Kimmel R. Robust expression-invariant face recognition from partially missing data. In: 9th European Conference on Computer Vision. Vol 3953. Springer Nature; 2006. doi:10.1007/11744078_31
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18322
Bronstein AM, Bronstein MM, Kimmel R. Facetoface: An isometric model for facial animation. In: 4th International Conference on Articulated Motion and Deformable Objects. Vol 4069. Springer Nature; 2006:38-47. doi:10.1007/11789239_5
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18323
Bronstein AM, Bronstein MM, Bruckstein AM, Kimmel R. Matching two-dimensional articulated shapes using generalized multidimensional scaling. In: 4th International Conference on Articulated Motion and Deformable Objects. Vol 4069. Springer Nature; 2006:48-57. doi:10.1007/11789239_6
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 18319
Bronstein AM, Bronstein MM, Kimmel R. Isometric embedding of facial surfaces into S3. In: 5th International Conference on Scale-Space Theories in Computer Vision. Vol 3459. Springer Berlin Heidelberg; 2005:622-631. doi:10.1007/11408031_53
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 11800
Henzinger M. The past, present, and future of web search engines. In: 31st International Colloquium on Automata, Languages and Programming. Vol 3142. Springer Nature; 2004:3. doi:10.1007/978-3-540-27836-8_2
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 11801
Henzinger M. Algorithmic aspects of web search engines. In: 2th Annual European Symposium on Algorithms. Vol 3221. Springer Nature; 2004:3. doi:10.1007/978-3-540-30140-0_2
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 18331
Bronstein AM, Bronstein MM, Spira A, Kimmel R. Face recognition from facial surface metric. In: 8th European Conference on Computer Vision. Vol 3022. Springer Nature; 2004:225–237. doi:10.1007/978-3-540-24671-8_18
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 18332
Bronstein AM, Bronstein MM, Zibulevsky M. Blind source separation using the block-coordinate relative Newton method. In: 5th International Conference on Independent Component Analysis and Blind Signal Separation. Vol 3195. Springer Nature; 2004:406–413. doi:10.1007/978-3-540-30110-3_52
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 18333
Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. Optimal sparse representations for blind deconvolution of images. In: 5th International Conference on Independent Component Analysis and Blind Signal Separation. Vol 3195. Springer Nature; 2004:500-507. doi:10.1007/978-3-540-30110-3_64
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 18334
Bronstein AM, Bronstein MM, Zibulevsky M. Blind deconvolution using the relative Newton method. In: 5th International Conference on Independent Component Analysis and Blind Signal Separation. Vol 3195. Berlin, Heidelberg: Springer Nature; 2004:554–561. doi:10.1007/978-3-540-30110-3_71
View
| DOI
2003 |
Published |
Conference Paper |
IST-REx-ID: 18324
Bronstein AM, Bronstein MM, Kimmel R. Expression-invariant 3D face recognition. In: 4th International Conference on Audio- and Video-Based Biometric Person Authentication. Vol 2688. Springer Nature; 2003:62-70. doi:10.1007/3-540-44887-x_8
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 11802
Henzinger M. Web information retrieval - an algorithmic perspective. In: 8th Annual European Symposium on Algorithms. Vol 1879. Springer Nature; 2000:1–8. doi:10.1007/3-540-45253-2_1
View
| DOI