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.
202 Publications
2010 | Published | Conference Paper | IST-REx-ID: 18338
Bronstein AM, Bronstein MM. Spatially-sensitive affine-invariant image descriptors. In: 11th European Conference on Computer Vision. Vol 6312. Springer Nature; 2010:197–208. doi:10.1007/978-3-642-15552-9_15
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 10908 | 
Blanc R, Henzinger TA, Hottelier T, Kovács L. ABC: Algebraic Bound Computation for loops. In: Clarke EM, Voronkov A, eds. Logic for Programming, Artificial Intelligence, and Reasoning. Vol 6355. LNCS. Berlin, Heidelberg: Springer Nature; 2010:103-118. doi:10.1007/978-3-642-17511-4_7
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
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: 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: 18335
Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. QML blind deconvolution: Asymptotic analysis. In: Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation. Vol 3195. Springer Nature; 2004:677–684. doi:10.1007/978-3-540-30110-3_86
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: 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
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
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
1997 | Published | Conference Paper | IST-REx-ID: 11803
Henzinger M, King V. Maintaining minimum spanning trees in dynamic graphs. In: 24th International Colloquium on Automata, Languages and Programming. Vol 1256. Springer Nature; 1997:594–604. doi:10.1007/3-540-63165-8_214
View
| DOI
1996 | Published | Conference Paper | IST-REx-ID: 11804
Henzinger M, Telle JA. Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. In: 5th Scandinavian Workshop on Algorithm Theory. Vol 1097. Springer Nature; 1996:16–27. doi:10.1007/3-540-61422-2_117
View
| DOI
1996 | Published | Conference Paper | IST-REx-ID: 11910
Henzinger M, Thorup M. Improved sampling with applications to dynamic graph algorithms. In: 23rd International Colloquium on Automata, Languages, and Programming. Vol 1099. Springer Nature; 1996:290-299. doi:10.1007/3-540-61440-0_136
View
| DOI
1996 | Published | Book (Editor) | IST-REx-ID: 4612
Alur R, Henzinger TA, Sontag ED, eds. Hybrid Systems III: Verification and Control. Vol 1066. Berlin ; Heidelberg: Springer; 1996. doi:10.1007/BFb0020931
View
| DOI