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 | 
Strategy complexity of finite-horizon Markov decision processes and simple stochastic games
K. Chatterjee, R. Ibsen-Jensen, in:, Mathematical and Engineering Methods in Computer Science, Springer Nature, 2013, pp. 106–117.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Ibsen-Jensen, in:, Mathematical and Engineering Methods in Computer Science, Springer Nature, 2013, pp. 106–117.
2012 | Published | Conference Paper | IST-REx-ID: 10903
Accurate invariant checking for programs manipulating lists and arrays with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
View
| DOI
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
2012 | Published | Conference Paper | IST-REx-ID: 18344
Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes
A. Hooda, M.M. Bronstein, A.M. Bronstein, R.P. Horaud, in:, Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 665–676.
View
| DOI
A. Hooda, M.M. Bronstein, A.M. Bronstein, R.P. Horaud, in:, Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 665–676.
2012 | Published | Conference Paper | IST-REx-ID: 18345
Deformable shape retrieval by learning diffusion kernels
Y. Aflalo, A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 689–700.
View
| DOI
Y. Aflalo, A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 689–700.
2012 | Published | Conference Paper | IST-REx-ID: 18342
A correspondence-less approach to matching of deformable shapes
J. Pokrass, A.M. Bronstein, M.M. Bronstein, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 592–603.
View
| DOI
J. Pokrass, A.M. Bronstein, M.M. Bronstein, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 592–603.
2012 | Published | Conference Paper | IST-REx-ID: 18346
Group-valued regularization framework for motion segmentation of dynamic non-rigid shapes
G. Rosman, M.M. Bronstein, A.M. Bronstein, A. Wolf, R. Kimmel, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 725–736.
View
| DOI
G. Rosman, M.M. Bronstein, A.M. Bronstein, A. Wolf, R. Kimmel, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 725–736.
2012 | Published | Conference Paper | IST-REx-ID: 18341
Discrete minimum distortion correspondence problems for non-rigid shape matching
C. Wang, M.M. Bronstein, A.M. Bronstein, N. Paragios, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, Berlin, Heidelberg, 2012, pp. 580–591.
View
| DOI
C. Wang, M.M. Bronstein, A.M. Bronstein, N. Paragios, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, Berlin, Heidelberg, 2012, pp. 580–591.
2012 | Published | Conference Paper | IST-REx-ID: 18348
Group-valued regularization for analysis of articulated motion
G. Rosman, A.M. Bronstein, M.M. Bronstein, X.-C. Tai, R. Kimmel, in:, Computer Vision, ECCV 2012 - Workshops and Demonstrations, Springer Nature, 2012, pp. 52–62.
View
| DOI
G. Rosman, A.M. Bronstein, M.M. Bronstein, X.-C. Tai, R. Kimmel, in:, Computer Vision, ECCV 2012 - Workshops and Demonstrations, Springer Nature, 2012, pp. 52–62.
2012 | Published | Conference Paper | IST-REx-ID: 18350
Equi-affine invariant geometries of articulated objects
D. Raviv, A.M. Bronstein, M.M. Bronstein, R. Kimmel, N. Sochen, in:, 15th International Workshop on Theoretical Foundations of Computer Vision, Springer Nature, 2012, pp. 177–190.
View
| DOI
D. Raviv, A.M. Bronstein, M.M. Bronstein, R. Kimmel, N. Sochen, in:, 15th International Workshop on Theoretical Foundations of Computer Vision, Springer Nature, 2012, pp. 177–190.
2012 | Published | Conference Paper | IST-REx-ID: 18343
Photometric heat kernel signatures
A. Kovnatsky, M.M. Bronstein, A.M. Bronstein, R. Kimmel, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 616–627.
View
| DOI
A. Kovnatsky, M.M. Bronstein, A.M. Bronstein, R. Kimmel, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 616–627.
2012 | Published | Conference Paper | IST-REx-ID: 18347
Putting the pieces together: Regularized multi-part shape matching
O. Litany, A.M. Bronstein, M.M. Bronstein, in:, Computer Vision, ECCV 2012 - Workshops and Demonstrations, Springer Nature, 2012, pp. 1–11.
View
| DOI
O. Litany, A.M. Bronstein, M.M. Bronstein, in:, Computer Vision, ECCV 2012 - Workshops and Demonstrations, Springer Nature, 2012, pp. 1–11.
2012 | Published | Book (Editor) | IST-REx-ID: 18340
Scale Space and Variational Methods in Computer Vision
A.M. Bruckstein, B.M. ter Haar Romeny, A. Bronstein, M.M. Bronstein, eds., Scale Space and Variational Methods in Computer Vision, 1st ed., Springer Nature, Berlin, Heidelberg, 2012.
View
| DOI
A.M. Bruckstein, B.M. ter Haar Romeny, A. Bronstein, M.M. Bronstein, eds., Scale Space and Variational Methods in Computer Vision, 1st ed., Springer Nature, Berlin, Heidelberg, 2012.
2012 | Published | Conference Paper | IST-REx-ID: 5745 |
Improved single pass algorithms for resolution proof reduction
A. Gupta, in:, 10th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2012, pp. 107–121.
[Submitted Version]
View
| Files available
| DOI
A. Gupta, in:, 10th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2012, pp. 107–121.
2012 | Published | Conference Paper | IST-REx-ID: 2888
Quantitative reactive models
T.A. Henzinger, in:, 15th International Conference on Model Driven Engineering Languages and Systems, Springer, 2012, pp. 1–2.
View
| DOI
T.A. Henzinger, in:, 15th International Conference on Model Driven Engineering Languages and Systems, Springer, 2012, pp. 1–2.
2012 | Published | Conference Paper | IST-REx-ID: 2971
Interactive labeling of image segmentation hierarchies
G. Zankl, Y. Haxhimusa, A. Ion, in:, 34th DAGM and 36th OAGM Symposium, Springer, 2012, pp. 11–20.
View
| DOI
G. Zankl, Y. Haxhimusa, A. Ion, in:, 34th DAGM and 36th OAGM Symposium, Springer, 2012, pp. 11–20.
2012 | Published | Conference Paper | IST-REx-ID: 10904 |
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
2012 | Published | Conference Paper | IST-REx-ID: 10905 |
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
2011 | Published | Conference Paper | IST-REx-ID: 10907
Spatio-temporal extraction of articulated models in a graph pyramid
N.M. Artner, A. Ion, W.G. Kropatsch, in:, X. Jiang, M. Ferrer, A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition, Springer, Berlin, Heidelberg, 2011, pp. 215–224.
View
| DOI
N.M. Artner, A. Ion, W.G. Kropatsch, in:, X. Jiang, M. Ferrer, A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition, Springer, Berlin, Heidelberg, 2011, pp. 215–224.
2011 | Published | Conference Paper | IST-REx-ID: 3344
Graph games with reachability objectives
K. Chatterjee, in:, 5th International Workshop on Reachability Problems, Springer, 2011, pp. 1–1.
View
| DOI
K. Chatterjee, in:, 5th International Workshop on Reachability Problems, Springer, 2011, pp. 1–1.