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.
440 Publications
2015 | Journal Article | IST-REx-ID: 2035 |
The persistent homology of a self-map
H. Edelsbrunner, G. Jablonski, M. Mrozek, Foundations of Computational Mathematics 15 (2015) 1213–1244.
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, G. Jablonski, M. Mrozek, Foundations of Computational Mathematics 15 (2015) 1213–1244.
2015 | Journal Article | IST-REx-ID: 2034 |
Probabilistic opacity for Markov decision processes
B. Bérard, K. Chatterjee, N. Sznajder, Information Processing Letters 115 (2015) 52–59.
[Preprint]
View
| DOI
| Download Preprint (ext.)
B. Bérard, K. Chatterjee, N. Sznajder, Information Processing Letters 115 (2015) 52–59.
2015 | Journal Article | IST-REx-ID: 2085 |
Collective excitations of Bose gases in the mean-field regime
P. Nam, R. Seiringer, Archive for Rational Mechanics and Analysis 215 (2015) 381–417.
[Preprint]
View
| DOI
| Download Preprint (ext.)
P. Nam, R. Seiringer, Archive for Rational Mechanics and Analysis 215 (2015) 381–417.
2015 | Journal Article | IST-REx-ID: 2166 |
The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case
L. Erdös, A. Knowles, Communications in Mathematical Physics 333 (2015) 1365–1416.
[Preprint]
View
| DOI
| Download Preprint (ext.)
L. Erdös, A. Knowles, Communications in Mathematical Physics 333 (2015) 1365–1416.
2015 | Conference Paper | IST-REx-ID: 1675
Proofs of space
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, 9216 (2015) 585–605.
View
| Files available
| DOI
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, 9216 (2015) 585–605.
2015 | Journal Article | IST-REx-ID: 1832 |
Aspect-oriented linearizability proofs
S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015).
[Published Version]
View
| Files available
| DOI
S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015).
2015 | Journal Article | IST-REx-ID: 2271 |
The power of linear programming for general-valued CSPs
V. Kolmogorov, J. Thapper, S. Živný, SIAM Journal on Computing 44 (2015) 1–36.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, J. Thapper, S. Živný, SIAM Journal on Computing 44 (2015) 1–36.
2015 | Journal Article | IST-REx-ID: 257 |
Pairs of diagonal quadratic forms and linear correlations among sums of two squares
T.D. Browning, R. Munshi, Forum Mathematicum 27 (2015) 2025–2050.
View
| DOI
| Download (ext.)
T.D. Browning, R. Munshi, Forum Mathematicum 27 (2015) 2025–2050.
2015 | Book Chapter | IST-REx-ID: 258
A survey of applications of the circle method to rational points
T.D. Browning, in:, Arithmetic and Geometry, Cambridge University Press, 2015, pp. 89–113.
View
| DOI
T.D. Browning, in:, Arithmetic and Geometry, Cambridge University Press, 2015, pp. 89–113.
2015 | Journal Article | IST-REx-ID: 259
Rational points on cubic hypersurfaces over F_q(t)
T.D. Browning, P. Vishe, Geometric and Functional Analysis 25 (2015) 671–732.
View
| DOI
T.D. Browning, P. Vishe, Geometric and Functional Analysis 25 (2015) 671–732.