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
2008 |
Published |
Conference Paper |
IST-REx-ID: 3880
Berwanger D, Chatterjee K, Doyen L, Henzinger TA, Raje S. 2008. Strategy construction for parity games with imperfect information. 19th International Conference, CONCUR 2008. CONCUR: Concurrency Theory, LNCS, vol. 5201, 325–339.
View
| Files available
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3875
Chatterjee K, Henzinger TA, Sen K. 2008. Model-checking omega-regular properties of interval Markov chains. Foundations of Software Science and Computational Structures - 11th International Conference. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 4962, 302–317.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3874
Chatterjee K, Henzinger TA, Prabhu V. 2008. Trading infinite memory for uniform randomness in timed games. 11th Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 87–100.
View
| DOI
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: 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: 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: 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