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| Conference Paper | IST-REx-ID: 3837 | 
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “On relational interfaces,” in EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software, Grenoble, France, 2009, pp. 67–76.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4540
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” presented at the LICS: Logic in Computer Science, 2009, pp. 199–208.
View
| Files available
| DOI
2008 |Published| Journal Article | IST-REx-ID: 2120 |
J. Maas and J. Van Neerven, “On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces,” Infinite Dimensional Analysis, Quantum Probability and Related Topics, vol. 11, no. 4. World Scientific Publishing, pp. 603–626, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2121 |
J. Van Neerven and J. Maas, “A Clark-Ocone formula in UMD Banach spaces,” Electronic Communications in Probability, vol. 13. Institute of Mathematical Statistics, pp. 151–164, 2008.
View
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2374 |
R. Seiringer, “Free energy of a dilute Bose gas: Lower bound,” Communications in Mathematical Physics, vol. 279, no. 3. Springer, pp. 595–636, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2382 |
R. Seiringer and J. Yin, “The Lieb-Liniger model as a limit of dilute bosons in three dimensions,” Communications in Mathematical Physics, vol. 284, no. 2. Springer, pp. 459–479, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2377 |
C. Hainzl and R. Seiringer, “The BCS critical temperature for potentials with negative scattering length,” Letters in Mathematical Physics, vol. 84, no. 2–3. Springer, pp. 99–107, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 3435 |
J. P. Bollback, T. York, and R. Nielsen, “Estimation of 2Nes From Temporal Allele Frequency Data,” Genetics, vol. 179, no. 1. Genetics Society of America, pp. 497–502, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 4548
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Stochastic limit-average games are in EXPTIME,” International Journal of Game Theory, vol. 37, no. 2. Springer, pp. 219–234, 2008.
View
| DOI
| Download (ext.)
2007 |Published| Journal Article | IST-REx-ID: 223 |
T. D. Browning, “Density of integer solutions to diagonal quadratic forms,” Monatshefte fur Mathematik, vol. 152, no. 1. Springer, pp. 13–38, 2007.
View
| DOI
| Download (ext.)
2007 |Published| Journal Article | IST-REx-ID: 2370 |
É. Lieb, R. Seiringer, and J. Yngvason, “Bose-Einstein condensation and spontaneous symmetry breaking,” Reports on Mathematical Physics, vol. 59, no. 3. Elsevier, pp. 389–399, 2007.
View
| DOI
| Download (ext.)
2007 |Published| Journal Article | IST-REx-ID: 2373 |
R. Frank, C. Hainzl, S. Naboko, and R. Seiringer, “The critical temperature for the BCS equation at weak coupling,” Journal of Geometric Analysis, vol. 17, no. 4. Springer, pp. 559–567, 2007.
View
| DOI
| Download (ext.)