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.
238 Publications
2006 |
Published |
Conference Paper |
IST-REx-ID: 3889
Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Proceedings of the 20th International Conference on Computer Science Logic, Springer Nature, 2006, pp. 287–302.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Proceedings of the 20th International Conference on Computer Science Logic, Springer Nature, 2006, pp. 287–302.
2006 |
Published |
Conference Paper |
IST-REx-ID: 3679
Satellite tracks removal in astronomical images
H. Ali, C. Lampert, T. Breuel, in:, Proceedings of the 11th Iberoamerican Conference on Progress in Pattern Recognition, Image Analysis and Applications, Springer Nature, 2006, pp. 892–901.
View
| DOI
| Download None (ext.)
H. Ali, C. Lampert, T. Breuel, in:, Proceedings of the 11th Iberoamerican Conference on Progress in Pattern Recognition, Image Analysis and Applications, Springer Nature, 2006, pp. 892–901.
2006 |
Published |
Conference Paper |
IST-REx-ID: 3499
Nash equilibrium for upward-closed objectives
K. Chatterjee, in:, Proceedings of the 20th International Conference on Computer Science Logic, Springer Nature, 2006, pp. 271–286.
View
| DOI
K. Chatterjee, in:, Proceedings of the 20th International Conference on Computer Science Logic, Springer Nature, 2006, pp. 271–286.
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.
2004 |
Published |
Conference Paper |
IST-REx-ID: 3894
On Nash equilibria in stochastic games
K. Chatterjee, R. Majumdar, M. Jurdziński, in:, 18th International Workshop, Computer Science Logic 2004, 13th Annual Conference of the EACSL, Springer Nature, 2004, pp. 26–40.
View
| DOI
K. Chatterjee, R. Majumdar, M. Jurdziński, in:, 18th International Workshop, Computer Science Logic 2004, 13th Annual Conference of the EACSL, Springer Nature, 2004, pp. 26–40.
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.
1996 |
Published |
Conference Paper |
IST-REx-ID: 11804
Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning
M. Henzinger, J.A. Telle, in:, 5th Scandinavian Workshop on Algorithm Theory, Springer Nature, 1996, pp. 16–27.
View
| DOI
M. Henzinger, J.A. Telle, in:, 5th Scandinavian Workshop on Algorithm Theory, Springer Nature, 1996, pp. 16–27.
1996 |
Published |
Conference Paper |
IST-REx-ID: 11910
Improved sampling with applications to dynamic graph algorithms
M. Henzinger, M. Thorup, in:, 23rd International Colloquium on Automata, Languages, and Programming, Springer Nature, 1996, pp. 290–299.
View
| DOI
M. Henzinger, M. Thorup, in:, 23rd International Colloquium on Automata, Languages, and Programming, Springer Nature, 1996, pp. 290–299.
1995 |
Published |
Conference Paper |
IST-REx-ID: 11805
Certificates and fast algorithms for biconnectivity in fully-dynamic graphs
M. Henzinger, H. Poutré, in:, 3rd Annual European Symposium on Algorithms, Springer Nature, 1995, pp. 171–184.
View
| DOI
M. Henzinger, H. Poutré, in:, 3rd Annual European Symposium on Algorithms, Springer Nature, 1995, pp. 171–184.
1995 |
Published |
Conference Paper |
IST-REx-ID: 11806
Approximating minimum cuts under insertions
M. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming, Springer Nature, 1995, pp. 280–291.
View
| DOI
M. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming, Springer Nature, 1995, pp. 280–291.