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.
2001 Publications
2023 | Conference Paper | IST-REx-ID: 12467 | 
Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
2023 | Journal Article | IST-REx-ID: 12329 |
New approaches to epidemic modeling on networks
A. Gómez, G. Oliveira, Scientific Reports 13 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
A. Gómez, G. Oliveira, Scientific Reports 13 (2023).
2023 | Journal Article | IST-REx-ID: 12427 |
Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups
F. Balestrieri, Proceedings of the American Mathematical Society 151 (2023) 907–914.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
F. Balestrieri, Proceedings of the American Mathematical Society 151 (2023) 907–914.
2023 | Journal Article | IST-REx-ID: 12542
Going back in time with TEMPO
A. Villalba Requena, S. Hippenmeyer, Neuron 111 (2023) 291–293.
View
| DOI
| WoS
A. Villalba Requena, S. Hippenmeyer, Neuron 111 (2023) 291–293.
2023 | Journal Article | IST-REx-ID: 12566 |
Wait-free approximate agreement on graphs
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
2023 | Journal Article | IST-REx-ID: 12702 |
Thermodynamics of diamond formation from hydrocarbon mixtures in planets
B. Cheng, S. Hamel, M. Bethkenhagen, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Cheng, S. Hamel, M. Bethkenhagen, Nature Communications 14 (2023).
2023 | Journal Article | IST-REx-ID: 12737
Highly adaptive nature of group 15 tris(quinolyl) ligands─studies with coinage metals
Á. García-Romero, J.E. Waters, R.B. Jethwa, A.D. Bond, A.L. Colebatch, R. García-Rodríguez, D.S. Wright, Inorganic Chemistry 62 (2023) 4625–4636.
View
| DOI
| WoS
| PubMed | Europe PMC
Á. García-Romero, J.E. Waters, R.B. Jethwa, A.D. Bond, A.L. Colebatch, R. García-Rodríguez, D.S. Wright, Inorganic Chemistry 62 (2023) 4625–4636.
2023 | Journal Article | IST-REx-ID: 12757 |
From the 'black box' to 'domino effect' mechanism: What have we learned from the structures of respiratory complex I
L.A. Sazanov, The Biochemical Journal 480 (2023) 319–333.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
L.A. Sazanov, The Biochemical Journal 480 (2023) 319–333.
2023 | Journal Article | IST-REx-ID: 12788 |
Topological charges of periodically kicked molecules
V. Karle, A. Ghazaryan, M. Lemeshko, Physical Review Letters 130 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Karle, A. Ghazaryan, M. Lemeshko, Physical Review Letters 130 (2023).
2023 | Journal Article | IST-REx-ID: 12791 |
Reconstructing Rayleigh–Bénard flows out of temperature-only measurements using Physics-Informed Neural Networks
P. Clark Di Leoni, L.N. Agasthya, M. Buzzicotti, L. Biferale, The European Physical Journal E 46 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Clark Di Leoni, L.N. Agasthya, M. Buzzicotti, L. Biferale, The European Physical Journal E 46 (2023).
2023 | Journal Article | IST-REx-ID: 13042 |
A note on long cycles in sparse random graphs
M. Anastos, Electronic Journal of Combinatorics 30 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Anastos, Electronic Journal of Combinatorics 30 (2023).
2023 | Journal Article | IST-REx-ID: 13092 |
Bottom-up synthesis of SnTe-based thermoelectric composites
B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H. Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H. Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.
2023 | Journal Article | IST-REx-ID: 13129 |
Bias in the representative volume element method: Periodize the ensemble instead of its realizations
N. Clozeau, M. Josien, F. Otto, Q. Xu, Foundations of Computational Mathematics (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
N. Clozeau, M. Josien, F. Otto, Q. Xu, Foundations of Computational Mathematics (2023).
2023 | Journal Article | IST-REx-ID: 13138 |
Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).
2023 | Journal Article | IST-REx-ID: 13213 |
Multi-copper oxidases SKU5 and SKS1 coordinate cell wall formation using apoplastic redox-based reactions in roots
C. Chen, Y. Zhang, J. Cai, Y. Qiu, L. Li, C. Gao, Y. Gao, M. Ke, S. Wu, C. Wei, J. Chen, T. Xu, J. Friml, J. Wang, R. Li, D. Chao, B. Zhang, X. Chen, Z. Gao, Plant Physiology 192 (2023) 2243–2260.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Chen, Y. Zhang, J. Cai, Y. Qiu, L. Li, C. Gao, Y. Gao, M. Ke, S. Wu, C. Wei, J. Chen, T. Xu, J. Friml, J. Wang, R. Li, D. Chao, B. Zhang, X. Chen, Z. Gao, Plant Physiology 192 (2023) 2243–2260.
2023 | Journal Article | IST-REx-ID: 13237
Amyloid formation as a protein phase transition
T.C.T. Michaels, D. Qian, A. Šarić, M. Vendruscolo, S. Linse, T.P.J. Knowles, Nature Reviews Physics 5 (2023) 379–397.
View
| DOI
| WoS
T.C.T. Michaels, D. Qian, A. Šarić, M. Vendruscolo, S. Linse, T.P.J. Knowles, Nature Reviews Physics 5 (2023) 379–397.
2023 | Journal Article | IST-REx-ID: 13232 |
Design and immunogenicity of SARS-CoV-2 DNA vaccine encoding RBD-PVXCP fusion protein
D. Dormeshkin, M. Katsin, M. Stegantseva, S. Golenchenko, M. Shapira, S. Dubovik, D. Lutskovich, A. Kavaleuski, A. Meleshko, Vaccines 11 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
D. Dormeshkin, M. Katsin, M. Stegantseva, S. Golenchenko, M. Shapira, S. Dubovik, D. Lutskovich, A. Kavaleuski, A. Meleshko, Vaccines 11 (2023).
2023 | Journal Article | IST-REx-ID: 13235
Surface chemistry and band engineering in AgSbSe₂: Toward high thermoelectric performance
Y. Liu, M. Li, S. Wan, K.H. Lim, Y. Zhang, M. Li, J. Li, M. Ibáñez, M. Hong, A. Cabot, ACS Nano 17 (2023) 11923–11934.
View
| DOI
| WoS
| PubMed | Europe PMC
Y. Liu, M. Li, S. Wan, K.H. Lim, Y. Zhang, M. Li, J. Li, M. Ibáñez, M. Hong, A. Cabot, ACS Nano 17 (2023) 11923–11934.
2023 | Journal Article | IST-REx-ID: 13256 |
An assessment of the ENSO-monsoon teleconnection in a warming climate
B.B. GOSWAMI, S.I. An, Npj Climate and Atmospheric Science 6 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
B.B. GOSWAMI, S.I. An, Npj Climate and Atmospheric Science 6 (2023).
2023 | Preprint | IST-REx-ID: 13447 |
Asteroseismology with the Roman galactic bulge time-domain survey
Huber D, Pinsonneault M, Beck P, Bedding TR, Joss Bland-Hawthorn JB-H, Breton SN, Bugnet LA, Chaplin WJ, Garcia RA, Grunblatt SK, Guzik JA, Hekker S, Kawaler SD, Mathis S, Mathur S, Metcalfe T, Mosser B, Ness MK, Piro AL, Serenelli A, Sharma S, Soderblom DR, Stassun KG, Stello D, Tayar J, Belle GT van, Zinn JC. Asteroseismology with the Roman galactic bulge time-domain survey. arXiv, 2307.03237.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Huber D, Pinsonneault M, Beck P, Bedding TR, Joss Bland-Hawthorn JB-H, Breton SN, Bugnet LA, Chaplin WJ, Garcia RA, Grunblatt SK, Guzik JA, Hekker S, Kawaler SD, Mathis S, Mathur S, Metcalfe T, Mosser B, Ness MK, Piro AL, Serenelli A, Sharma S, Soderblom DR, Stassun KG, Stello D, Tayar J, Belle GT van, Zinn JC. Asteroseismology with the Roman galactic bulge time-domain survey. arXiv, 2307.03237.