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.
2068 Publications
2012 |
Published |
Journal Article |
IST-REx-ID: 237
On Manin's conjecture for a family of Châtelet surfaces
R. De La Bretèche, T.D. Browning, E. Peyre, Annals of Mathematics 175 (2012) 297–343.
View
| DOI
R. De La Bretèche, T.D. Browning, E. Peyre, Annals of Mathematics 175 (2012) 297–343.
2012 |
Published |
Book Chapter |
IST-REx-ID: 2399
Cold quantum gases and bose einstein condensation
R. Seiringer, in:, V. Rivasseau, R. Seiringer, J. Solovej, T. Spencer (Eds.), Quantum Many Body Systems, Springer, 2012, pp. 55–92.
View
| DOI
R. Seiringer, in:, V. Rivasseau, R. Seiringer, J. Solovej, T. Spencer (Eds.), Quantum Many Body Systems, Springer, 2012, pp. 55–92.
2012 |
Published |
Journal Article |
IST-REx-ID: 242 |
Averages of shifted convolutions of d3 (n)
S. Baier, T.D. Browning, G. Marasingha, L. Zhao, Proceedings of the Edinburgh Mathematical Society 55 (2012) 551–576.
View
| DOI
| Download (ext.)
S. Baier, T.D. Browning, G. Marasingha, L. Zhao, Proceedings of the Edinburgh Mathematical Society 55 (2012) 551–576.
2012 |
Published |
Journal Article |
IST-REx-ID: 2689
Quantitative regional and ultra structural localization of the Ca v2 3 subunit of R type calcium channel in mouse brain
L. Parajuli, C. Nakajima, Á. Kulik, K. Matsui, T. Schneider, R. Shigemoto, Y. Fukazawa, Journal of Neuroscience 32 (2012) 13555–13567.
View
| DOI
L. Parajuli, C. Nakajima, Á. Kulik, K. Matsui, T. Schneider, R. Shigemoto, Y. Fukazawa, Journal of Neuroscience 32 (2012) 13555–13567.
2012 |
Published |
Journal Article |
IST-REx-ID: 2767
Bulk universality for generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Probability Theory and Related Fields 154 (2012) 341–407.
View
| DOI
L. Erdös, H. Yau, J. Yin, Probability Theory and Related Fields 154 (2012) 341–407.
2012 |
Published |
Journal Article |
IST-REx-ID: 2770
Rigidity of eigenvalues of generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Advances in Mathematics 229 (2012) 1435–1515.
View
| DOI
L. Erdös, H. Yau, J. Yin, Advances in Mathematics 229 (2012) 1435–1515.
2012 |
Published |
Journal Article |
IST-REx-ID: 2773
A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices
L. Erdös, H. Yau, Electronic Journal of Probability 17 (2012).
View
| DOI
L. Erdös, H. Yau, Electronic Journal of Probability 17 (2012).
2012 |
Published |
Journal Article |
IST-REx-ID: 2774
Scott correction for large atoms and molecules in a self-generated magnetic field
L. Erdös, S. Fournais, J. Solovej, Communications in Mathematical Physics 312 (2012) 847–882.
View
| DOI
L. Erdös, S. Fournais, J. Solovej, Communications in Mathematical Physics 312 (2012) 847–882.
2012 |
Published |
Journal Article |
IST-REx-ID: 2776
Spectral statistics of Erdős-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 314 (2012) 587–640.
View
| DOI
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 314 (2012) 587–640.
2012 |
Published |
Journal Article |
IST-REx-ID: 2777
Relativistic Scott correction in self-generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
View
| DOI
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
2012 |
Published |
Conference Paper |
IST-REx-ID: 10903
Accurate invariant checking for programs manipulating lists and arrays with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
View
| DOI
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
earlier version | 2012 |
Published |
Conference Paper |
IST-REx-ID: 10904 |
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
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:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
2012 |
Published |
Conference Paper |
IST-REx-ID: 10906 |
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
2012 |
Published |
Journal Article |
IST-REx-ID: 11751
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
[Preprint]
View
| DOI
| arXiv
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
earlier version | 2012 |
Published |
Conference Paper |
IST-REx-ID: 11794 |
Auctions with heterogeneous items and budget limits
P. Dütting, M. Henzinger, M. Starnberger, in:, 8th International Workshop on Internet and Network Economics, Springer Nature, 2012, pp. 44–57.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Dütting, M. Henzinger, M. Starnberger, in:, 8th International Workshop on Internet and Network Economics, Springer Nature, 2012, pp. 44–57.
earlier version | 2012 |
Published |
Conference Paper |
IST-REx-ID: 11795
On multiple keyword sponsored search auctions with budgets
R. Colini-Baldeschi, M. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12.
View
| Files available
| DOI
R. Colini-Baldeschi, M. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12.
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 |
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: 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.