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.
283 Publications
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.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4536
Automatic rectangular refinement of affine hybrid systems
L. Doyen, T.A. Henzinger, J. Raskin, in:, Proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2005, pp. 144–161.
View
| DOI
L. Doyen, T.A. Henzinger, J. Raskin, in:, Proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2005, pp. 144–161.
2005 |
Published |
Conference Paper |
IST-REx-ID: 3896
Complexity of compositional model checking of computation tree logic on simple structures
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Proceedings of the 6th International Conference on Distributed Computing, Springer Nature, 2005, pp. 89–102.
View
| DOI
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Proceedings of the 6th International Conference on Distributed Computing, Springer Nature, 2005, pp. 89–102.
2005 |
Published |
Conference Paper |
IST-REx-ID: 3893
Two-player nonzero-sum ω-regular games
K. Chatterjee, in:, 16th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 413–427.
View
| DOI
K. Chatterjee, in:, 16th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 413–427.
2005 |
Published |
Conference Paper |
IST-REx-ID: 3892
Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, Third International Symposium, Formal Methods for Components and Objects 2004, Springer Nature, 2005, pp. 141–161.
View
| DOI
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, Third International Symposium, Formal Methods for Components and Objects 2004, Springer Nature, 2005, pp. 141–161.
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: 4578
The BLAST query language for software verification
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
View
| DOI
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
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: 18335
QML blind deconvolution: Asymptotic analysis
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 677–684.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, Proceedings of the 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 677–684.
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.