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
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: 18341
Discrete minimum distortion correspondence problems for non-rigid shape matching
C. Wang, M.M. Bronstein, A.M. Bronstein, N. Paragios, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, Berlin, Heidelberg, 2012, pp. 580–591.
View
| DOI
C. Wang, M.M. Bronstein, A.M. Bronstein, N. Paragios, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, Berlin, Heidelberg, 2012, pp. 580–591.
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: 18349
Stable Spectral Mesh Filtering
A. Kovnatsky, M.M. Bronstein, A.M. Bronstein, in:, Computer Vision, ECCV 2012 - Workshops and Demonstrations, Springer Nature, 2012, pp. 83–91.
View
| DOI
A. Kovnatsky, M.M. Bronstein, A.M. Bronstein, in:, Computer Vision, ECCV 2012 - Workshops and Demonstrations, Springer Nature, 2012, pp. 83–91.
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: 18343
Photometric heat kernel signatures
A. Kovnatsky, M.M. Bronstein, A.M. Bronstein, R. Kimmel, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 616–627.
View
| DOI
A. Kovnatsky, M.M. Bronstein, A.M. Bronstein, R. Kimmel, in:, 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Springer Nature, 2012, pp. 616–627.
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 | Book (Editor) | IST-REx-ID: 18340
Scale Space and Variational Methods in Computer Vision
A.M. Bruckstein, B.M. ter Haar Romeny, A. Bronstein, M.M. Bronstein, eds., Scale Space and Variational Methods in Computer Vision, 1st ed., Springer Nature, Berlin, Heidelberg, 2012.
View
| DOI
A.M. Bruckstein, B.M. ter Haar Romeny, A. Bronstein, M.M. Bronstein, eds., Scale Space and Variational Methods in Computer Vision, 1st ed., Springer Nature, Berlin, Heidelberg, 2012.
2012 | Published | Conference Paper | IST-REx-ID: 3282 | 
Message authentication, revisited
Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.
[Submitted Version]
View
| Files available
| DOI
Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.
2012 | Published | Conference Paper | IST-REx-ID: 3280 |
Subspace LWE
K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.
2012 | Published | Conference Paper | IST-REx-ID: 3279
Hardness preserving constructions of pseudorandom functions
A. Jain, K.Z. Pietrzak, A. Tentes, in:, Springer, 2012, pp. 369–382.
View
| DOI
| Download None (ext.)
A. Jain, K.Z. Pietrzak, A. Tentes, in:, Springer, 2012, pp. 369–382.
2012 | Published | Conference Paper | IST-REx-ID: 2974 |
Commitments and efficient zero knowledge proofs from learning parity with noise
A. Jain, S. Krenn, K.Z. Pietrzak, A. Tentes, in:, X. Wang, K. Sako (Eds.), Springer, 2012, pp. 663–680.
[Submitted Version]
View
| Files available
| DOI
A. Jain, S. Krenn, K.Z. Pietrzak, A. Tentes, in:, X. Wang, K. Sako (Eds.), Springer, 2012, pp. 663–680.
2012 | Published | Conference Paper | IST-REx-ID: 2048 |
Practical leakage-resilient symmetric cryptography
S. Faust, K.Z. Pietrzak, J. Schipper, in:, Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Faust, K.Z. Pietrzak, J. Schipper, in:, Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.
2012 | Published | Conference Paper | IST-REx-ID: 2049 |
Lapin: An efficient authentication protocol based on ring-LPN
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, K.Z. Pietrzak, in:, Conference Proceedings FSE 2012, Springer, 2012, pp. 346–365.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, K.Z. Pietrzak, in:, Conference Proceedings FSE 2012, Springer, 2012, pp. 346–365.
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: 3136
Delayed continuous time Markov chains for genetic regulatory circuits
C.C. Guet, A. Gupta, T.A. Henzinger, M. Mateescu, A. Sezgin, in:, Springer, 2012, pp. 294–309.
View
| DOI
C.C. Guet, A. Gupta, T.A. Henzinger, M. Mateescu, A. Sezgin, in:, Springer, 2012, pp. 294–309.
2012 | Published | Conference Paper | IST-REx-ID: 2891 |
Approximate determinization of quantitative automata
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
[Published Version]
View
| Files available
| DOI
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
2012 | Published | Conference Paper | IST-REx-ID: 3251 |
Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
[Submitted Version]
View
| Files available
| DOI
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
2012 | Published | Conference Paper | IST-REx-ID: 2890
Synthesis from incompatible specifications
P. Cerny, S. Gopi, T.A. Henzinger, A. Radhakrishna, N. Totla, in:, Proceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 53–62.
View
| DOI
P. Cerny, S. Gopi, T.A. Henzinger, A. Radhakrishna, N. Totla, in:, Proceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 53–62.
2012 | Published | Conference Paper | IST-REx-ID: 2942
Independent implementability of viewpoints
T.A. Henzinger, D. Nickovic, in:, Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.
View
| DOI
T.A. Henzinger, D. Nickovic, in:, Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.