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
Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, L. Doyen, T.A. Henzinger, S. Raje, in:, 19th International Conference, CONCUR 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–339.
View
| Files available
| DOI
D. Berwanger, K. Chatterjee, L. Doyen, T.A. Henzinger, S. Raje, in:, 19th International Conference, CONCUR 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–339.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3879
Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, 22nd International Workshop on Computer Science Logic, Springer Nature, 2008, pp. 385–400.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, 22nd International Workshop on Computer Science Logic, Springer Nature, 2008, pp. 385–400.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3875
Model-checking omega-regular properties of interval Markov chains
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Foundations of Software Science and Computational Structures - 11th International Conference, Springer Nature, 2008, pp. 302–317.
View
| DOI
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Foundations of Software Science and Computational Structures - 11th International Conference, Springer Nature, 2008, pp. 302–317.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3873
Controller synthesis with budget constraints
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 72–86.
View
| DOI
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 72–86.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3877
Environment assumptions for synthesis
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, 19th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.
[Preprint]
View
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, 19th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3874
Trading infinite memory for uniform randomness in timed games
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 87–100.
View
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 87–100.
2006 |
Published |
Conference Paper |
IST-REx-ID: 18320
On separation of semitransparent dynamic images from static background
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 6th International Conference on Independent Component Analysis and Signal Separation, Springer Nature, 2006, pp. 934–940.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 6th International Conference on Independent Component Analysis and Signal Separation, Springer Nature, 2006, pp. 934–940.
2006 |
Published |
Conference Paper |
IST-REx-ID: 18321
Robust expression-invariant face recognition from partially missing data
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 9th European Conference on Computer Vision, Springer Nature, 2006.
View
| DOI
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 9th European Conference on Computer Vision, Springer Nature, 2006.
2006 |
Published |
Conference Paper |
IST-REx-ID: 18322
Facetoface: An isometric model for facial animation
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 38–47.
View
| DOI
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 38–47.
2006 |
Published |
Conference Paper |
IST-REx-ID: 18323
Matching two-dimensional articulated shapes using generalized multidimensional scaling
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 48–57.
View
| DOI
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 48–57.
2005 |
Published |
Conference Paper |
IST-REx-ID: 18319
Isometric embedding of facial surfaces into S3
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 5th International Conference on Scale-Space Theories in Computer Vision, Springer Berlin Heidelberg, 2005, pp. 622–631.
View
| DOI
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 5th International Conference on Scale-Space Theories in Computer Vision, Springer Berlin Heidelberg, 2005, pp. 622–631.
2004 |
Published |
Conference Paper |
IST-REx-ID: 11800
The past, present, and future of web search engines
M. Henzinger, in:, 31st International Colloquium on Automata, Languages and Programming, Springer Nature, 2004, p. 3.
View
| DOI
M. Henzinger, in:, 31st International Colloquium on Automata, Languages and Programming, Springer Nature, 2004, p. 3.
2004 |
Published |
Conference Paper |
IST-REx-ID: 11801
Algorithmic aspects of web search engines
M. Henzinger, in:, 2th Annual European Symposium on Algorithms, Springer Nature, 2004, p. 3.
View
| DOI
M. Henzinger, in:, 2th Annual European Symposium on Algorithms, Springer Nature, 2004, p. 3.
2004 |
Published |
Conference Paper |
IST-REx-ID: 18331
Face recognition from facial surface metric
A.M. Bronstein, M.M. Bronstein, A. Spira, R. Kimmel, in:, 8th European Conference on Computer Vision, Springer Nature, 2004, pp. 225–237.
View
| DOI
A.M. Bronstein, M.M. Bronstein, A. Spira, R. Kimmel, in:, 8th European Conference on Computer Vision, Springer Nature, 2004, pp. 225–237.
2004 |
Published |
Conference Paper |
IST-REx-ID: 18332
Blind source separation using the block-coordinate relative Newton method
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 406–413.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 406–413.
2004 |
Published |
Conference Paper |
IST-REx-ID: 18333
Optimal sparse representations for blind deconvolution of images
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 500–507.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 500–507.
2004 |
Published |
Conference Paper |
IST-REx-ID: 18334
Blind deconvolution using the relative Newton method
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, Berlin, Heidelberg, 2004, pp. 554–561.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, Berlin, Heidelberg, 2004, pp. 554–561.
2003 |
Published |
Conference Paper |
IST-REx-ID: 18324
Expression-invariant 3D face recognition
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 4th International Conference on Audio- and Video-Based Biometric Person Authentication, Springer Nature, 2003, pp. 62–70.
View
| DOI
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 4th International Conference on Audio- and Video-Based Biometric Person Authentication, Springer Nature, 2003, pp. 62–70.
2000 |
Published |
Conference Paper |
IST-REx-ID: 11802
Web information retrieval - an algorithmic perspective
M. Henzinger, in:, 8th Annual European Symposium on Algorithms, Springer Nature, 2000, pp. 1–8.
View
| DOI
M. Henzinger, in:, 8th Annual European Symposium on Algorithms, Springer Nature, 2000, pp. 1–8.
1997 |
Published |
Conference Paper |
IST-REx-ID: 11803
Maintaining minimum spanning trees in dynamic graphs
M. Henzinger, V. King, in:, 24th International Colloquium on Automata, Languages and Programming, Springer Nature, 1997, pp. 594–604.
View
| DOI
M. Henzinger, V. King, in:, 24th International Colloquium on Automata, Languages and Programming, Springer Nature, 1997, pp. 594–604.