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
Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes
A. Hooda, M.M. Bronstein, A.M. Bronstein, R.P. Horaud, in:, Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 665–676.
View
| DOI
A. Hooda, M.M. Bronstein, A.M. Bronstein, R.P. Horaud, in:, Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 665–676.
2012 |
Published |
Conference Paper |
IST-REx-ID: 18345
Deformable shape retrieval by learning diffusion kernels
Y. Aflalo, A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 689–700.
View
| DOI
Y. Aflalo, A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 689–700.
2012 |
Published |
Conference Paper |
IST-REx-ID: 18346
Group-valued regularization framework for motion segmentation of dynamic non-rigid shapes
G. Rosman, M.M. Bronstein, A.M. Bronstein, A. Wolf, R. Kimmel, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 725–736.
View
| DOI
G. Rosman, M.M. Bronstein, A.M. Bronstein, A. Wolf, R. Kimmel, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 725–736.
2012 |
Published |
Conference Paper |
IST-REx-ID: 18347
Putting the pieces together: Regularized multi-part shape matching
O. Litany, A.M. Bronstein, M.M. Bronstein, in:, Computer Vision, ECCV 2012 - Workshops and Demonstrations, Springer Nature, 2012, pp. 1–11.
View
| DOI
O. Litany, A.M. Bronstein, M.M. Bronstein, in:, Computer Vision, ECCV 2012 - Workshops and Demonstrations, Springer Nature, 2012, pp. 1–11.
2012 |
Published |
Conference Paper |
IST-REx-ID: 18348
Group-valued regularization for analysis of articulated motion
G. Rosman, A.M. Bronstein, M.M. Bronstein, X.-C. Tai, R. Kimmel, in:, Computer Vision, ECCV 2012 - Workshops and Demonstrations, Springer Nature, 2012, pp. 52–62.
View
| DOI
G. Rosman, A.M. Bronstein, M.M. Bronstein, X.-C. Tai, R. Kimmel, in:, Computer Vision, ECCV 2012 - Workshops and Demonstrations, Springer Nature, 2012, pp. 52–62.
2012 |
Published |
Conference Paper |
IST-REx-ID: 18350
Equi-affine invariant geometries of articulated objects
D. Raviv, A.M. Bronstein, M.M. Bronstein, R. Kimmel, N. Sochen, in:, 15th International Workshop on Theoretical Foundations of Computer Vision, Springer Nature, 2012, pp. 177–190.
View
| DOI
D. Raviv, A.M. Bronstein, M.M. Bronstein, R. Kimmel, N. Sochen, in:, 15th International Workshop on Theoretical Foundations of Computer Vision, Springer Nature, 2012, pp. 177–190.
2012 |
Published |
Conference Paper |
IST-REx-ID: 10903
Accurate invariant checking for programs manipulating lists and arrays with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
View
| DOI
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
earlier version | 2012 |
Published |
Conference Paper |
IST-REx-ID: 10904 |
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
earlier version | 2012 |
Published |
Conference Paper |
IST-REx-ID: 10905 |
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
2012 |
Published |
Conference Paper |
IST-REx-ID: 5745 |
Improved single pass algorithms for resolution proof reduction
A. Gupta, in:, 10th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2012, pp. 107–121.
[Submitted Version]
View
| Files available
| DOI
A. Gupta, in:, 10th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2012, pp. 107–121.
2012 |
Published |
Conference Paper |
IST-REx-ID: 10906 |
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
2011 |
Published |
Conference Paper |
IST-REx-ID: 3344
Graph games with reachability objectives
K. Chatterjee, in:, 5th International Workshop on Reachability Problems, Springer, 2011, pp. 1–1.
View
| DOI
K. Chatterjee, in:, 5th International Workshop on Reachability Problems, Springer, 2011, pp. 1–1.
2011 |
Published |
Conference Paper |
IST-REx-ID: 10907
Spatio-temporal extraction of articulated models in a graph pyramid
N.M. Artner, A. Ion, W.G. Kropatsch, in:, X. Jiang, M. Ferrer, A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition, Springer, Berlin, Heidelberg, 2011, pp. 215–224.
View
| DOI
N.M. Artner, A. Ion, W.G. Kropatsch, in:, X. Jiang, M. Ferrer, A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition, Springer, Berlin, Heidelberg, 2011, pp. 215–224.
2011 |
Published |
Conference Paper |
IST-REx-ID: 9648 |
Incremental-decremental algorithm for computing AT-models and persistent homology
R. Gonzalez-Diaz, A. Ion, M.J. Jimenez, R. Poyatos, in:, Computer Analysis of Images and Patterns, Springer Nature, 2011, pp. 286–293.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Gonzalez-Diaz, A. Ion, M.J. Jimenez, R. Poyatos, in:, Computer Analysis of Images and Patterns, Springer Nature, 2011, pp. 286–293.
2010 |
Published |
Conference Paper |
IST-REx-ID: 18338
Spatially-sensitive affine-invariant image descriptors
A.M. Bronstein, M.M. Bronstein, in:, 11th European Conference on Computer Vision, Springer Nature, 2010, pp. 197–208.
View
| DOI
A.M. Bronstein, M.M. Bronstein, in:, 11th European Conference on Computer Vision, Springer Nature, 2010, pp. 197–208.
2010 |
Published |
Conference Paper |
IST-REx-ID: 10908 |
ABC: Algebraic Bound Computation for loops
R. Blanc, T.A. Henzinger, T. Hottelier, L. Kovács, in:, E.M. Clarke, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Springer Nature, Berlin, Heidelberg, 2010, pp. 103–118.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
R. Blanc, T.A. Henzinger, T. Hottelier, L. Kovács, in:, E.M. Clarke, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Springer Nature, Berlin, Heidelberg, 2010, pp. 103–118.
2010 |
Published |
Conference Paper |
IST-REx-ID: 3794
Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning
C. Lampert, O. Krömer, in:, 11th European Conference on Computer Vision, Springer, 2010, pp. 566–579.
View
| DOI
C. Lampert, O. Krömer, in:, 11th European Conference on Computer Vision, Springer, 2010, pp. 566–579.
2010 |
Published |
Conference Paper |
IST-REx-ID: 3865
Analyzing the impact of change in multi-threaded programs
K. Chatterjee, L. De Alfaro, V. Raman, C. Sánchez, in:, 13th International Conference on Fundamental Approaches to Software Engineering, Springer, 2010, pp. 293–307.
View
| DOI
K. Chatterjee, L. De Alfaro, V. Raman, C. Sánchez, in:, 13th International Conference on Fundamental Approaches to Software Engineering, Springer, 2010, pp. 293–307.
earlier version | 2008 |
Published |
Conference Paper |
IST-REx-ID: 3876
Timed parity games: complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2008, pp. 124–140.
View
| Files available
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2008, pp. 124–140.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3878 |
The complexity of coverage
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, 6th Asian Symposium on Programming Language and Systems, Springer Nature, 2008, pp. 91–106.
View
| DOI
| Download None (ext.)
| arXiv
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, 6th Asian Symposium on Programming Language and Systems, Springer Nature, 2008, pp. 91–106.