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 .
LibreCat: https://research-explorer.ista.ac.at/record/15358
DOI: 10.1016/j.tpb.2024.04.001
PMID: 38643838

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 .
LibreCat: https://research-explorer.ista.ac.at/record/15372
DOI: 10.1038/s41467-024-47830-3
PMID: 38688943

Yue, Minghao, Anna Christina Eilers, Robert A. Simcoe, Ruari Mackenzie, Jorryt J Matthee, Daichi Kashino, Rongmon Bordoloi, Simon J. Lilly, and Rohan P. Naidu. “EIGER. V. Characterizing the Host Galaxies of Luminous Quasars at zhttps://doi.org/10.3847/1538-4357/ad3914__6.”https://doi.org/10.3847/1538-4357/ad3914__Astrophysical Journal. IOP Publishing, 2024.https://doi.org/10.3847/1538-4357/ad3914 .
LibreCat: https://research-explorer.ista.ac.at/record/15405
DOI: 10.3847/1538-4357/ad3914

Savchenko, M. L., J. Gospodarid, A. Shuvaev, I. A. Dmitriev, Vlad Dziom, A. A. Dobretsova, N. N. Mikhailov, Z. D. Kvon, and A. Pimenov. “Optical Shubnikov-de Haas Oscillations in Two-Dimensional Electron Systems.”https://doi.org/10.1103/PhysRevResearch.6.L022027__Physical Review Research. American Physical Society, 2024.https://doi.org/10.1103/PhysRevResearch.6.L022027 .
LibreCat: https://research-explorer.ista.ac.at/record/15406
DOI: 10.1103/PhysRevResearch.6.L022027
arXiv: 2402.05879

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 .
LibreCat: https://research-explorer.ista.ac.at/record/15376
DOI: 10.1007/978-3-031-57256-2_8
arXiv: 2310.11798

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 .
LibreCat: https://research-explorer.ista.ac.at/record/15377
DOI: 10.1007/978-3-031-57256-2_11
arXiv: 2401.07548

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 .
LibreCat: https://research-explorer.ista.ac.at/record/17042
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/17051
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/12158
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/12720
DOI: 10.1007/978-1-0716-3004-4_3
PMID: 36853454

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/13143
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/13142
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/13141
DOI: 10.1007/978-3-031-30820-8_15

Edelsbrunner, Herbert, and Georg F Osang. “A Simple Algorithm for Higher-Order Delaunay Mosaics and Alpha Shapes.”https://doi.org/10.1007/s00453-022-01027-6__Algorithmica. Springer Nature, 2023.https://doi.org/10.1007/s00453-022-01027-6 .
LibreCat: https://research-explorer.ista.ac.at/record/12086
DOI: 10.1007/s00453-022-01027-6
WoS: 000846967100001

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12737
DOI: 10.1021/acs.inorgchem.3c00057
WoS: 000956110300001
PMID: 36883367

Karle, Volker, Areg Ghazaryan, and Mikhail Lemeshko. “Topological Charges of Periodically Kicked Molecules.”https://doi.org/10.1103/PhysRevLett.130.103202__Physical Review Letters. American Physical Society, 2023.https://doi.org/10.1103/PhysRevLett.130.103202 .
LibreCat: https://research-explorer.ista.ac.at/record/12788
DOI: 10.1103/PhysRevLett.130.103202
WoS: 000957635500003
arXiv: 2206.07067