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. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 167–182). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-33386-6_14
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10906 | 
Grebenshchikov, S., Gupta, A., Lopes, N. P., Popeea, C., & Rybalchenko, A. (2012). HSF(C): A software verifier based on Horn clauses. In C. Flanagan & B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (Vol. 7214, pp. 549–551). Berlin, Heidelberg: Springer. https://doi.org/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. (2012). On multiple keyword sponsored search auctions with budgets. In 39th International Colloquium on Automata, Languages, and Programming (Vol. 7392, pp. 1–12). Warwick, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-642-31585-5_1
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18344
Hooda, A., Bronstein, M. M., Bronstein, A. M., & Horaud, R. P. (2012). Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes. In Scale Space and Variational Methods in Computer Vision (Vol. 6667, pp. 665–676). Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_56
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18345
Aflalo, Y., Bronstein, A. M., Bronstein, M. M., & Kimmel, R. (2012). Deformable shape retrieval by learning diffusion kernels. In 3rd International Conference on Scale Space and Variational Methods in Computer Vision (Vol. 6667, pp. 689–700). Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_58
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18342
Pokrass, J., Bronstein, A. M., & Bronstein, M. M. (2012). A correspondence-less approach to matching of deformable shapes. In 3rd International Conference on Scale Space and Variational Methods in Computer Vision (Vol. 6667, pp. 592–603). Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_50
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18346
Rosman, G., Bronstein, M. M., Bronstein, A. M., Wolf, A., & Kimmel, R. (2012). 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, pp. 725–736). Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_61
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18341
Wang, C., Bronstein, M. M., Bronstein, A. M., & Paragios, N. (2012). 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, pp. 580–591). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_49
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18348
Rosman, G., Bronstein, A. M., Bronstein, M. M., Tai, X.-C., & Kimmel, R. (2012). Group-valued regularization for analysis of articulated motion. In Computer Vision, ECCV 2012 - Workshops and Demonstrations (Vol. 7583, pp. 52–62). Florence, Italy: Springer Nature. https://doi.org/10.1007/978-3-642-33863-2_6
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18349
Kovnatsky, A., Bronstein, M. M., & Bronstein, A. M. (2012). Stable Spectral Mesh Filtering. In Computer Vision, ECCV 2012 - Workshops and Demonstrations (Vol. 7583, pp. 83–91). Florence, Italy: Springer Nature. https://doi.org/10.1007/978-3-642-33863-2_9
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18350
Raviv, D., Bronstein, A. M., Bronstein, M. M., Kimmel, R., & Sochen, N. (2012). Equi-affine invariant geometries of articulated objects. In 15th International Workshop on Theoretical Foundations of Computer Vision (Vol. 7474, pp. 177–190). Dagstuhl, Germany: Springer Nature. https://doi.org/10.1007/978-3-642-34091-8_8
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18343
Kovnatsky, A., Bronstein, M. M., Bronstein, A. M., & Kimmel, R. (2012). Photometric heat kernel signatures. In 3rd International Conference on Scale Space and Variational Methods in Computer Vision (Vol. 6667, pp. 616–627). Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_52
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18347
Litany, O., Bronstein, A. M., & Bronstein, M. M. (2012). Putting the pieces together: Regularized multi-part shape matching. In Computer Vision, ECCV 2012 - Workshops and Demonstrations (Vol. 7583, pp. 1–11). Florence, Italy: Springer Nature. https://doi.org/10.1007/978-3-642-33863-2_1
View
| DOI
2012 | Published | Book (Editor) | IST-REx-ID: 18340
Bruckstein, A. M., ter Haar Romeny, B. M., Bronstein, A., & Bronstein, M. M. (Eds.). (2012). Scale Space and Variational Methods in Computer Vision (1st ed., Vol. 6667). Berlin, Heidelberg: Springer Nature. https://doi.org/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. (2012). Polynomial-time algorithms for energy games with special weight structures. In Algorithms – ESA 2012 (Vol. 7501, pp. 301–312). Ljubljana, Slovenia: Springer. https://doi.org/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. (2012). Improved single pass algorithms for resolution proof reduction. In 10th International Symposium on Automated Technology for Verification and Analysis (Vol. 7561, pp. 107–121). Thiruvananthapuram, Kerala, India: Springer Nature. https://doi.org/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. (2012). Strategy synthesis for multi-dimensional quantitative objectives. In M. Koutny & I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory (Vol. 7454, pp. 115–131). Berlin, Heidelberg: Springer. https://doi.org/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, N. M., Ion, A., & Kropatsch, W. G. (2011). Spatio-temporal extraction of articulated models in a graph pyramid. In X. Jiang, M. Ferrer, & A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition (Vol. 6658, pp. 215–224). Berlin, Heidelberg: Springer. https://doi.org/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. (2010). Instance Deadlock: A Mystery behind Frozen Programs. In Applications and Theory of Petri Nets (pp. 1–17). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-13675-7_1
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 18339
Mitra, N. J., Bronstein, A. M., & Bronstein, M. (2010). Intrinsic regularity detection in 3D geometry. In 11th European Conference on Computer Vision (Vol. 6313, pp. 398–410). Heraklion, Greece: Springer Nature. https://doi.org/10.1007/978-3-642-15558-1_29
View
| DOI