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.
384 Publications
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 |
Journal Article |
IST-REx-ID: 18364
Stable volumetric features in deformable shapes
R. Litman, A.M. Bronstein, M.M. Bronstein, Computers & Graphics 36 (2012) 569–576.
View
| DOI
R. Litman, A.M. Bronstein, M.M. Bronstein, Computers & Graphics 36 (2012) 569–576.
2012 |
Published |
Conference Paper |
IST-REx-ID: 18378
Intrinsic shape context descriptors for deformable shapes
I. Kokkinos, M.M. Bronstein, R. Litman, A.M. Bronstein, in:, 2012 IEEE Conference on Computer Vision and Pattern Recognition, IEEE, 2012.
View
| DOI
I. Kokkinos, M.M. Bronstein, R. Litman, A.M. Bronstein, in:, 2012 IEEE Conference on Computer Vision and Pattern Recognition, IEEE, 2012.
2012 |
Published |
Conference Paper |
IST-REx-ID: 18379
A game-theoretic approach to deformable shape matching
E. Rodola, A.M. Bronstein, A. Albarelli, F. Bergamasco, A. Torsello, in:, 2012 IEEE Conference on Computer Vision and Pattern Recognition, IEEE, 2012.
View
| DOI
E. Rodola, A.M. Bronstein, A. Albarelli, F. Bergamasco, A. Torsello, in:, 2012 IEEE Conference on Computer Vision and Pattern Recognition, IEEE, 2012.
2012 |
Published |
Journal Article |
IST-REx-ID: 18412
LDAHash: Improved matching with smaller descriptors
C. Strecha, A.M. Bronstein, M.M. Bronstein, P. Fua, IEEE Transactions on Pattern Analysis and Machine Intelligence 34 (2012) 66–78.
View
| DOI
| PubMed | Europe PMC
C. Strecha, A.M. Bronstein, M.M. Bronstein, P. Fua, IEEE Transactions on Pattern Analysis and Machine Intelligence 34 (2012) 66–78.
2012 |
Published |
Journal Article |
IST-REx-ID: 22056 |
On the mass-critical generalized KdV equation
R. Killip, S. Kwon, S. Shao, M. Vişan, Discrete and Continuous Dynamical Systems 32 (2012) 191–221.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Killip, S. Kwon, S. Shao, M. Vişan, Discrete and Continuous Dynamical Systems 32 (2012) 191–221.
2012 |
Published |
Journal Article |
IST-REx-ID: 22075 |
Global well-posedness and scattering for the defocusing cubic nonlinear Schrödinger equation in four dimensions
M. Vişan, International Mathematics Research Notices 2012 (2012) 1037–1067.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Vişan, International Mathematics Research Notices 2012 (2012) 1037–1067.
2012 |
Published |
Journal Article |
IST-REx-ID: 2318 |
Absence of bound states implies non-negativity of the scattering length
R. Seiringer, Journal of Spectral Theory 2 (2012) 321–328.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Seiringer, Journal of Spectral Theory 2 (2012) 321–328.
2012 |
Published |
Journal Article |
IST-REx-ID: 2954 |
A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo
A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, P.M. Jonas, Biophysical Journal 103 (2012) 1429–1439.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, P.M. Jonas, Biophysical Journal 103 (2012) 1429–1439.
2012 |
Published |
Journal Article |
IST-REx-ID: 3160
Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo
P. Pantazis, M.T. Bollenbach, Cell Cycle 11 (2012) 2055–2058.
View
| DOI
| WoS
P. Pantazis, M.T. Bollenbach, Cell Cycle 11 (2012) 2055–2058.
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: 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.
2012 |
Published |
Journal Article |
IST-REx-ID: 3274
A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil
G. Rieckh, W. Kreuzer, H. Waubke, P. Balazs, Engineering Analysis with Boundary Elements 36 (2012) 960–967.
View
| DOI
| WoS
G. Rieckh, W. Kreuzer, H. Waubke, P. Balazs, Engineering Analysis with Boundary Elements 36 (2012) 960–967.
2012 |
Published |
Journal Article |
IST-REx-ID: 3331 |
A worst case bound for topology computation of algebraic curves
M. Kerber, M. Sagraloff, Journal of Symbolic Computation 47 (2012) 239–258.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Kerber, M. Sagraloff, Journal of Symbolic Computation 47 (2012) 239–258.
earlier version | 2012 |
Published |
Conference Paper |
IST-REx-ID: 2955 |
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, L. Doyen, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
2012 |
Published |
Journal Article |
IST-REx-ID: 2967
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, ACM Transactions on Computational Logic 13 (2012).
View
| Files available
| DOI
| WoS
R. Alur, P. Cerny, S. Weinstein, ACM Transactions on Computational Logic 13 (2012).
2012 |
Published |
Journal Article |
IST-REx-ID: 494
Translating to Co-Büchi made tight, unified, and useful
U. Boker, O. Kupferman, ACM Transactions on Computational Logic 13 (2012).
View
| DOI
| WoS
U. Boker, O. Kupferman, ACM Transactions on Computational Logic 13 (2012).
earlier version | 2012 |
Published |
Conference Paper |
IST-REx-ID: 10905 |
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, in:, 20th Annual European Symposium on Algorithms , Springer, 2012, pp. 301–312.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, in:, 20th Annual European Symposium on Algorithms , Springer, 2012, pp. 301–312.
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.