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.
1966 Publications
2012 | Published | Conference Paper | IST-REx-ID: 3162 | 
E. Asarin, A. Donzé, O. Maler, and D. Nickovic, “Parametric identification of temporal properties,” presented at the RV: Runtime Verification, San Francisco, CA, United States, 2012, vol. 7186, pp. 147–160.
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 3253
A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Abstract domains for automated reasoning about list manipulating programs with infinite data,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 1–22.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 3281
K. Z. Pietrzak, A. Rosen, and G. Segev, “Lossy functions do not amplify well,” presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 458–475.
View
| DOI
| Download None (ext.)
2012 | Published | Journal Article | IST-REx-ID: 387 |
Z. Alpichshev et al., “STM imaging of impurity resonances on Bi 2Se 3,” Physical Review Letters, vol. 108, no. 20. American Physical Society, 2012.
View
| DOI
| Download None (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 18344
A. Hooda, M. M. Bronstein, A. M. Bronstein, and R. P. Horaud, “Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes,” in Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 665–676.
View
| DOI
2012 | Published | Book Chapter | IST-REx-ID: 18737 |
Z. Haiman, “The Formation of the First Massive Black Holes,” in The First Galaxies, T. Wiklind, B. Mobasher, and V. Brumm, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 293–341.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Published | Journal Article | IST-REx-ID: 966 |
S. Bieri, M. Serbyn, T. Senthil, and P. Lee, “Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice,” Physical Review B - Condensed Matter and Materials Physics, vol. 86, no. 22. American Physical Society, 2012.
View
| DOI
| Download (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 18345
Y. Aflalo, A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Deformable shape retrieval by learning diffusion kernels,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 689–700.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18342
J. Pokrass, A. M. Bronstein, and M. M. Bronstein, “A correspondence-less approach to matching of deformable shapes,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 592–603.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18346
G. Rosman, M. M. Bronstein, A. M. Bronstein, A. Wolf, and R. 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, Ein-Gedi, Israel, 2012, vol. 6667, pp. 725–736.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18341
C. Wang, M. M. Bronstein, A. M. Bronstein, and N. Paragios, “Discrete minimum distortion correspondence problems for non-rigid shape matching,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 580–591.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18348
G. Rosman, A. M. Bronstein, M. M. Bronstein, X.-C. Tai, and R. Kimmel, “Group-valued regularization for analysis of articulated motion,” in Computer Vision, ECCV 2012 - Workshops and Demonstrations, Florence, Italy, 2012, vol. 7583, no. Part 1, pp. 52–62.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18350
D. Raviv, A. M. Bronstein, M. M. Bronstein, R. Kimmel, and N. Sochen, “Equi-affine invariant geometries of articulated objects,” in 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl, Germany, 2012, vol. 7474, pp. 177–190.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18343
A. Kovnatsky, M. M. Bronstein, A. M. Bronstein, and R. Kimmel, “Photometric heat kernel signatures,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 616–627.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18347
O. Litany, A. M. Bronstein, and M. M. Bronstein, “Putting the pieces together: Regularized multi-part shape matching,” in Computer Vision, ECCV 2012 - Workshops and Demonstrations, Florence, Italy, 2012, vol. 7583, no. Part 1, pp. 1–11.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 3282 |
Y. Dodis, K. Z. Pietrzak, E. Kiltz, and D. Wichs, “Message authentication, revisited,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Cambridge, UK, 2012, vol. 7237, pp. 355–374.
[Submitted Version]
View
| Files available
| DOI