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.
10763 Publications
2024 | Published | Journal Article | IST-REx-ID: 15118
Proteins containing photosynthetic reaction centre domains modulate FtsZ-based archaeal cell division
P. Nußbaum, D. Kureisaite-Ciziene, D. Bellini, C. Van Der Does, M. Kojic, N. Taib, A. Yeates, M. Tourte, S. Gribaldo, M. Loose, J. Löwe, S.V. Albers, Nature Microbiology 9 (2024) 698–711.
View
| DOI
| PubMed | Europe PMC
P. Nußbaum, D. Kureisaite-Ciziene, D. Bellini, C. Van Der Does, M. Kojic, N. Taib, A. Yeates, M. Tourte, S. Gribaldo, M. Loose, J. Löwe, S.V. Albers, Nature Microbiology 9 (2024) 698–711.
2024 | Published | Journal Article | IST-REx-ID: 18653 | 
Automated long-range compensation of an rf quantum dot sensor
J. Hickie, B. Van Straaten, F. Fedele, D. Jirovec, A. Ballabio, D. Chrastina, G. Isella, G. Katsaros, N. Ares, Physical Review Applied 22 (2024).
[Published Version]
View
| Files available
| DOI
J. Hickie, B. Van Straaten, F. Fedele, D. Jirovec, A. Ballabio, D. Chrastina, G. Isella, G. Katsaros, N. Ares, Physical Review Applied 22 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18599
Monitoring extended hypernode logic
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
View
| DOI
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 |
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18086
DeCAF: Decentralizable CGKA with fast healing
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.
View
| Files available
| DOI
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.
2024 | Published | Journal Article | IST-REx-ID: 15381 |
Hippocampal cholecystokinin-expressing interneurons regulate temporal coding and contextual learning
D.K. Rangel Guerrero, K. Balueva, U. Barayeu, P. Baracskay, I. Gridchyn, M. Nardin, C.N. Roth, P. Wulff, J.L. Csicsvari, Neuron 112 (2024) 2045–2061.e10.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D.K. Rangel Guerrero, K. Balueva, U. Barayeu, P. Baracskay, I. Gridchyn, M. Nardin, C.N. Roth, P. Wulff, J.L. Csicsvari, Neuron 112 (2024) 2045–2061.e10.
2024 | Published | Journal Article | IST-REx-ID: 18655 |
Climbing up a random subgraph of the hypercube
M. Anastos, S. Diskin, D. Elboim, M. Krivelevich, Electronic Communications in Probability 29 (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Anastos, S. Diskin, D. Elboim, M. Krivelevich, Electronic Communications in Probability 29 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18976 |
AsGrad: A sharp unified analysis of asynchronous-SGD algorithms
R. Islamov, M. Safaryan, D.-A. Alistarh, in:, Proceedings of The 27th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2024, pp. 649–657.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
R. Islamov, M. Safaryan, D.-A. Alistarh, in:, Proceedings of The 27th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2024, pp. 649–657.
2024 | Published | Journal Article | IST-REx-ID: 18586 |
The central limit theorem and rate of mixing for simple random walks on the circle
K.S. CZUDEK, D. Dolgopyat, Alea 21 (2024) 1853–1865.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K.S. CZUDEK, D. Dolgopyat, Alea 21 (2024) 1853–1865.
2024 | Published | Journal Article | IST-REx-ID: 17396 |
Wildfires impact on PM2.5 concentration in galicia Spain
C. Quishpe-Vásquez, P. Oliva, E.A. López-Barrera, A. Casallas Garcia, Journal of Environmental Management 367 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Quishpe-Vásquez, P. Oliva, E.A. López-Barrera, A. Casallas Garcia, Journal of Environmental Management 367 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17127 |
Paucity phenomena for polynomial products
V. Wang, M.W. Xu, Bulletin of the London Mathematical Society 56 (2024) 2718–2726.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
V. Wang, M.W. Xu, Bulletin of the London Mathematical Society 56 (2024) 2718–2726.
2024 | Published | Journal Article | IST-REx-ID: 15248 |
Mirror symmetry for parabolic Higgs bundles via p-adic integration
S. Shen, Advances in Mathematics 443 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
S. Shen, Advances in Mathematics 443 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17189
Supergranular-scale solar convection not explained by mixing-length theory
C.S. Hanson, S.B. Das, P. Mani, S. Hanasoge, K.R. Sreenivasan, Nature Astronomy 8 (2024) 1088–1101.
View
| DOI
C.S. Hanson, S.B. Das, P. Mani, S. Hanasoge, K.R. Sreenivasan, Nature Astronomy 8 (2024) 1088–1101.
2024 | Published | Journal Article | IST-REx-ID: 14733 |
Exploring the landscape of heterocyclic quinones for redox flow batteries
R.B. Jethwa, D. Hey, R.N. Kerber, A.D. Bond, D.S. Wright, C.P. Grey, ACS Applied Energy Materials 7 (2024) 414–426.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.B. Jethwa, D. Hey, R.N. Kerber, A.D. Bond, D.S. Wright, C.P. Grey, ACS Applied Energy Materials 7 (2024) 414–426.
2024 | Published | Conference Paper | IST-REx-ID: 17402 |
Playing games with your PET: Extending the Partial Exploration Tool to stochastic games
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.
2024 | Published | Journal Article | IST-REx-ID: 17447 |
Special cubic zeros and the dual variety
V. Wang, Journal of the London Mathematical Society 110 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
V. Wang, Journal of the London Mathematical Society 110 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18528 |
Unveiling complex magnetic field configurations in red giant stars
S.B. Das, L. Einramhof, L.A. Bugnet, Astronomy and Astrophysics 690 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
S.B. Das, L. Einramhof, L.A. Bugnet, Astronomy and Astrophysics 690 (2024).
2024 | Published | Journal Article | IST-REx-ID: 15359 |
Molecular dynamics simulations of heat transport using machine-learned potentials: A mini-review and tutorial on GPUMD with neuroevolution potentials
H. Dong, Y. Shi, P. Ying, K. Xu, T. Liang, Y. Wang, Z. Zeng, X. Wu, W. Zhou, S. Xiong, S. Chen, Z. Fan, Journal of Applied Physics 135 (2024).
[Preprint]
View
| Files available
| DOI
| arXiv
H. Dong, Y. Shi, P. Ying, K. Xu, T. Liang, Y. Wang, Z. Zeng, X. Wu, W. Zhou, S. Xiong, S. Chen, Z. Fan, Journal of Applied Physics 135 (2024).
2024 | Published | Journal Article | IST-REx-ID: 15024 |
Correlation-induced viscous dissipation in concentrated electrolytes
P. Robin, Journal of Chemical Physics 160 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
P. Robin, Journal of Chemical Physics 160 (2024).
2024 | Published | Journal Article | IST-REx-ID: 14986 |
Tamely ramified geometric Langlands correspondence in positive characteristic
S. Shen, International Mathematics Research Notices 2024 (2024) 6176–6208.
[Published Version]
View
| Files available
| DOI
| arXiv
S. Shen, International Mathematics Research Notices 2024 (2024) 6176–6208.