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, Amit, Michael M. Bronstein, Alex M. Bronstein, and Radu P. Horaud. “Shape Palindromes: Analysis of Intrinsic Symmetries in 2D Articulated Shapes.” In Scale Space and Variational Methods in Computer Vision, 6667:665–676. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-24785-9_56.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 18345
Aflalo, Yonathan, Alex M. Bronstein, Michael M. Bronstein, and Ron Kimmel. “Deformable Shape Retrieval by Learning Diffusion Kernels.” In 3rd International Conference on Scale Space and Variational Methods in Computer Vision, 6667:689–700. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-24785-9_58.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 18346
Rosman, Guy, Michael M. Bronstein, Alex M. Bronstein, Alon Wolf, and Ron Kimmel. “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, 6667:725–36. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-24785-9_61.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 18347
Litany, Or, Alex M. Bronstein, and Michael M. Bronstein. “Putting the Pieces Together: Regularized Multi-Part Shape Matching.” In Computer Vision, ECCV 2012 - Workshops and Demonstrations, 7583:1–11. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-33863-2_1.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 18348
Rosman, Guy, Alex M. Bronstein, Michael M. Bronstein, Xue-Cheng Tai, and Ron Kimmel. “Group-Valued Regularization for Analysis of Articulated Motion.” In Computer Vision, ECCV 2012 - Workshops and Demonstrations, 7583:52–62. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-33863-2_6.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 18350
Raviv, Dan, Alex M. Bronstein, Michael M. Bronstein, Ron Kimmel, and Nir Sochen. “Equi-Affine Invariant Geometries of Articulated Objects.” In 15th International Workshop on Theoretical Foundations of Computer Vision, 7474:177–90. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-34091-8_8.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 10903
Bouajjani, Ahmed, Cezara Dragoi, Constantin Enea, and Mihaela Sighireanu. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.” In Automated Technology for Verification and Analysis, 7561:167–82. LNCS. Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-33386-6_14.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 10904 |
Chatterjee, Krishnendu, Mickael Randour, and Jean-François Raskin. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” In CONCUR 2012 - Concurrency Theory, edited by Maciej Koutny and Irek Ulidowski, 7454:115–31. Berlin, Heidelberg: Springer, 2012. 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, Krishnendu, Monika Henzinger, Sebastian Krinninger, and Danupon Nanongkai. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” In Algorithms – ESA 2012, 7501:301–12. Springer, 2012. 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, Sergey, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, and Andrey Rybalchenko. “HSF(C): A Software Verifier Based on Horn Clauses.” In Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, 7214:549–51. LNCS. Berlin, Heidelberg: Springer, 2012. 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, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” In 10th International Symposium on Automated Technology for Verification and Analysis, 7561:107–21. Springer Nature, 2012. 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, Krishnendu. “Graph Games with Reachability Objectives.” In 5th International Workshop on Reachability Problems, 6945:1–1. Springer, 2011. https://doi.org/10.1007/978-3-642-24288-5_1.
View
| DOI
2011 |
Published |
Conference Paper |
IST-REx-ID: 10907
Artner, Nicole M., Adrian Ion, and Walter G. Kropatsch. “Spatio-Temporal Extraction of Articulated Models in a Graph Pyramid.” In Graph-Based Representations in Pattern Recognition, edited by Xiaoyi Jiang, Miquel Ferrer, and Andrea Torsello, 6658:215–24. LNIP. Berlin, Heidelberg: Springer, 2011. https://doi.org/10.1007/978-3-642-20844-7_22.
View
| DOI
2011 |
Published |
Conference Paper |
IST-REx-ID: 9648 |
Gonzalez-Diaz, Rocio, Adrian Ion, Maria Jose Jimenez, and Regina Poyatos. “Incremental-Decremental Algorithm for Computing AT-Models and Persistent Homology.” In Computer Analysis of Images and Patterns, 6854:286–93. Springer Nature, 2011. 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, Alex M., and Michael M. Bronstein. “Spatially-Sensitive Affine-Invariant Image Descriptors.” In 11th European Conference on Computer Vision, 6312:197–208. Springer Nature, 2010. https://doi.org/10.1007/978-3-642-15552-9_15.
View
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 10908 |
Blanc, Régis, Thomas A Henzinger, Thibaud Hottelier, and Laura Kovács. “ABC: Algebraic Bound Computation for Loops.” In Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, 6355:103–18. LNCS. Berlin, Heidelberg: Springer Nature, 2010. 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, Christoph, and Oliver Krömer. “Weakly-Paired Maximum Covariance Analysis for Multimodal Dimensionality Reduction and Transfer Learning.” In 11th European Conference on Computer Vision, 6312:566–79. Springer, 2010. https://doi.org/10.1007/978-3-642-15552-9_41.
View
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 3865
Chatterjee, Krishnendu, Luca De Alfaro, Vishwanath Raman, and César Sánchez. “Analyzing the Impact of Change in Multi-Threaded Programs.” In 13th International Conference on Fundamental Approaches to Software Engineering, 6013:293–307. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_21.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3876
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness.” In Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, 5215:124–40. Springer Nature, 2008. 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, Krishnendu, Luca De Alfaro, and Ritankar Majumdar. “The Complexity of Coverage.” In 6th Asian Symposium on Programming Language and Systems, 5356:91–106. Springer Nature, 2008. https://doi.org/10.1007/978-3-540-89330-1_7.
View
| DOI
| Download None (ext.)
| arXiv