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.
369 Publications
2012 | Published | Conference Paper | IST-REx-ID: 18346
Rosman G, Bronstein MM, Bronstein AM, Wolf A, Kimmel R. 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. Springer Nature; 2012:725-736. doi:10.1007/978-3-642-24785-9_61
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18341
Wang C, Bronstein MM, Bronstein AM, Paragios N. Discrete minimum distortion correspondence problems for non-rigid shape matching. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Berlin, Heidelberg: Springer Nature; 2012:580-591. doi:10.1007/978-3-642-24785-9_49
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18348
Rosman G, Bronstein AM, Bronstein MM, Tai X-C, Kimmel R. Group-valued regularization for analysis of articulated motion. In: Computer Vision, ECCV 2012 - Workshops and Demonstrations. Vol 7583. Springer Nature; 2012:52-62. doi:10.1007/978-3-642-33863-2_6
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18349
Kovnatsky A, Bronstein MM, Bronstein AM. Stable Spectral Mesh Filtering. In: Computer Vision, ECCV 2012 - Workshops and Demonstrations. Vol 7583. Springer Nature; 2012:83-91. doi:10.1007/978-3-642-33863-2_9
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18350
Raviv D, Bronstein AM, Bronstein MM, Kimmel R, Sochen N. Equi-affine invariant geometries of articulated objects. In: 15th International Workshop on Theoretical Foundations of Computer Vision. Vol 7474. Springer Nature; 2012:177-190. doi:10.1007/978-3-642-34091-8_8
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18343
Kovnatsky A, Bronstein MM, Bronstein AM, Kimmel R. Photometric heat kernel signatures. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:616-627. doi:10.1007/978-3-642-24785-9_52
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18347
Litany O, Bronstein AM, Bronstein MM. Putting the pieces together: Regularized multi-part shape matching. In: Computer Vision, ECCV 2012 - Workshops and Demonstrations. Vol 7583. Springer Nature; 2012:1-11. doi:10.1007/978-3-642-33863-2_1
View
| DOI
2012 | Published | Book (Editor) | IST-REx-ID: 18340
Bruckstein AM, ter Haar Romeny BM, Bronstein A, Bronstein MM, eds. Scale Space and Variational Methods in Computer Vision. Vol 6667. 1st ed. Berlin, Heidelberg: Springer Nature; 2012. doi:10.1007/978-3-642-24785-9
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 3282 | 
Dodis Y, Pietrzak KZ, Kiltz E, Wichs D. Message authentication, revisited. In: Vol 7237. Springer; 2012:355-374. doi:10.1007/978-3-642-29011-4_22
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 3280 |
Pietrzak KZ. Subspace LWE. In: Vol 7194. Springer; 2012:548-563. doi:10.1007/978-3-642-28914-9_31
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 3279
Jain A, Pietrzak KZ, Tentes A. Hardness preserving constructions of pseudorandom functions. In: Vol 7194. Springer; 2012:369-382. doi:10.1007/978-3-642-28914-9_21
View
| DOI
| Download None (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 2974 |
Jain A, Krenn S, Pietrzak KZ, Tentes A. Commitments and efficient zero knowledge proofs from learning parity with noise. In: Wang X, Sako K, eds. Vol 7658. Springer; 2012:663-680. doi:10.1007/978-3-642-34961-4_40
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2048 |
Faust S, Pietrzak KZ, Schipper J. Practical leakage-resilient symmetric cryptography. In: Conference Proceedings CHES 2012. Vol 7428. Springer; 2012:213-232. doi:10.1007/978-3-642-33027-8_13
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 2049 |
Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. Lapin: An efficient authentication protocol based on ring-LPN. In: Conference Proceedings FSE 2012. Vol 7549. Springer; 2012:346-365. doi:10.1007/978-3-642-34047-5_20
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 5745 |
Gupta A. Improved single pass algorithms for resolution proof reduction. In: 10th International Symposium on Automated Technology for Verification and Analysis. Vol 7561. Springer Nature; 2012:107-121. doi:10.1007/978-3-642-33386-6_10
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 3136
Guet CC, Gupta A, Henzinger TA, Mateescu M, Sezgin A. Delayed continuous time Markov chains for genetic regulatory circuits. In: Vol 7358. Springer; 2012:294-309. doi:10.1007/978-3-642-31424-7_24
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2891 |
Boker U, Henzinger TA. Approximate determinization of quantitative automata. In: Leibniz International Proceedings in Informatics. Vol 18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:362-373. doi:10.4230/LIPIcs.FSTTCS.2012.362
[Published Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 3251 |
Zufferey D, Wies T, Henzinger TA. Ideal abstractions for well structured transition systems. In: Vol 7148. Springer; 2012:445-460. doi:10.1007/978-3-642-27940-9_29
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2890
Cerny P, Gopi S, Henzinger TA, Radhakrishna A, Totla N. Synthesis from incompatible specifications. In: Proceedings of the Tenth ACM International Conference on Embedded Software. ACM; 2012:53-62. doi:10.1145/2380356.2380371
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2942
Henzinger TA, Nickovic D. Independent implementability of viewpoints. In: Conference Proceedings Monterey Workshop 2012. Vol 7539. Springer; 2012:380-395. doi:10.1007/978-3-642-34059-8_20
View
| DOI