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.
4964 Publications
2021 | Preprint | IST-REx-ID: 9980 | 
C. Prehal et al., “Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries,” Research Square. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 | Conference Paper | IST-REx-ID: 12767 |
S. Bansal, K. Chatterjee, and M. Y. Vardi, “On satisficing in quantitative games,” in 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, 2021, vol. 12651, pp. 20–37.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Preprint | IST-REx-ID: 10011 |
S. Hensel and T. Laux, “A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Preprint | IST-REx-ID: 9230 |
L.-P. Arguin, G. Dubach, and L. Hartung, “Maxima of a random model of the Riemann zeta function over intervals of varying length,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Preprint | IST-REx-ID: 9281 |
G. Dubach and F. Mühlböck, “Formal verification of Zagier’s one-sentence proof,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv