Zeng, Z., Shen, X., Cheng, R., Perez, O., Ouyang, N., Fan, Z.,https://doi.org/10.1038/s41467-024-46799-3__Chen, Y. (2024). Pushing thermal conductivity to its lower limit in crystals with simple structures. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-024-46799-3 

Browning, T. D., &; Shparlinski, I. E. (2024). Square-free values of random polynomials. Journal of Number Theory. Elsevier.https://doi.org/10.1016/j.jnt.2024.02.013 

Chalupa, M., &; Richter, C. (2024). 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, pp. 353–358). Luxembourg City, Luxembourg: Springer Nature.https://doi.org/10.1007/978-3-031-57256-2_20 

Mahato, N., Singh, S., Sreekanth, T. V. M., Yoo, K., &; Kim, J. (2024). In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage. Materials Letters. Elsevier.https://doi.org/10.1016/j.matlet.2024.136483 

Barton, N. H., &; Sachdeva, H. (2024). Limits to selection on standing variation in an asexual population. Theoretical Population Biology. Elsevier.https://doi.org/10.1016/j.tpb.2024.04.001 

Hibshman, G. N., Bravo, J. P. K., Hooper, M. M., Dangerfield, T. L., Zhang, H., Finkelstein, I. J.,https://doi.org/10.1038/s41467-024-47830-3__Taylor, D. W. (2024). Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Ca. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-024-47830-3 

Avni, G., Mallik, K., &; Sadhukhan, S. (2024). Auction-based scheduling. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 153–172). Luxembourg City, Luxembourg: Springer Nature.https://doi.org/10.1007/978-3-031-57256-2_8 

Majumdar, R., Saflam, I., &; Thejaswini, K. S. (2024). Rabin games and colourful universal trees. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 213–231). Springer Nature.https://doi.org/10.1007/978-3-031-57256-2_11 

Schanda, P. (2024). Raw data to “MAS NMR experiments of corynebacterial cell walls: complementary 1H- and CPMAS CryoProbe-enhanced 13C-detected experiments.”https://doi.org/10.15479/AT:ISTA:17042__ISTA.https://doi.org/10.15479/AT:ISTA:17042 

Auerbach, B., Günther, C. U., &; Pietrzak, K. Z. (2024). Trapdoor memory-hard functions. In 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques (Vol. 14653, pp. 315–344). Zurich, Switzerland: Springer Nature.https://doi.org/10.1007/978-3-031-58734-4_11 

Zakerinia, H., Talaei, S., Nadiradze, G., &; Alistarh, D.-A. (2024). Communication-efficient federated learning with data and client heterogeneity. In Proceedings of the 27th International Conference on Artificial Intelligence and Statistics (Vol. 238, pp. 3448–3456). Valencia, Spain: ML Research Press.

Hibshman, G. N., Bravo, J. P. K., Hooper, M. M., Dangerfield, T. L., Zhang, H., Finkelstein, I. J.,https://doi.org/10.1038/s41467-024-47830-3__Taylor, D. W. (2024). Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Ca. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-024-47830-3 

Tairi, E., &; Ünal, A. (2024). Lower bounds for lattice-based compact functional encryption. In Advances in Cryptology – EUROCRYPT 2024 (Vol. 14652, pp. 249–279). Zurich, Switzerland: Springer Nature.https://doi.org/10.1007/978-3-031-58723-8_9 

Zeller, P., Yeung, J., Viñas Gaza, H., de Barbanson, B. A., Bhardwaj, V., Florescu, M.,https://doi.org/10.1038/s41588-022-01260-3__van Oudenaarden, A. (2023). Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. Springer Nature.https://doi.org/10.1038/s41588-022-01260-3 

Arroyo-Urea, S., Watson, J., &; García-Nafría, J. (2023). Molecular Cloning Using In Vivo DNA Assembly. In G. Scarlett (Ed.), DNA Manipulation and Analysis (Vol. 2633, pp. 33–44). New York, NY, United States: Springer Nature.https://doi.org/10.1007/978-1-0716-3004-4_3 

Aksenov, V., Brown, T. A., Fedorov, A., &; Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery.https://doi.org/10.1145/3572848.3577512 

Chalupa, M., &; Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30820-8_32 

Chalupa, M., Mühlböck, F., Muroya Lei, S., &; Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30826-0_15 

Hoffmann, C., Hubádek, P., Kamath, C., &; Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature.https://doi.org/10.1007/978-3-031-31368-4_19 

Chatterjee, K., Henzinger, T. A., Lechner, M., &; Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems  (Vol. 13993, pp. 3–25). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30823-9_1