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
De La Bretèche, R., Browning, T. D., & Peyre, E. (2012). On Manin’s conjecture for a family of Châtelet surfaces. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2012.175.1.8
View
| DOI
2012 |
Published |
Book Chapter |
IST-REx-ID: 2399
Seiringer, R. (2012). Cold quantum gases and bose einstein condensation. In V. Rivasseau, R. Seiringer, J. Solovej, & T. Spencer (Eds.), Quantum Many Body Systems (Vol. 2051, pp. 55–92). Springer. https://doi.org/10.1007/978-3-642-29511-9_2
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 242 |
Baier, S., Browning, T. D., Marasingha, G., & Zhao, L. (2012). Averages of shifted convolutions of d3 (n). Proceedings of the Edinburgh Mathematical Society. Cambridge University Press. https://doi.org/10.1017/S001309151100037X
View
| DOI
| Download (ext.)
2012 |
Published |
Journal Article |
IST-REx-ID: 2689
Parajuli, L., Nakajima, C., Kulik, Á., Matsui, K., Schneider, T., Shigemoto, R., & Fukazawa, Y. (2012). Quantitative regional and ultra structural localization of the Ca v2 3 subunit of R type calcium channel in mouse brain. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1142-12.2012
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2767
Erdös, L., Yau, H., & Yin, J. (2012). Bulk universality for generalized Wigner matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-011-0390-3
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2770
Erdös, L., Yau, H., & Yin, J. (2012). Rigidity of eigenvalues of generalized Wigner matrices. Advances in Mathematics. Academic Press. https://doi.org/10.1016/j.aim.2011.12.010
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2773
Erdös, L., & Yau, H. (2012). A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v17-1779
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2774
Erdös, L., Fournais, S., & Solovej, J. (2012). Scott correction for large atoms and molecules in a self-generated magnetic field. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-012-1468-1
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2776
Erdös, L., Knowles, A., Yau, H., & Yin, J. (2012). Spectral statistics of Erdős-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-012-1527-7
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 2777
Erdös, L., Fournais, S., & Solovej, J. (2012). Relativistic Scott correction in self-generated magnetic fields. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.3697417
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 10903
Bouajjani, A., Dragoi, C., Enea, C., & Sighireanu, M. (2012). Accurate invariant checking for programs manipulating lists and arrays with infinite data. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 167–182). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-33386-6_14
View
| DOI
earlier version | 2012 |
Published |
Conference Paper |
IST-REx-ID: 10904 |
Chatterjee, K., Randour, M., & Raskin, J.-F. (2012). Strategy synthesis for multi-dimensional quantitative objectives. In M. Koutny & I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory (Vol. 7454, pp. 115–131). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-32940-1_10
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
earlier version | 2012 |
Published |
Conference Paper |
IST-REx-ID: 10905 |
Chatterjee, K., Henzinger, M., Krinninger, S., & Nanongkai, D. (2012). Polynomial-time algorithms for energy games with special weight structures. In Algorithms – ESA 2012 (Vol. 7501, pp. 301–312). Ljubljana, Slovenia: Springer. https://doi.org/10.1007/978-3-642-33090-2_27
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |
Published |
Conference Paper |
IST-REx-ID: 10906 |
Grebenshchikov, S., Gupta, A., Lopes, N. P., Popeea, C., & Rybalchenko, A. (2012). HSF(C): A software verifier based on Horn clauses. In C. Flanagan & B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (Vol. 7214, pp. 549–551). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-28756-5_46
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 |
Published |
Journal Article |
IST-REx-ID: 11751
Lukas, K. C., Joshi, G., Modic, K. A., Ren, Z. F., & Opeil, C. P. (2012). Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. Springer Nature. https://doi.org/10.1007/s10853-012-6463-6
[Preprint]
View
| DOI
| arXiv
earlier version | 2012 |
Published |
Conference Paper |
IST-REx-ID: 11794 |
Dütting, P., Henzinger, M., & Starnberger, M. (2012). Auctions with heterogeneous items and budget limits. In 8th International Workshop on Internet and Network Economics (Vol. 7695, pp. 44–57). Liverpool, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-642-35311-6_4
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
earlier version | 2012 |
Published |
Conference Paper |
IST-REx-ID: 11795
Colini-Baldeschi, R., Henzinger, M., Leonardi, S., & Starnberger, M. (2012). On multiple keyword sponsored search auctions with budgets. In 39th International Colloquium on Automata, Languages, and Programming (Vol. 7392, pp. 1–12). Warwick, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-642-31585-5_1
View
| Files available
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 2048 |
Faust, S., Pietrzak, K. Z., & Schipper, J. (2012). Practical leakage-resilient symmetric cryptography. In Conference proceedings CHES 2012 (Vol. 7428, pp. 213–232). Leuven, Belgium: Springer. https://doi.org/10.1007/978-3-642-33027-8_13
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |
Published |
Book (Editor) |
IST-REx-ID: 18340
Bruckstein, A. M., ter Haar Romeny, B. M., Bronstein, A., & Bronstein, M. M. (Eds.). (2012). Scale Space and Variational Methods in Computer Vision (1st ed., Vol. 6667). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 18341
Wang, C., Bronstein, M. M., Bronstein, A. M., & Paragios, N. (2012). 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, pp. 580–591). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_49
View
| DOI