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.
543 Publications
2009 |Published| Journal Article | IST-REx-ID: 3696
Structured prediction by joint kernel support estimation
C. Lampert, M. Blaschko, Machine Learning 77 (2009) 249–269.
View
| DOI
C. Lampert, M. Blaschko, Machine Learning 77 (2009) 249–269.
2009 |Published| Conference Paper | IST-REx-ID: 3837 | 
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
[Submitted Version]
View
| Files available
| DOI
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
2009 |Published| Journal Article | IST-REx-ID: 4231
Statistical mechanics and the evolution of polygenic quantitative traits
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
View
| DOI
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
2009 |Published| Conference Paper | IST-REx-ID: 4540
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.
2008 |Published| Journal Article | IST-REx-ID: 2120 |
On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces
J. Maas, J. Van Neerven, Infinite Dimensional Analysis, Quantum Probability and Related Topics 11 (2008) 603–626.
View
| DOI
| Download (ext.)
J. Maas, J. Van Neerven, Infinite Dimensional Analysis, Quantum Probability and Related Topics 11 (2008) 603–626.
2008 |Published| Journal Article | IST-REx-ID: 2121 |
A Clark-Ocone formula in UMD Banach spaces
J. Van Neerven, J. Maas, Electronic Communications in Probability 13 (2008) 151–164.
View
| Download (ext.)
J. Van Neerven, J. Maas, Electronic Communications in Probability 13 (2008) 151–164.
2008 |Published| Journal Article | IST-REx-ID: 224
On the representation of integers by quadratic forms
T.D. Browning, R. Dietmann, Proceedings of the London Mathematical Society 96 (2008) 389–416.
View
| DOI
T.D. Browning, R. Dietmann, Proceedings of the London Mathematical Society 96 (2008) 389–416.
2008 |Published| Journal Article | IST-REx-ID: 2374 |
Free energy of a dilute Bose gas: Lower bound
R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.
View
| DOI
| Download (ext.)
R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.
2008 |Published| Journal Article | IST-REx-ID: 2382 |
The Lieb-Liniger model as a limit of dilute bosons in three dimensions
R. Seiringer, J. Yin, Communications in Mathematical Physics 284 (2008) 459–479.
View
| DOI
| Download (ext.)
R. Seiringer, J. Yin, Communications in Mathematical Physics 284 (2008) 459–479.
2008 |Published| Journal Article | IST-REx-ID: 2377 |
The BCS critical temperature for potentials with negative scattering length
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 84 (2008) 99–107.
View
| DOI
| Download (ext.)
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 84 (2008) 99–107.
2008 |Published| Journal Article | IST-REx-ID: 2753
Quantum diffusion of the random Schrödinger evolution in the scaling limit
L. Erdös, M. Salmhofer, H. Yau, Acta Mathematica 200 (2008) 211–277.
View
| DOI
L. Erdös, M. Salmhofer, H. Yau, Acta Mathematica 200 (2008) 211–277.
2008 |Published| Journal Article | IST-REx-ID: 2755
Ground-state energy of a low-density Bose gas: A second-order upper bound
L. Erdös, B. Schlein, H. Yau, Physical Review A - Atomic, Molecular, and Optical Physics 78 (2008).
View
| DOI
L. Erdös, B. Schlein, H. Yau, Physical Review A - Atomic, Molecular, and Optical Physics 78 (2008).
2008 |Published| Conference Paper | IST-REx-ID: 3229
Leakage resilient cryptography
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2008, pp. 293–302.
View
| DOI
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2008, pp. 293–302.
2008 |Published| Journal Article | IST-REx-ID: 3435 |
Estimation of 2Nes From Temporal Allele Frequency Data
J.P. Bollback, T. York, R. Nielsen, Genetics 179 (2008) 497–502.
View
| DOI
| Download (ext.)
J.P. Bollback, T. York, R. Nielsen, Genetics 179 (2008) 497–502.
2008 |Published| Journal Article | IST-REx-ID: 4548
Stochastic limit-average games are in EXPTIME
K. Chatterjee, R. Majumdar, T.A. Henzinger, International Journal of Game Theory 37 (2008) 219–234.
View
| DOI
| Download (ext.)
K. Chatterjee, R. Majumdar, T.A. Henzinger, International Journal of Game Theory 37 (2008) 219–234.
2007 |Published| Journal Article | IST-REx-ID: 219
On Manin's conjecture for a certain singular cubic surface
R. De La Bretèche, T.D. Browning, U. Derenthal, Annales Scientifiques de l’Ecole Normale Superieure 40 (2007) 1–50.
View
| DOI
R. De La Bretèche, T.D. Browning, U. Derenthal, Annales Scientifiques de l’Ecole Normale Superieure 40 (2007) 1–50.
2007 |Published| Journal Article | IST-REx-ID: 223 |
Density of integer solutions to diagonal quadratic forms
T.D. Browning, Monatshefte Fur Mathematik 152 (2007) 13–38.
View
| DOI
| Download (ext.)
T.D. Browning, Monatshefte Fur Mathematik 152 (2007) 13–38.
2007 |Published| Journal Article | IST-REx-ID: 2370 |
Bose-Einstein condensation and spontaneous symmetry breaking
É. Lieb, R. Seiringer, J. Yngvason, Reports on Mathematical Physics 59 (2007) 389–399.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Reports on Mathematical Physics 59 (2007) 389–399.
2007 |Published| Journal Article | IST-REx-ID: 2373 |
The critical temperature for the BCS equation at weak coupling
R. Frank, C. Hainzl, S. Naboko, R. Seiringer, Journal of Geometric Analysis 17 (2007) 559–567.
View
| DOI
| Download (ext.)
R. Frank, C. Hainzl, S. Naboko, R. Seiringer, Journal of Geometric Analysis 17 (2007) 559–567.
2007 |Published| Journal Article | IST-REx-ID: 2750
Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams
L. Erdös, M. Salmhofer, H. Yau, Communications in Mathematical Physics 271 (2007) 1–53.
View
| DOI
L. Erdös, M. Salmhofer, H. Yau, Communications in Mathematical Physics 271 (2007) 1–53.