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: 10908 | 
Blanc R, Henzinger TA, Hottelier T, Kovács L. 2010. ABC: Algebraic Bound Computation for loops. Logic for Programming, Artificial Intelligence, and Reasoning. LPAR: Logic for Programming, Artificial Intelligence and ReasoningLNCS vol. 6355, 103–118.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2006 | Published | Conference Paper | IST-REx-ID: 18320
Bronstein AM, Bronstein MM, Zibulevsky M. 2006. On separation of semitransparent dynamic images from static background. 6th International Conference on Independent Component Analysis and Signal Separation. ICA: International Conference on Independent Component Analysis and Signal Separation, LNISA, vol. 3889, 934–940.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 18322
Bronstein AM, Bronstein MM, Kimmel R. 2006. Facetoface: An isometric model for facial animation. 4th International Conference on Articulated Motion and Deformable Objects. AMDO: Conference on Articulated Motion and Deformable Objects, LNIP, vol. 4069, 38–47.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 18323
Bronstein AM, Bronstein MM, Bruckstein AM, Kimmel R. 2006. Matching two-dimensional articulated shapes using generalized multidimensional scaling. 4th International Conference on Articulated Motion and Deformable Objects. AMDO: Conference on Articulated Motion and Deformable Objects, LNIP, vol. 4069, 48–57.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 18319
Bronstein AM, Bronstein MM, Kimmel R. 2005. Isometric embedding of facial surfaces into S3. 5th International Conference on Scale-Space Theories in Computer Vision. Scale Space: Conference on Scale-Space Theories in Computer Vision, LNIP, vol. 3459, 622–631.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 11800
Henzinger M. 2004. The past, present, and future of web search engines. 31st International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 3142, 3.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18333
Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. 2004. Optimal sparse representations for blind deconvolution of images. 5th International Conference on Independent Component Analysis and Blind Signal Separation. ICA: Independent Component Analysis and Blind Signal Separation, LNCS, vol. 3195, 500–507.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18335
Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. 2004. QML blind deconvolution: Asymptotic analysis. Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation. ICA: Independent Component Analysis and Blind Signal Separation , LNCS, vol. 3195, 677–684.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18332
Bronstein AM, Bronstein MM, Zibulevsky M. 2004. Blind source separation using the block-coordinate relative Newton method. 5th International Conference on Independent Component Analysis and Blind Signal Separation. ICA: Independent Component Analysis and Blind Signal Separation, LNCS, vol. 3195, 406–413.
View
| DOI
2004 | Published | Conference Paper | IST-REx-ID: 18334
Bronstein AM, Bronstein MM, Zibulevsky M. 2004. Blind deconvolution using the relative Newton method. 5th International Conference on Independent Component Analysis and Blind Signal Separation. ICA: Independent Component Analysis and Blind Signal Separation, LNCS, vol. 3195, 554–561.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 18324
Bronstein AM, Bronstein MM, Kimmel R. 2003. Expression-invariant 3D face recognition. 4th International Conference on Audio- and Video-Based Biometric Person Authentication. AVBPA: Conference on Audio- and Video-Based Biometric Person Authentication, LNCS, vol. 2688, 62–70.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 11803
Henzinger M, King V. 1997. Maintaining minimum spanning trees in dynamic graphs. 24th International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 1256, 594–604.
View
| DOI
1996 | Published | Conference Paper | IST-REx-ID: 11804
Henzinger M, Telle JA. 1996. Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. 5th Scandinavian Workshop on Algorithm Theory. SWAT: Scandinavian Workshop on Algorithm Theory, LNCS, vol. 1097, 16–27.
View
| DOI
1996 | Published | Conference Paper | IST-REx-ID: 11910
Henzinger M, Thorup M. 1996. Improved sampling with applications to dynamic graph algorithms. 23rd International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 1099, 290–299.
View
| DOI