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. 2012. Accurate invariant checking for programs manipulating lists and arrays with infinite data. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and AnalysisLNCS, LNCS, vol. 7561, 167–182.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10906 | 
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. 2012. HSF(C): A software verifier based on Horn clauses. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of SystemsLNCS, LNCS, vol. 7214, 549–551.
[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. 2012. On multiple keyword sponsored search auctions with budgets. 39th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 7392, 1–12.
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18344
Hooda A, Bronstein MM, Bronstein AM, Horaud RP. 2012. Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes. Scale Space and Variational Methods in Computer Vision. Third International Conference on Scale Space and Variational Methods in Computer Vision, LNCS, vol. 6667, 665–676.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18345
Aflalo Y, Bronstein AM, Bronstein MM, Kimmel R. 2012. Deformable shape retrieval by learning diffusion kernels. 3rd International Conference on Scale Space and Variational Methods in Computer Vision. SSVM: Scale Space and Variational Methods in Computer Vision, LNCS, vol. 6667, 689–700.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18342
Pokrass J, Bronstein AM, Bronstein MM. 2012. A correspondence-less approach to matching of deformable shapes. 3rd International Conference on Scale Space and Variational Methods in Computer Vision. SSVM: Scale Space and Variational Methods in Computer Vision, LNCS, vol. 6667, 592–603.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18346
Rosman G, Bronstein MM, Bronstein AM, Wolf A, Kimmel R. 2012. Group-valued regularization framework for motion segmentation of dynamic non-rigid shapes. 3rd International Conference on Scale Space and Variational Methods in Computer Vision. SSVM: Scale Space and Variational Methods in Computer Vision, LNCS, vol. 6667, 725–736.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18341
Wang C, Bronstein MM, Bronstein AM, Paragios N. 2012. Discrete minimum distortion correspondence problems for non-rigid shape matching. 3rd International Conference on Scale Space and Variational Methods in Computer Vision. SSVM: Scale Space and Variational Methods in Computer Vision, LNCS, vol. 6667, 580–591.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18348
Rosman G, Bronstein AM, Bronstein MM, Tai X-C, Kimmel R. 2012. Group-valued regularization for analysis of articulated motion. Computer Vision, ECCV 2012 - Workshops and Demonstrations. ECCV: European Conference on Computer Vision, LNCS, vol. 7583, 52–62.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18350
Raviv D, Bronstein AM, Bronstein MM, Kimmel R, Sochen N. 2012. Equi-affine invariant geometries of articulated objects. 15th International Workshop on Theoretical Foundations of Computer Vision. International Workshop on Theoretical Foundations of Computer Vision, LNCS, vol. 7474, 177–190.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18343
Kovnatsky A, Bronstein MM, Bronstein AM, Kimmel R. 2012. Photometric heat kernel signatures. 3rd International Conference on Scale Space and Variational Methods in Computer Vision. SSVM: Scale Space and Variational Methods in Computer Vision, LNCS, vol. 6667, 616–627.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10905 |
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. 2012. Polynomial-time algorithms for energy games with special weight structures. Algorithms – ESA 2012. ESA: European Symposium on Algorithms, LNCS, vol. 7501, 301–312.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Published | Conference Paper | IST-REx-ID: 5745 |
Gupta A. 2012. Improved single pass algorithms for resolution proof reduction. 10th International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 7561, 107–121.
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10904 |
Chatterjee K, Randour M, Raskin J-F. 2012. Strategy synthesis for multi-dimensional quantitative objectives. CONCUR 2012 - Concurrency Theory. CONCUR: Conference on Concurrency Theory, LNCS, vol. 7454, 115–131.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Conference Paper | IST-REx-ID: 10907
Artner NM, Ion A, Kropatsch WG. 2011. Spatio-temporal extraction of articulated models in a graph pyramid. Graph-Based Representations in Pattern Recognition. GbRPR: Graph-based Representations in Pattern RecognitionLNIP, LNCS, vol. 6658, 215–224.
View
| DOI