Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5082 Publications
2023 | Journal Article | IST-REx-ID: 14716 | 
Machine learning and phylogenetic analysis allow for predicting antibiotic resistance in M. tuberculosis
A. Yurtseven, S. Buyanova, A.A.A. Agrawal, O. Bochkareva, O.V.V. Kalinina, BMC Microbiology 23 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Yurtseven, S. Buyanova, A.A.A. Agrawal, O. Bochkareva, O.V.V. Kalinina, BMC Microbiology 23 (2023).
2023 | Conference Paper | IST-REx-ID: 14718 |
Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
2023 | Journal Article | IST-REx-ID: 14717 |
Equidistribution of primitive lattices in ℝn
T. Horesh, Y. Karasik, Quarterly Journal of Mathematics 74 (2023) 1253–1294.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Horesh, Y. Karasik, Quarterly Journal of Mathematics 74 (2023) 1253–1294.
2023 | Journal Article | IST-REx-ID: 14719
Nanostructured Li₂S cathodes for silicon-sulfur batteries
H. Mollania, C. Zhang, R. Du, X. Qi, J. Li, S. Horta, M. Ibáñez, C. Keller, P. Chenevier, M. Oloomi-Buygi, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 58462–58475.
View
| DOI
H. Mollania, C. Zhang, R. Du, X. Qi, J. Li, S. Horta, M. Ibáñez, C. Keller, P. Chenevier, M. Oloomi-Buygi, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 58462–58475.
2023 | Journal Article | IST-REx-ID: 14715 |
Exponential decay of the number of excitations in the weakly interacting Bose gas
D.J. Mitrouskas, P. Pickl, Journal of Mathematical Physics 64 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
D.J. Mitrouskas, P. Pickl, Journal of Mathematical Physics 64 (2023).
2023 | Journal Article | IST-REx-ID: 14240 |
Generalizing shallow water simulations with dispersive surface waves
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 42 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 42 (2023).
2023 | Journal Article | IST-REx-ID: 14710 |
A computational toolbox for the assembly yield of complex and heterogeneous structures
A.I. Curatolo, O. Kimchi, C.P. Goodrich, R.K. Krueger, M.P. Brenner, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
A.I. Curatolo, O. Kimchi, C.P. Goodrich, R.K. Krueger, M.P. Brenner, Nature Communications 14 (2023).
2023 | Journal Article | IST-REx-ID: 14709 |
Auxin research: Creating tools for a greener future
M. Del Bianco, J. Friml, L. Strader, S. Kepinski, Journal of Experimental Botany 74 (2023) 6889–6892.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Del Bianco, J. Friml, L. Strader, S. Kepinski, Journal of Experimental Botany 74 (2023) 6889–6892.
2023 | Journal Article | IST-REx-ID: 12833 |
Token swapping on trees
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, Discrete Mathematics and Theoretical Computer Science 24 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, Discrete Mathematics and Theoretical Computer Science 24 (2023).
2023 | Conference Paper | IST-REx-ID: 14735 |
Executing and proving over dirty ledgers
C. Stefo, Z. Xiang, E. Kokoris Kogias, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 3–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Stefo, Z. Xiang, E. Kokoris Kogias, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 3–20.