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 | OA
Asarin E, Donzé A, Maler O, Nickovic D. 2012. Parametric identification of temporal properties. RV: Runtime Verification, LNCS, vol. 7186, 147–160.
[Submitted Version] View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3250
Pietrzak KZ. 2012. Cryptography from learning parity with noise. SOFSEM: Current Trends in Theory and Practice of Computer Science, LNCS, vol. 7147, 99–114.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3253
Bouajjani A, Dragoi C, Enea C, Sighireanu M. 2012. Abstract domains for automated reasoning about list manipulating programs with infinite data. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 7148, 1–22.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3281
Pietrzak KZ, Rosen A, Segev G. 2012. Lossy functions do not amplify well. TCC: Theory of Cryptography Conference, LNCS, vol. 7194, 458–475.
View | DOI | Download None (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 387 | OA
Alpichshev Z, Biswas R, Balatsky A, Analytis J, Chu J, Fisher I, Kapitulnik A. 2012. STM imaging of impurity resonances on Bi 2Se 3. Physical Review Letters. 108(20).
View | DOI | Download None (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 18344
Hooda A, Bronstein MM, Bronstein AM, Horaud RP. 2012. Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes. Scale Space and Variational Methods in Computer Vision. Third International Conference on Scale Space and Variational Methods in Computer Vision, LNCS, vol. 6667, 665–676.
View | DOI
 

2012 | Published | Book Chapter | IST-REx-ID: 18737 | OA
Haiman Z. 2012.The Formation of the First Massive Black Holes. In: The First Galaxies. Astrophysics and Space Science Library, , 293–341.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 966 | OA
Bieri S, Serbyn M, Senthil T, Lee P. 2012. Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. 86(22).
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 8504
Kaloshin V, KOZLOVSKI OS. 2012. A Cr unimodal map with an arbitrary fast growth of the number of periodic points. Ergodic Theory and Dynamical Systems. 32(1), 159–165.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18345
Aflalo Y, Bronstein AM, Bronstein MM, Kimmel R. 2012. Deformable shape retrieval by learning diffusion kernels. 3rd International Conference on Scale Space and Variational Methods in Computer Vision. SSVM: Scale Space and Variational Methods in Computer Vision, LNCS, vol. 6667, 689–700.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18342
Pokrass J, Bronstein AM, Bronstein MM. 2012. A correspondence-less approach to matching of deformable shapes. 3rd International Conference on Scale Space and Variational Methods in Computer Vision. SSVM: Scale Space and Variational Methods in Computer Vision, LNCS, vol. 6667, 592–603.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18346
Rosman G, Bronstein MM, Bronstein AM, Wolf A, Kimmel R. 2012. Group-valued regularization framework for motion segmentation of dynamic non-rigid shapes. 3rd International Conference on Scale Space and Variational Methods in Computer Vision. SSVM: Scale Space and Variational Methods in Computer Vision, LNCS, vol. 6667, 725–736.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18341
Wang C, Bronstein MM, Bronstein AM, Paragios N. 2012. Discrete minimum distortion correspondence problems for non-rigid shape matching. 3rd International Conference on Scale Space and Variational Methods in Computer Vision. SSVM: Scale Space and Variational Methods in Computer Vision, LNCS, vol. 6667, 580–591.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18348
Rosman G, Bronstein AM, Bronstein MM, Tai X-C, Kimmel R. 2012. Group-valued regularization for analysis of articulated motion. Computer Vision, ECCV 2012 - Workshops and Demonstrations. ECCV: European Conference on Computer Vision, LNCS, vol. 7583, 52–62.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18349
Kovnatsky A, Bronstein MM, Bronstein AM. 2012. Stable Spectral Mesh Filtering. Computer Vision, ECCV 2012 - Workshops and Demonstrations. ECCV: European Conference on Computer Vision, LNCS, vol. 7583, 83–91.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18350
Raviv D, Bronstein AM, Bronstein MM, Kimmel R, Sochen N. 2012. Equi-affine invariant geometries of articulated objects. 15th International Workshop on Theoretical Foundations of Computer Vision. International Workshop on Theoretical Foundations of Computer Vision, LNCS, vol. 7474, 177–190.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18343
Kovnatsky A, Bronstein MM, Bronstein AM, Kimmel R. 2012. Photometric heat kernel signatures. 3rd International Conference on Scale Space and Variational Methods in Computer Vision. SSVM: Scale Space and Variational Methods in Computer Vision, LNCS, vol. 6667, 616–627.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18347
Litany O, Bronstein AM, Bronstein MM. 2012. Putting the pieces together: Regularized multi-part shape matching. Computer Vision, ECCV 2012 - Workshops and Demonstrations. ECCV: European Conference on Computer Vision vol. 7583, 1–11.
View | DOI
 

2012 | Published | Book (Editor) | IST-REx-ID: 18340
Bruckstein AM, ter Haar Romeny BM, Bronstein A, Bronstein MM eds. 2012. Scale Space and Variational Methods in Computer Vision 1st ed., Berlin, Heidelberg: Springer Nature, XIV, 798p.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3282 | OA
Dodis Y, Pietrzak KZ, Kiltz E, Wichs D. 2012. Message authentication, revisited. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 7237, 355–374.
[Submitted Version] View | Files available | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed