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.
10506 Publications
2024 | Submitted | Conference Paper | IST-REx-ID: 17053
Ternary simulation as abstract interpretation (Work in Progress)
N. Froleyks, E. Yu, A. Biere, in:, 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, n.d., pp. 148–151.
View
N. Froleyks, E. Yu, A. Biere, in:, 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, n.d., pp. 148–151.
2024 | Published | Journal Article | IST-REx-ID: 17089 | 
Phase locking of hippocampal CA3 neurons to distal CA1 theta oscillations selectively predicts memory performance
S.P. Ku, E. Atucha, N. Alavi, H. Mulla-Osman, R. Kayumova, M. Yoshida, J.L. Csicsvari, M.M. Sauvage, Cell Reports 43 (2024).
[Published Version]
View
| Files available
| DOI
S.P. Ku, E. Atucha, N. Alavi, H. Mulla-Osman, R. Kayumova, M. Yoshida, J.L. Csicsvari, M.M. Sauvage, Cell Reports 43 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17090
Strong damped Lyman-a absorption in young star-forming galaxies at redshifts 9 to 11
Heintz KE, Watson D, Brammer G, Vejlgaard S, Hutter A, Strait VB, Matthee JJ, Oesch PA, Jakobsson P, Tanvir NR, Laursen P, Naidu RP, Mason CA, Killi M, Jung I, Hsiao TYY, Abdurro’Uf U, Coe D, Haro PA, Finkelstein SL, Toft S. 2024. Strong damped Lyman-a absorption in young star-forming galaxies at redshifts 9 to 11. Science. 384(6698), 890–894.
View
| DOI
| PubMed | Europe PMC
Heintz KE, Watson D, Brammer G, Vejlgaard S, Hutter A, Strait VB, Matthee JJ, Oesch PA, Jakobsson P, Tanvir NR, Laursen P, Naidu RP, Mason CA, Killi M, Jung I, Hsiao TYY, Abdurro’Uf U, Coe D, Haro PA, Finkelstein SL, Toft S. 2024. Strong damped Lyman-a absorption in young star-forming galaxies at redshifts 9 to 11. Science. 384(6698), 890–894.
2024 | Published | Journal Article | IST-REx-ID: 17091
Mapping the brain’s gene-regulatory maze
G. Novarino, C. Bock, Science 384 (2024) 860–861.
View
| DOI
| PubMed | Europe PMC
G. Novarino, C. Bock, Science 384 (2024) 860–861.
2024 | Published | Journal Article | IST-REx-ID: 17092 |
Intrinsic neural excitability biases allocation and overlap of memory engrams
G. Delamare, D. Feitosa Tomé, C. Clopath, Journal of Neuroscience 44 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
G. Delamare, D. Feitosa Tomé, C. Clopath, Journal of Neuroscience 44 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 17093 |
Communication-efficient federated learning with data and client heterogeneity
H. Zakerinia, S. Talaei, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 27th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2024, pp. 3448–3456.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
H. Zakerinia, S. Talaei, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 27th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2024, pp. 3448–3456.
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: 17098 |
Deterministic sub-exponential algorithm for discounted-sum games with unary weights
A. Asadi, K. Chatterjee, J. Svoboda, R.J. Saona Urmeneta, in:, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery, 2024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Asadi, K. Chatterjee, J. Svoboda, R.J. Saona Urmeneta, in:, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery, 2024.
2024 | Submitted | Preprint | IST-REx-ID: 17101 |
Zero-sum random games on directed graphs
L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, ArXiv (n.d.).
2024 | Published | Journal Article | IST-REx-ID: 17103 |
Phytoalexin sakuranetin attenuates endocytosis and enhances resistance to rice blast
Jiang L, Zhang X, Zhao Y, Zhu H, Fu Q, Lu X, Huang W, Yang X, Zhou X, Wu L, Yang A, He X, Dong M, Peng Z, Yang J, Guo L, Wen J, Huang H, Xie Y, Zhu S, Li C, He X, Zhu Y, Friml J, Du Y. 2024. Phytoalexin sakuranetin attenuates endocytosis and enhances resistance to rice blast. Nature Communications. 15, 3437.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Jiang L, Zhang X, Zhao Y, Zhu H, Fu Q, Lu X, Huang W, Yang X, Zhou X, Wu L, Yang A, He X, Dong M, Peng Z, Yang J, Guo L, Wen J, Huang H, Xie Y, Zhu S, Li C, He X, Zhu Y, Friml J, Du Y. 2024. Phytoalexin sakuranetin attenuates endocytosis and enhances resistance to rice blast. Nature Communications. 15, 3437.
2024 | Published | Journal Article | IST-REx-ID: 17104 |
Mechanically-driven stem cell separation in tissues caused by proliferating daughter cells
J.C. Krämer, E.B. Hannezo, G. Gompper, J. Elgeti, SciPost Physics 16 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
J.C. Krämer, E.B. Hannezo, G. Gompper, J. Elgeti, SciPost Physics 16 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17105 |
Orthogonal photoswitching in a porous organic framework
J. Sheng, J. Perego, S. Bracco, P. Cieciórski, W. Danowski, A. Comotti, B.L. Feringa, Angewandte Chemie International Edition 63 (2024).
[Published Version]
View
| Files available
| DOI
J. Sheng, J. Perego, S. Bracco, P. Cieciórski, W. Danowski, A. Comotti, B.L. Feringa, Angewandte Chemie International Edition 63 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17113 |
Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Cas9
G.N. Hibshman, J.P.K. Bravo, M.M. Hooper, T.L. Dangerfield, H. Zhang, I.J. Finkelstein, K.A. Johnson, D.W. Taylor, Nature Communications 15 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
G.N. Hibshman, J.P.K. Bravo, M.M. Hooper, T.L. Dangerfield, H. Zhang, I.J. Finkelstein, K.A. Johnson, D.W. Taylor, Nature Communications 15 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17114 |
RNA targeting and cleavage by the type III-Dv CRISPR effector complex
E.A. Schwartz, J.P.K. Bravo, M. Ahsan, L.A. Macias, C.L. McCafferty, T.L. Dangerfield, J.N. Walker, J.S. Brodbelt, G. Palermo, P.C. Fineran, R.D. Fagerlund, D.W. Taylor, Nature Communications 15 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E.A. Schwartz, J.P.K. Bravo, M. Ahsan, L.A. Macias, C.L. McCafferty, T.L. Dangerfield, J.N. Walker, J.S. Brodbelt, G. Palermo, P.C. Fineran, R.D. Fagerlund, D.W. Taylor, Nature Communications 15 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17122 |
The association between maximal muscle strength, disease severity and psychopharmacotherapy among young to middle-aged inpatients with affective disorders – a prospective pilot study
H. Ramming, L. Theuerkauf, O. Hoos, K. Lichter, S. Kittel-Schneider, BMC Psychiatry 24 (2024).
[Published Version]
View
| Files available
| DOI
H. Ramming, L. Theuerkauf, O. Hoos, K. Lichter, S. Kittel-Schneider, BMC Psychiatry 24 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 17126 |
Lower bounds for lattice-based compact functional encryption
E. Tairi, A. Ünal, in:, Advances in Cryptology – EUROCRYPT 2024, Springer Nature, 2024, pp. 249–279.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
E. Tairi, A. Ünal, in:, Advances in Cryptology – EUROCRYPT 2024, Springer Nature, 2024, pp. 249–279.
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 | Submitted | Preprint | IST-REx-ID: 17136 |
Majority dynamics and internal partitions of random regular graphs: Experimental results
P. Arkhipov, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Arkhipov, ArXiv (n.d.).
2024 | Published | Conference Abstract | IST-REx-ID: 17139 |
How much memory per CPU core is requested?
A. Schlögl, W. Khalid, S. Elefante, S. Stadlbauer, in:, ASHPC24 - Austrian-Slovenian HPC Meeting 2024, EuroCC Austria, 2024, p. 46.
[Published Version]
View
| Files available
| DOI
A. Schlögl, W. Khalid, S. Elefante, S. Stadlbauer, in:, ASHPC24 - Austrian-Slovenian HPC Meeting 2024, EuroCC Austria, 2024, p. 46.
2024 | Published | Journal Article | IST-REx-ID: 17143 |
Local conditions for global convergence of gradient flows and proximal point sequences in metric spaces
L. Dello Schiavo, J. Maas, F. Pedrotti, Transactions of the American Mathematical Society 377 (2024) 3779–3804.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
L. Dello Schiavo, J. Maas, F. Pedrotti, Transactions of the American Mathematical Society 377 (2024) 3779–3804.