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.
182 Publications
2013 | Published | Conference Paper | IST-REx-ID: 19995 | 
K. Chatterjee and R. Ibsen-Jensen, “Strategy complexity of finite-horizon Markov decision processes and simple stochastic games,” in Mathematical and Engineering Methods in Computer Science, Znojmo, Czech Republic, 2013, vol. 7721, pp. 106–117.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Published | Conference Paper | IST-REx-ID: 10903
A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Accurate invariant checking for programs manipulating lists and arrays with infinite data,” in Automated Technology for Verification and Analysis, Thiruvananthapuram, India, 2012, vol. 7561, pp. 167–182.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
S. Grebenshchikov, A. Gupta, N. P. Lopes, C. Popeea, and A. Rybalchenko, “HSF(C): A software verifier based on Horn clauses,” in Tools and Algorithms for the Construction and Analysis of Systems, Tallinn, Estonia, 2012, vol. 7214, pp. 549–551.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 18344
A. Hooda, M. M. Bronstein, A. M. Bronstein, and R. P. Horaud, “Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes,” in Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 665–676.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18345
Y. Aflalo, A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Deformable shape retrieval by learning diffusion kernels,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 689–700.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18342
J. Pokrass, A. M. Bronstein, and M. M. Bronstein, “A correspondence-less approach to matching of deformable shapes,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 592–603.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18346
G. Rosman, M. M. Bronstein, A. M. Bronstein, A. Wolf, and R. Kimmel, “Group-valued regularization framework for motion segmentation of dynamic non-rigid shapes,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 725–736.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18341
C. Wang, M. M. Bronstein, A. M. Bronstein, and N. Paragios, “Discrete minimum distortion correspondence problems for non-rigid shape matching,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 580–591.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18348
G. Rosman, A. M. Bronstein, M. M. Bronstein, X.-C. Tai, and R. Kimmel, “Group-valued regularization for analysis of articulated motion,” in Computer Vision, ECCV 2012 - Workshops and Demonstrations, Florence, Italy, 2012, vol. 7583, no. Part 1, pp. 52–62.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18350
D. Raviv, A. M. Bronstein, M. M. Bronstein, R. Kimmel, and N. Sochen, “Equi-affine invariant geometries of articulated objects,” in 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl, Germany, 2012, vol. 7474, pp. 177–190.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18343
A. Kovnatsky, M. M. Bronstein, A. M. Bronstein, and R. Kimmel, “Photometric heat kernel signatures,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 616–627.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18347
O. Litany, A. M. Bronstein, and M. M. Bronstein, “Putting the pieces together: Regularized multi-part shape matching,” in Computer Vision, ECCV 2012 - Workshops and Demonstrations, Florence, Italy, 2012, vol. 7583, no. Part 1, pp. 1–11.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 5745 |
A. Gupta, “Improved single pass algorithms for resolution proof reduction,” in 10th International Symposium on Automated Technology for Verification and Analysis, Thiruvananthapuram, Kerala, India, 2012, vol. 7561, pp. 107–121.
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10904 |
K. Chatterjee, M. Randour, and J.-F. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” in CONCUR 2012 - Concurrency Theory, Newcastle upon Tyne, United Kingdom, 2012, vol. 7454, pp. 115–131.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Published | Conference Paper | IST-REx-ID: 10905 |
K. Chatterjee, M. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time algorithms for energy games with special weight structures,” in Algorithms – ESA 2012, Ljubljana, Slovenia, 2012, vol. 7501, pp. 301–312.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv