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.
224 Publications
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: 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: 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 |
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: 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: 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
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: 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: 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
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
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: 9648 |
Gonzalez-Diaz, R., Ion, A., Jimenez, M. J., & Poyatos, R. (2011). Incremental-decremental algorithm for computing AT-models and persistent homology. In Computer Analysis of Images and Patterns (Vol. 6854, pp. 286–293). Seville, Spain: Springer Nature. https://doi.org/10.1007/978-3-642-23672-3_35
[Published Version]
View
| DOI
| Download Published Version (ext.)
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: 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.)
| WoS
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: 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
2008 |
Published |
Conference Paper |
IST-REx-ID: 3876
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2008). Timed parity games: complexity and robustness. In Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems (Vol. 5215, pp. 124–140). Saint Malo, France: Springer Nature. https://doi.org/10.1007/978-3-540-85778-5_10
View
| Files available
| DOI
| arXiv
2008 |
Published |
Conference Paper |
IST-REx-ID: 3878 |
Chatterjee, K., De Alfaro, L., & Majumdar, R. (2008). The complexity of coverage. In 6th Asian Symposium on Programming Language and Systems (Vol. 5356, pp. 91–106). Bangalore, India: Springer Nature. https://doi.org/10.1007/978-3-540-89330-1_7
View
| DOI
| Download None (ext.)
| arXiv