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.
174 Publications
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: 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: 2888
Henzinger, T. A. (2012). Quantitative reactive models. In 15th International Conference on Model Driven Engineering Languages and Systems (Vol. 7590, pp. 1–2). Innsbruck, Austria: Springer. https://doi.org/10.1007/978-3-642-33666-9_1
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2971
Zankl, G., Haxhimusa, Y., & Ion, A. (2012). Interactive labeling of image segmentation hierarchies. In 34th DAGM and 36th OAGM Symposium (Vol. 7476, pp. 11–20). Graz, Austria: Springer. https://doi.org/10.1007/978-3-642-32717-9_2
View
| 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
2011 | Published | Conference Paper | IST-REx-ID: 3344
Chatterjee, K. (2011). Graph games with reachability objectives. In 5th International Workshop on Reachability Problems (Vol. 6945, pp. 1–1). Genoa, Italy: Springer. https://doi.org/10.1007/978-3-642-24288-5_1
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 18338
Bronstein, A. M., & Bronstein, M. M. (2010). Spatially-sensitive affine-invariant image descriptors. In 11th European Conference on Computer Vision (Vol. 6312, pp. 197–208). Heraklion, Greece: Springer Nature. https://doi.org/10.1007/978-3-642-15552-9_15
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3865
Chatterjee, K., De Alfaro, L., Raman, V., & Sánchez, C. (2010). Analyzing the impact of change in multi-threaded programs. In 13th International Conference on Fundamental Approaches to Software Engineering (Vol. 6013, pp. 293–307). Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_21
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3794
Lampert, C., & Krömer, O. (2010). Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning. In 11th European Conference on Computer Vision (Vol. 6312, pp. 566–579). Heraklion, Crete, Greece: Springer. https://doi.org/10.1007/978-3-642-15552-9_41
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 10908 |
Blanc, R., Henzinger, T. A., Hottelier, T., & Kovács, L. (2010). ABC: Algebraic Bound Computation for loops. In E. M. Clarke & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (Vol. 6355, pp. 103–118). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-17511-4_7
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2006 | Published | Conference Paper | IST-REx-ID: 18320
Bronstein, A. M., Bronstein, M. M., & Zibulevsky, M. (2006). On separation of semitransparent dynamic images from static background. In 6th International Conference on Independent Component Analysis and Signal Separation (Vol. 3889, pp. 934–940). Charleston, SC, United States: Springer Nature. https://doi.org/10.1007/11679363_116
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 18321
Bronstein, A. M., Bronstein, M. M., & Kimmel, R. (2006). Robust expression-invariant face recognition from partially missing data. In 9th European Conference on Computer Vision (Vol. 3953). Graz, Austria: Springer Nature. https://doi.org/10.1007/11744078_31
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 18322
Bronstein, A. M., Bronstein, M. M., & Kimmel, R. (2006). Facetoface: An isometric model for facial animation. In 4th International Conference on Articulated Motion and Deformable Objects (Vol. 4069, pp. 38–47). Mallorca, Spain: Springer Nature. https://doi.org/10.1007/11789239_5
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 18323
Bronstein, A. M., Bronstein, M. M., Bruckstein, A. M., & Kimmel, R. (2006). Matching two-dimensional articulated shapes using generalized multidimensional scaling. In 4th International Conference on Articulated Motion and Deformable Objects (Vol. 4069, pp. 48–57). Mallorca, Spain: Springer Nature. https://doi.org/10.1007/11789239_6
View
| DOI