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 | OA
Zeng Z, Shen X, Cheng R, et al. Pushing thermal conductivity to its lower limit in crystals with simple structures. Nature Communications. 2024;15. doi:10.1038/s41467-024-46799-3
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15312 | OA
Browning TD, Shparlinski IE. Square-free values of random polynomials. Journal of Number Theory. 2024;261:220-240. doi:10.1016/j.jnt.2024.02.013
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 | Conference Paper | IST-REx-ID: 15333 | OA
Chalupa M, Richter C. Bubaak-SpLit: Split what you cannot verify (Competition contribution). In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:353–358. doi:10.1007/978-3-031-57256-2_20
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15348
Mahato N, Singh S, Sreekanth TVM, Yoo K, Kim J. In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage. Materials Letters. 2024;365. doi:10.1016/j.matlet.2024.136483
View | DOI
 

2024 | Journal Article | IST-REx-ID: 15358 | OA
Barton NH, Sachdeva H. Limits to selection on standing variation in an asexual population. Theoretical Population Biology. 2024;157:129-137. doi:10.1016/j.tpb.2024.04.001
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 15372 | OA
Hibshman GN, Bravo JPK, Hooper MM, et al. Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Cas9. Nature Communications. 2024;15. doi:10.1038/s41467-024-47830-3
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12158 | OA
Zeller P, Yeung J, Viñas Gaza H, et al. Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. 2023;55:333-345. doi:10.1038/s41588-022-01260-3
[Published Version] View | Files available | DOI
 

2023 | Book Chapter | IST-REx-ID: 12720
Arroyo-Urea S, Watson J, García-Nafría J. Molecular Cloning Using In Vivo DNA Assembly. In: Scarlett G, ed. DNA Manipulation and Analysis. Vol 2633. MIMB. New York, NY, United States: Springer Nature; 2023:33-44. doi:10.1007/978-1-0716-3004-4_3
View | DOI | PubMed | Europe PMC
 

2023 | Conference Poster | IST-REx-ID: 12736 | OA
Aksenov V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 12854 | OA
Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32
[Published Version] View | Files available | DOI
 

Filters and Search Terms

isbn%3D978-3-95977-087-3

Search

Filter Publications