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.
1788 Publications
2024 | Journal Article | IST-REx-ID: 15358 | 
Barton, Nicholas H., and Himani Sachdeva. “Limits to Selection on Standing Variation in an Asexual Population.” Theoretical Population Biology, vol. 157, Elsevier, 2024, pp. 129–37, doi:10.1016/j.tpb.2024.04.001.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15372 |
Hibshman, Grace N., et al. “Unraveling the Mechanisms of PAMless DNA Interrogation by SpRY-Cas9.” Nature Communications, vol. 15, 3663, Springer Nature, 2024, doi:10.1038/s41467-024-47830-3.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Conference Paper | IST-REx-ID: 15376 |
Avni, Guy, et al. “Auction-Based Scheduling.” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 153–72, doi:10.1007/978-3-031-57256-2_8.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Conference Paper | IST-REx-ID: 15377 |
Majumdar, Rupak, et al. “Rabin Games and Colourful Universal Trees.” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 213–31, doi:10.1007/978-3-031-57256-2_11.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Research Data | IST-REx-ID: 17042 |
Schanda, Paul. Raw Data to “MAS NMR Experiments of Corynebacterial Cell Walls: Complementary 1H- and CPMAS CryoProbe-Enhanced 13C-Detected Experiments.” ISTA, 2024, doi:10.15479/AT:ISTA:17042.
View
| Files available
| DOI
2024 | Conference Paper | IST-REx-ID: 17051 |
Auerbach, Benedikt, et al. “Trapdoor Memory-Hard Functions.” 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, vol. 14653, Springer Nature, 2024, pp. 315–44, doi:10.1007/978-3-031-58734-4_11.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2024 | Conference Paper | IST-REx-ID: 17093 |
Zakerinia, Hossein, et al. “Communication-Efficient Federated Learning with Data and Client Heterogeneity.” Proceedings of the 27th International Conference on Artificial Intelligence and Statistics, vol. 238, ML Research Press, 2024, pp. 3448–56.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 17090
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
2024 | Journal Article | IST-REx-ID: 17113 |
Hibshman, Grace N., et al. “Unraveling the Mechanisms of PAMless DNA Interrogation by SpRY-Cas9.” Nature Communications, vol. 15, 3663, Springer Nature, 2024, doi:10.1038/s41467-024-47830-3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Conference Paper | IST-REx-ID: 17126 |
Tairi, Erkan, and Akin Ünal. “Lower Bounds for Lattice-Based Compact Functional Encryption.” Advances in Cryptology – EUROCRYPT 2024, vol. 14652, Springer Nature, 2024, pp. 249–79, doi:10.1007/978-3-031-58723-8_9.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Journal Article | IST-REx-ID: 12158 |
Zeller, Peter, et al. “Single-Cell SortChIC Identifies Hierarchical Chromatin Dynamics during Hematopoiesis.” Nature Genetics, vol. 55, Springer Nature, 2023, pp. 333–45, doi:10.1038/s41588-022-01260-3.
[Published Version]
View
| Files available
| DOI
2023 | Book Chapter | IST-REx-ID: 12720
Arroyo-Urea, Sandra, et al. “Molecular Cloning Using In Vivo DNA Assembly.” DNA Manipulation and Analysis, edited by Garry Scarlett, vol. 2633, Springer Nature, 2023, pp. 33–44, doi:10.1007/978-1-0716-3004-4_3.
View
| DOI
| PubMed | Europe PMC
2023 | Conference Poster | IST-REx-ID: 12736 |
Aksenov, Vitaly, et al. “Unexpected Scaling in Path Copying Trees.” Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 438–40, doi:10.1145/3572848.3577512.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12854 |
Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 535–40, doi:10.1007/978-3-031-30820-8_32.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12856 |
Chalupa, Marek, et al. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” Fundamental Approaches to Software Engineering, vol. 13991, Springer Nature, 2023, pp. 260–81, doi:10.1007/978-3-031-30826-0_15.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13143 |
Hoffmann, Charlotte, et al. “Certifying Giant Nonprimes.” Public-Key Cryptography - PKC 2023, vol. 13940, Springer Nature, 2023, pp. 530–53, doi:10.1007/978-3-031-31368-4_19.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Conference Paper | IST-REx-ID: 13142 |
Chatterjee, Krishnendu, et al. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” Tools and Algorithms for the Construction and Analysis of Systems , vol. 13993, Springer Nature, 2023, pp. 3–25, doi:10.1007/978-3-031-30823-9_1.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13141 |
Anand, Ashwani, et al. “Computing Adequately Permissive Assumptions for Synthesis.” TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 211–28, doi:10.1007/978-3-031-30820-8_15.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12467 |
Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12329 |
Gómez, Arturo, and Goncalo Oliveira. “New Approaches to Epidemic Modeling on Networks.” Scientific Reports, vol. 13, 468, Springer Nature, 2023, doi:10.1038/s41598-022-19827-9.
[Published Version]
View
| Files available
| DOI
| WoS