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.
202 Publications
2012 | Published | Conference Paper | IST-REx-ID: 10903
Bouajjani A, Dragoi C, Enea C, Sighireanu M. Accurate invariant checking for programs manipulating lists and arrays with infinite data. In: Automated Technology for Verification and Analysis. Vol 7561. LNCS. Berlin, Heidelberg: Springer; 2012:167-182. doi:10.1007/978-3-642-33386-6_14
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10906 | 
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg: Springer; 2012:549-551. doi:10.1007/978-3-642-28756-5_46
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 11795
Colini-Baldeschi R, Henzinger M, Leonardi S, Starnberger M. On multiple keyword sponsored search auctions with budgets. In: 39th International Colloquium on Automata, Languages, and Programming. Vol 7392. Springer Nature; 2012:1–12. doi:10.1007/978-3-642-31585-5_1
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18344
Hooda A, Bronstein MM, Bronstein AM, Horaud RP. Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes. In: Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:665–676. doi:10.1007/978-3-642-24785-9_56
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18345
Aflalo Y, Bronstein AM, Bronstein MM, Kimmel R. Deformable shape retrieval by learning diffusion kernels. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:689-700. doi:10.1007/978-3-642-24785-9_58
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18342
Pokrass J, Bronstein AM, Bronstein MM. A correspondence-less approach to matching of deformable shapes. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:592-603. doi:10.1007/978-3-642-24785-9_50
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18346
Rosman G, Bronstein MM, Bronstein AM, Wolf A, Kimmel R. 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. Vol 6667. Springer Nature; 2012:725-736. doi:10.1007/978-3-642-24785-9_61
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18341
Wang C, Bronstein MM, Bronstein AM, Paragios N. Discrete minimum distortion correspondence problems for non-rigid shape matching. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Berlin, Heidelberg: Springer Nature; 2012:580-591. doi:10.1007/978-3-642-24785-9_49
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18348
Rosman G, Bronstein AM, Bronstein MM, Tai X-C, Kimmel R. Group-valued regularization for analysis of articulated motion. In: Computer Vision, ECCV 2012 - Workshops and Demonstrations. Vol 7583. Springer Nature; 2012:52-62. doi:10.1007/978-3-642-33863-2_6
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18349
Kovnatsky A, Bronstein MM, Bronstein AM. Stable Spectral Mesh Filtering. In: Computer Vision, ECCV 2012 - Workshops and Demonstrations. Vol 7583. Springer Nature; 2012:83-91. doi:10.1007/978-3-642-33863-2_9
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18350
Raviv D, Bronstein AM, Bronstein MM, Kimmel R, Sochen N. Equi-affine invariant geometries of articulated objects. In: 15th International Workshop on Theoretical Foundations of Computer Vision. Vol 7474. Springer Nature; 2012:177-190. doi:10.1007/978-3-642-34091-8_8
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18343
Kovnatsky A, Bronstein MM, Bronstein AM, Kimmel R. Photometric heat kernel signatures. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:616-627. doi:10.1007/978-3-642-24785-9_52
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18347
Litany O, Bronstein AM, Bronstein MM. Putting the pieces together: Regularized multi-part shape matching. In: Computer Vision, ECCV 2012 - Workshops and Demonstrations. Vol 7583. Springer Nature; 2012:1-11. doi:10.1007/978-3-642-33863-2_1
View
| DOI
2012 | Published | Book (Editor) | IST-REx-ID: 18340
Bruckstein AM, ter Haar Romeny BM, Bronstein A, Bronstein MM, eds. Scale Space and Variational Methods in Computer Vision. Vol 6667. 1st ed. Berlin, Heidelberg: Springer Nature; 2012. doi:10.1007/978-3-642-24785-9
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10905 |
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. In: Algorithms – ESA 2012. Vol 7501. Springer; 2012:301-312. doi:10.1007/978-3-642-33090-2_27
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Published | Conference Paper | IST-REx-ID: 5745 |
Gupta A. Improved single pass algorithms for resolution proof reduction. In: 10th International Symposium on Automated Technology for Verification and Analysis. Vol 7561. Springer Nature; 2012:107-121. doi:10.1007/978-3-642-33386-6_10
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10904 |
Chatterjee K, Randour M, Raskin J-F. Strategy synthesis for multi-dimensional quantitative objectives. In: Koutny M, Ulidowski I, eds. CONCUR 2012 - Concurrency Theory. Vol 7454. Berlin, Heidelberg: Springer; 2012:115-131. doi:10.1007/978-3-642-32940-1_10
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Conference Paper | IST-REx-ID: 10907
Artner NM, Ion A, Kropatsch WG. Spatio-temporal extraction of articulated models in a graph pyramid. In: Jiang X, Ferrer M, Torsello A, eds. Graph-Based Representations in Pattern Recognition. Vol 6658. LNIP. Berlin, Heidelberg: Springer; 2011:215-224. doi:10.1007/978-3-642-20844-7_22
View
| DOI
2010 | Published | Book Chapter | IST-REx-ID: 5940
Juhás G, Kazlov I, Juhásová A. Instance Deadlock: A Mystery behind Frozen Programs. In: Applications and Theory of Petri Nets. Berlin, Heidelberg: Springer Berlin Heidelberg; 2010:1-17. doi:10.1007/978-3-642-13675-7_1
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 18339
Mitra NJ, Bronstein AM, Bronstein M. Intrinsic regularity detection in 3D geometry. In: 11th European Conference on Computer Vision. Vol 6313. Springer Nature; 2010:398–410. doi:10.1007/978-3-642-15558-1_29
View
| DOI