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, Guy, et al. “Group-Valued Regularization Framework for Motion Segmentation of Dynamic Non-Rigid Shapes.” 3rd International Conference on Scale Space and Variational Methods in Computer Vision, vol. 6667, Springer Nature, 2012, pp. 725–36, doi:10.1007/978-3-642-24785-9_61.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18341
Wang, Chaohui, et al. “Discrete Minimum Distortion Correspondence Problems for Non-Rigid Shape Matching.” 3rd International Conference on Scale Space and Variational Methods in Computer Vision, vol. 6667, Springer Nature, 2012, pp. 580–91, doi:10.1007/978-3-642-24785-9_49.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18348
Rosman, Guy, et al. “Group-Valued Regularization for Analysis of Articulated Motion.” Computer Vision, ECCV 2012 - Workshops and Demonstrations, vol. 7583, no. Part 1, Springer Nature, 2012, pp. 52–62, doi:10.1007/978-3-642-33863-2_6.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18349
Kovnatsky, Artiom, et al. “Stable Spectral Mesh Filtering.” Computer Vision, ECCV 2012 - Workshops and Demonstrations, vol. 7583, no. Part 1, Springer Nature, 2012, pp. 83–91, doi:10.1007/978-3-642-33863-2_9.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18350
Raviv, Dan, et al. “Equi-Affine Invariant Geometries of Articulated Objects.” 15th International Workshop on Theoretical Foundations of Computer Vision, vol. 7474, Springer Nature, 2012, pp. 177–90, doi:10.1007/978-3-642-34091-8_8.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18343
Kovnatsky, Artiom, et al. “Photometric Heat Kernel Signatures.” 3rd International Conference on Scale Space and Variational Methods in Computer Vision, vol. 6667, Springer Nature, 2012, pp. 616–27, doi:10.1007/978-3-642-24785-9_52.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18347
Litany, Or, et al. “Putting the Pieces Together: Regularized Multi-Part Shape Matching.” Computer Vision, ECCV 2012 - Workshops and Demonstrations, vol. 7583, no. Part 1, Springer Nature, 2012, pp. 1–11, doi:10.1007/978-3-642-33863-2_1.
View
| DOI
2012 | Published | Book (Editor) | IST-REx-ID: 18340
Bruckstein, Alfred M., et al., editors. Scale Space and Variational Methods in Computer Vision. 1st ed., vol. 6667, Springer Nature, 2012, doi:10.1007/978-3-642-24785-9.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 3282 | 
Dodis, Yevgeniy, et al. Message Authentication, Revisited. Vol. 7237, Springer, 2012, pp. 355–74, doi:10.1007/978-3-642-29011-4_22.
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 3280 |
Pietrzak, Krzysztof Z. Subspace LWE. Vol. 7194, Springer, 2012, pp. 548–63, 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, Abhishek, et al. Hardness Preserving Constructions of Pseudorandom Functions. Vol. 7194, Springer, 2012, pp. 369–82, doi:10.1007/978-3-642-28914-9_21.
View
| DOI
| Download None (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 2974 |
Jain, Abhishek, et al. Commitments and Efficient Zero Knowledge Proofs from Learning Parity with Noise. Edited by Xiaoyun Wang and Kazue Sako, vol. 7658, Springer, 2012, pp. 663–80, doi:10.1007/978-3-642-34961-4_40.
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2048 |
Faust, Sebastian, et al. “Practical Leakage-Resilient Symmetric Cryptography.” Conference Proceedings CHES 2012, vol. 7428, Springer, 2012, pp. 213–32, doi:10.1007/978-3-642-33027-8_13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 2049 |
Heyse, Stefan, et al. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.” Conference Proceedings FSE 2012, vol. 7549, Springer, 2012, pp. 346–65, doi:10.1007/978-3-642-34047-5_20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 5745 |
Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” 10th International Symposium on Automated Technology for Verification and Analysis, vol. 7561, Springer Nature, 2012, pp. 107–21, doi:10.1007/978-3-642-33386-6_10.
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 3136
Guet, Calin C., et al. Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits. Vol. 7358, Springer, 2012, pp. 294–309, doi:10.1007/978-3-642-31424-7_24.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2891 |
Boker, Udi, and Thomas A. Henzinger. “Approximate Determinization of Quantitative Automata.” Leibniz International Proceedings in Informatics, vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–73, doi:10.4230/LIPIcs.FSTTCS.2012.362.
[Published Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 3251 |
Zufferey, Damien, et al. Ideal Abstractions for Well Structured Transition Systems. Vol. 7148, Springer, 2012, pp. 445–60, doi:10.1007/978-3-642-27940-9_29.
[Submitted Version]
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2890
Cerny, Pavol, et al. “Synthesis from Incompatible Specifications.” Proceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 53–62, doi:10.1145/2380356.2380371.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 2942
Henzinger, Thomas A., and Dejan Nickovic. “Independent Implementability of Viewpoints.” Conference Proceedings Monterey Workshop 2012, vol. 7539, Springer, 2012, pp. 380–95, doi:10.1007/978-3-642-34059-8_20.
View
| DOI