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.
1608 Publications
2024 | Journal Article | IST-REx-ID: 15311 | 
Z. Zeng et al., “Pushing thermal conductivity to its lower limit in crystals with simple structures,” Nature Communications, vol. 15. Springer Nature, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15312 |
T. D. Browning and I. E. Shparlinski, “Square-free values of random polynomials,” Journal of Number Theory, vol. 261. Elsevier, pp. 220–240, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Conference Paper | IST-REx-ID: 15333 |
M. Chalupa and C. Richter, “Bubaak-SpLit: Split what you cannot verify (Competition contribution),” in 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, 2024, vol. 14572, pp. 353–358.
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15348
N. Mahato, S. Singh, T. V. M. Sreekanth, K. Yoo, and J. Kim, “In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage,” Materials Letters, vol. 365. Elsevier, 2024.
View
| DOI
2024 | Journal Article | IST-REx-ID: 15358 |
N. H. Barton and H. Sachdeva, “Limits to selection on standing variation in an asexual population,” Theoretical Population Biology, vol. 157. Elsevier, pp. 129–137, 2024.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15372 |
G. N. Hibshman et al., “Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Cas9,” Nature Communications, vol. 15. Springer Nature, 2024.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12158 |
P. Zeller et al., “Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis,” Nature Genetics, vol. 55. Springer Nature, pp. 333–345, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Book Chapter | IST-REx-ID: 12720
S. Arroyo-Urea, J. Watson, and J. García-Nafría, “Molecular Cloning Using In Vivo DNA Assembly,” in DNA Manipulation and Analysis, vol. 2633, G. Scarlett, Ed. New York, NY, United States: Springer Nature, 2023, pp. 33–44.
View
| DOI
| PubMed | Europe PMC
2023 | Conference Poster | IST-REx-ID: 12736 |
V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, Unexpected scaling in path copying trees. Association for Computing Machinery, 2023, pp. 438–440.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12854 |
M. Chalupa and T. A. Henzinger, “Bubaak: Runtime monitoring of program verifiers,” in Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 535–540.
[Published Version]
View
| Files available
| DOI