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.
5805 Publications
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 | 
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2024). Information-flow interfaces. Formal Methods in System Design. Springer Nature. https://doi.org/10.1007/s10703-024-00447-0
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18086
Alwen, J. F., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G., & Pietrzak, K. Z. (2024). DeCAF: Decentralizable CGKA with fast healing. In C. Galdi & D. H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference (Vol. 14974, pp. 294–313). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-71073-5_14
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 15381 |
Rangel Guerrero, D. K., Balueva, K., Barayeu, U., Baracskay, P., Gridchyn, I., Nardin, M., … Csicsvari, J. L. (2024). Hippocampal cholecystokinin-expressing interneurons regulate temporal coding and contextual learning. Neuron. Cell Press. https://doi.org/10.1016/j.neuron.2024.03.019
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 18655 |
Anastos, M., Diskin, S., Elboim, D., & Krivelevich, M. (2024). Climbing up a random subgraph of the hypercube. Electronic Communications in Probability. Duke University Press. https://doi.org/10.1214/24-ECP639
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18976 |
Islamov, R., Safaryan, M., & Alistarh, D.-A. (2024). AsGrad: A sharp unified analysis of asynchronous-SGD algorithms. In Proceedings of The 27th International Conference on Artificial Intelligence and Statistics (Vol. 238, pp. 649–657). Valencia, Spain: ML Research Press.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18586 |
CZUDEK, K. S., & Dolgopyat, D. (2024). The central limit theorem and rate of mixing for simple random walks on the circle. Alea. Instituto Nacional de Matematica Pura e Aplicada. https://doi.org/10.30757/ALEA.V21-70
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17396 |
Quishpe-Vásquez, C., Oliva, P., López-Barrera, E. A., & Casallas Garcia, A. (2024). Wildfires impact on PM2.5 concentration in galicia Spain. Journal of Environmental Management. Elsevier. https://doi.org/10.1016/j.jenvman.2024.122093
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17127 |
Wang, V., & Xu, M. W. (2024). Paucity phenomena for polynomial products. Bulletin of the London Mathematical Society. London Mathematical Society. https://doi.org/10.1112/blms.13095
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15248 |
Shen, S. (2024). Mirror symmetry for parabolic Higgs bundles via p-adic integration. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2024.109616
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17189
Hanson, C. S., Das, S. B., Mani, P., Hanasoge, S., & Sreenivasan, K. R. (2024). Supergranular-scale solar convection not explained by mixing-length theory. Nature Astronomy. Springer Nature. https://doi.org/10.1038/s41550-024-02304-w
View
| DOI
2024 | Published | Journal Article | IST-REx-ID: 14733 |
Jethwa, R. B., Hey, D., Kerber, R. N., Bond, A. D., Wright, D. S., & Grey, C. P. (2024). Exploring the landscape of heterocyclic quinones for redox flow batteries. ACS Applied Energy Materials. American Chemical Society. https://doi.org/10.1021/acsaem.3c02223
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Published | Conference Paper | IST-REx-ID: 17402 |
Meggendorfer, T., & Weininger, M. (2024). Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. In 36th International Conference on Computer Aided Verification (Vol. 14683, pp. 359–372). Montreal, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-65633-0_16
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17447 |
Wang, V. (2024). Special cubic zeros and the dual variety. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.12975
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18528 |
Das, S. B., Einramhof, L., & Bugnet, L. A. (2024). Unveiling complex magnetic field configurations in red giant stars. Astronomy and Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202450918
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15359 |
Dong, H., Shi, Y., Ying, P., Xu, K., Liang, T., Wang, Y., … Fan, Z. (2024). Molecular dynamics simulations of heat transport using machine-learned potentials: A mini-review and tutorial on GPUMD with neuroevolution potentials. Journal of Applied Physics. AIP Publishing. https://doi.org/10.1063/5.0200833
[Preprint]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15024 |
Robin, P. (2024). Correlation-induced viscous dissipation in concentrated electrolytes. Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/5.0188215
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 14986 |
Shen, S. (2024). Tamely ramified geometric Langlands correspondence in positive characteristic. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rnae005
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 15321 |
Trinh, G., Benhamou, B., Pastva, S., & Soliman, S. (2024). Scalable enumeration of trap spaces in boolean networks via answer set programming. In Proceedings of the 38th AAAI Conference on Artificial Intelligence (Vol. 38, pp. 10714–10722). Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v38i9.28943
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 12311 |
Naskręcki, B., & Verzobio, M. (2024). Common valuations of division polynomials. Proceedings of the Royal Society of Edinburgh Section A: Mathematics. Cambridge University Press. https://doi.org/10.1017/prm.2024.7
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15052
Cheng, R., Zeng, Z., Wang, C., Ouyang, N., & Chen, Y. (2024). Impact of strain-insensitive low-frequency phonon modes on lattice thermal transport in AxXB6-type perovskites. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.109.054305
View
| DOI