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.

225 Publications


2008 | Published | Conference Paper | IST-REx-ID: 3874
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Trading infinite memory for uniform randomness in timed games,” in 11th Workshop on Hybrid Systems: Computation and Control, St. Louis, MO, United States, 2008, vol. 4981, pp. 87–100.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 3875
K. Chatterjee, T. A. Henzinger, and K. Sen, “Model-checking omega-regular properties of interval Markov chains,” in Foundations of Software Science and Computational Structures - 11th International Conference, Budapest, Hungary, 2008, vol. 4962, pp. 302–317.
View | DOI
 

earlier version | 2008 | Published | Conference Paper | IST-REx-ID: 3876
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: complexity and robustness,” in Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems, Saint Malo, France, 2008, vol. 5215, pp. 124–140.
View | Files available | DOI | arXiv
 

2008 | Published | Conference Paper | IST-REx-ID: 3877
K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Environment assumptions for synthesis,” in 19th International Conference on Concurrency Theory, Toronto, Canada, 2008, vol. 5201, pp. 147–161.
[Preprint] View | DOI | arXiv
 

2008 | Published | Conference Paper | IST-REx-ID: 3878 | OA
K. Chatterjee, L. De Alfaro, and R. Majumdar, “The complexity of coverage,” in 6th Asian Symposium on Programming Language and Systems, Bangalore, India, 2008, vol. 5356, pp. 91–106.
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Conference Paper | IST-REx-ID: 3879
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” in 22nd International Workshop on Computer Science Logic, Bertinoro, Italy, 2008, vol. 5213, pp. 385–400.
View | DOI
 

earlier version | 2008 | Published | Conference Paper | IST-REx-ID: 3880
D. Berwanger, K. Chatterjee, L. Doyen, T. A. Henzinger, and S. Raje, “Strategy construction for parity games with imperfect information,” in 19th International Conference, CONCUR 2008, Toronto, Canada, 2008, vol. 5201, pp. 325–339.
View | Files available | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 18320
A. M. Bronstein, M. M. Bronstein, and M. Zibulevsky, “On separation of semitransparent dynamic images from static background,” in 6th International Conference on Independent Component Analysis and Signal Separation, Charleston, SC, United States, 2006, vol. 3889, pp. 934–940.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 18321
A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Robust expression-invariant face recognition from partially missing data,” in 9th European Conference on Computer Vision, Graz, Austria, 2006, vol. 3953.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 18322
A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Facetoface: An isometric model for facial animation,” in 4th International Conference on Articulated Motion and Deformable Objects, Mallorca, Spain, 2006, vol. 4069, pp. 38–47.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 18323
A. M. Bronstein, M. M. Bronstein, A. M. Bruckstein, and R. Kimmel, “Matching two-dimensional articulated shapes using generalized multidimensional scaling,” in 4th International Conference on Articulated Motion and Deformable Objects, Mallorca, Spain, 2006, vol. 4069, pp. 48–57.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 18319
A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Isometric embedding of facial surfaces into S3,” in 5th International Conference on Scale-Space Theories in Computer Vision, Hofgeismar, Germany, 2005, vol. 3459, pp. 622–631.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 11800
M. Henzinger, “The past, present, and future of web search engines,” in 31st International Colloquium on Automata, Languages and Programming, Turku, Finland, 2004, vol. 3142, p. 3.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 11801
M. Henzinger, “Algorithmic aspects of web search engines,” in 2th Annual European Symposium on Algorithms, Bergen, Norway, 2004, vol. 3221, p. 3.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 18331
A. M. Bronstein, M. M. Bronstein, A. Spira, and R. Kimmel, “Face recognition from facial surface metric,” in 8th European Conference on Computer Vision, Prageu, Czech Republic, 2004, vol. 3022, pp. 225–237.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 18332
A. M. Bronstein, M. M. Bronstein, and M. Zibulevsky, “Blind source separation using the block-coordinate relative Newton method,” in 5th International Conference on Independent Component Analysis and Blind Signal Separation, Granada, Spain, 2004, vol. 3195, pp. 406–413.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 18333
A. M. Bronstein, M. M. Bronstein, M. Zibulevsky, and Y. Y. Zeevi, “Optimal sparse representations for blind deconvolution of images,” in 5th International Conference on Independent Component Analysis and Blind Signal Separation, Granada, Spain, 2004, vol. 3195, pp. 500–507.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 18334
A. M. Bronstein, M. M. Bronstein, and M. Zibulevsky, “Blind deconvolution using the relative Newton method,” in 5th International Conference on Independent Component Analysis and Blind Signal Separation, Granada, Spain, 2004, vol. 3195, pp. 554–561.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 18324
A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Expression-invariant 3D face recognition,” in 4th International Conference on Audio- and Video-Based Biometric Person Authentication, Guildford, United Kingdom, 2003, vol. 2688, pp. 62–70.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 11802
M. Henzinger, “Web information retrieval - an algorithmic perspective,” in 8th Annual European Symposium on Algorithms, Saarbrücken, Germany, 2000, vol. 1879, pp. 1–8.
View | DOI
 

Filters and Search Terms

eissn=1611-3349

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed