Zeng, Zezhu, Xingchen Shen, Ruihuan Cheng, Olivier Perez, Niuchang Ouyang, Zheyong Fan, Pierric Lemoine, Bernard Raveau, Emmanuel Guilmeau, and Yue Chen. “Pushing Thermal Conductivity to Its Lower Limit in Crystals with Simple Structures.”https://doi.org/10.1038/s41467-024-46799-3__Nature Communications. Springer Nature, 2024.https://doi.org/10.1038/s41467-024-46799-3 .

Browning, Timothy D, and Igor E. Shparlinski. “Square-Free Values of Random Polynomials.”https://doi.org/10.1016/j.jnt.2024.02.013__Journal of Number Theory. Elsevier, 2024.https://doi.org/10.1016/j.jnt.2024.02.013 .

Chalupa, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).”https://doi.org/10.1007/978-3-031-57256-2_20__In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:353–358. Springer Nature, 2024.https://doi.org/10.1007/978-3-031-57256-2_20 .

Mahato, Neelima, Saurabh Singh, T. V.M. Sreekanth, Kisoo Yoo, and Jonghoon Kim. “In-Situ Engineered Highly Crystalline Polythiophene Empowered Electrochemical Capacitor-I: Synthesis, Characterization, and Electrochemical Charge Storage.”https://doi.org/10.1016/j.matlet.2024.136483__Materials Letters. Elsevier, 2024.https://doi.org/10.1016/j.matlet.2024.136483 .

Barton, Nicholas H, and Himani Sachdeva. “Limits to Selection on Standing Variation in an Asexual Population.”https://doi.org/10.1016/j.tpb.2024.04.001__Theoretical Population Biology. Elsevier, 2024.https://doi.org/10.1016/j.tpb.2024.04.001 .

Hibshman, Grace N., Jack Peter Kelly Bravo, Matthew M. Hooper, Tyler L. Dangerfield, Hongshan Zhang, Ilya J. Finkelstein, Kenneth A. Johnson, and David W. Taylor. “Unraveling the Mechanisms of PAMless DNA Interrogation by SpRY-Ca.”https://doi.org/10.1038/s41467-024-47830-3__Nature Communications. Springer Nature, 2024.https://doi.org/10.1038/s41467-024-47830-3 .

Avni, Guy, Kaushik Mallik, and Suman Sadhukhan. “Auction-Based Scheduling.”https://doi.org/10.1007/978-3-031-57256-2_8__In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:153–72. Springer Nature, 2024.https://doi.org/10.1007/978-3-031-57256-2_8 .

Majumdar, Rupak, Irmak Saflam, and K. S. Thejaswini. “Rabin Games and Colourful Universal Trees.”https://doi.org/10.1007/978-3-031-57256-2_11__In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:213–31. Springer Nature, 2024.https://doi.org/10.1007/978-3-031-57256-2_11 .

Schanda, Paul. “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, 2024.https://doi.org/10.15479/AT:ISTA:17042 .

Auerbach, Benedikt, Christoph Ullrich Günther, and Krzysztof Z Pietrzak. “Trapdoor Memory-Hard Functions.”https://doi.org/10.1007/978-3-031-58734-4_11__In 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, 14653:315–44. Springer Nature, 2024.https://doi.org/10.1007/978-3-031-58734-4_11 .

Zeller, Peter, Jake Yeung, Helena Viñas Gaza, Buys Anton de Barbanson, Vivek Bhardwaj, Maria Florescu, Reinier van der Linden, and Alexander van Oudenaarden. “Single-Cell SortChIC Identifies Hierarchical Chromatin Dynamics during Hematopoiesis.”https://doi.org/10.1038/s41588-022-01260-3__Nature Genetics. Springer Nature, 2023.https://doi.org/10.1038/s41588-022-01260-3 .

Arroyo-Urea, Sandra, Jake Watson, and Javier García-Nafría. “Molecular Cloning Using In Vivo DNA Assembly.”https://doi.org/10.1007/978-1-0716-3004-4_3__In DNA Manipulation and Analysis, edited by Garry Scarlett, 2633:33–44. MIMB. New York, NY, United States: Springer Nature, 2023.https://doi.org/10.1007/978-1-0716-3004-4_3 .

Aksenov, Vitaly, Trevor A Brown, Alexander Fedorov, and Ilya Kokorin. Unexpected Scaling in Path Copying Trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, 2023.https://doi.org/10.1145/3572848.3577512 .

Chalupa, Marek, and Thomas A Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.”https://doi.org/10.1007/978-3-031-30820-8_32__In Tools and Algorithms for the Construction and Analysis of Systems, 13994:535–40. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30820-8_32 .

Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. “Vamos: Middleware for Best-Effort Third-Party Monitoring.”https://doi.org/10.1007/978-3-031-30826-0_15__In Fundamental Approaches to Software Engineering, 13991:260–81. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30826-0_15 .

Hoffmann, Charlotte, Pavel Hubádek, Chethan Kamath, and Krzysztof Z Pietrzak. “Certifying Giant Nonprimes.”https://doi.org/10.1007/978-3-031-31368-4_19__In Public-Key Cryptography - PKC 2023, 13940:530–53. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-31368-4_19 .

Chatterjee, Krishnendu, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.”https://doi.org/10.1007/978-3-031-30823-9_1__In Tools and Algorithms for the Construction and Analysis of Systems , 13993:3–25. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30823-9_1 .

Anand, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.”https://doi.org/10.1007/978-3-031-30820-8_15__In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13994:211–28. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30820-8_15 .

Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Safety and Liveness.”https://doi.org/10.1007/978-3-031-30829-1_17__In 26th International Conference Foundations of Software Science and Computation Structures, 13992:349–70. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30829-1_17 .

García-Romero, Álvaro, Jessica E. Waters, Rajesh B Jethwa, Andrew D. Bond, Annie L. Colebatch, Raúl García-Rodríguez, and Dominic S. Wright. “Highly Adaptive Nature of Group 15 Tris(Quinolyl) Ligandsstudies with Coinage Metals.”https://doi.org/10.1021/acs.inorgchem.3c00057__Inorganic Chemistry. American Chemical Society, 2023.https://doi.org/10.1021/acs.inorgchem.3c00057 .