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

Ljubotina, Marko, Jean Yves Desaules, Maksym Serbyn, and Zlatko Papi. “Superdiffusive Energy Transport in Kinetically Constrained Models.”https://doi.org/10.1103/PhysRevX.13.011033__Physical Review X. American Physical Society, 2023.https://doi.org/10.1103/PhysRevX.13.011033 .
LibreCat: https://research-explorer.ista.ac.at/record/12839
DOI: 10.1103/PhysRevX.13.011033
WoS: 000957625700001

Liu, Zhenyuan, Michael Piovarci, Christian Hafner, Raphael Charrondiere, and Bernd Bickel. “Directionality-Aware Design of Embroidery Patterns.”https://doi.org/10.1111/cgf.14770 __Computer Graphics Forum. Wiley, 2023.https://doi.org/10.1111/cgf.14770  .
LibreCat: https://research-explorer.ista.ac.at/record/12972
DOI: 10.1111/cgf.14770 
WoS: 001000062600033

Redchenko, Elena, Alexander V. Poshakinskiy, Riya Sett, Martin Zemlicka, Alexander N. Poddubny, and Johannes M Fink. “Tunable Directional Photon Scattering from a Pair of Superconducting Qubits.”https://doi.org/10.1038/s41467-023-38761-6__Nature Communications. Springer Nature, 2023.https://doi.org/10.1038/s41467-023-38761-6 .
LibreCat: https://research-explorer.ista.ac.at/record/13117
DOI: 10.1038/s41467-023-38761-6
WoS: 001001099700002
arXiv: 2205.03293

Clozeau, Nicolas, Marc Josien, Felix Otto, and Qiang Xu. “Bias in the Representative Volume Element Method: Periodize the Ensemble Instead of Its Realizations.”https://doi.org/10.1007/s10208-023-09613-y__Foundations of Computational Mathematics. Springer Nature, 2023.https://doi.org/10.1007/s10208-023-09613-y .
LibreCat: https://research-explorer.ista.ac.at/record/13129
DOI: 10.1007/s10208-023-09613-y
WoS: 000999623100001

Madani, Amiera, Eric T. Sletten, Cristian Cavedon, Peter H. Seeberger, and Bartholomäus Pieber. “Visible-Light-Mediated Oxidative Debenzylation of 3-O-Benzyl-1,2:5,6-Di-O-Isopropylidene-;1-D-Glucofuranose.”https://doi.org/10.15227/orgsyn.100.0271__Organic Syntheses. Organic Syntheses, 2023.https://doi.org/10.15227/orgsyn.100.0271 .
LibreCat: https://research-explorer.ista.ac.at/record/13970
DOI: 10.15227/orgsyn.100.0271

Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.”https://doi.org/10.1007/s11856-022-2448-6__Israel Journal of Mathematics. Springer Nature, 2023.https://doi.org/10.1007/s11856-022-2448-6 .
LibreCat: https://research-explorer.ista.ac.at/record/9652
DOI: 10.1007/s11856-022-2448-6
WoS: 000904950300003
arXiv: 1903.05923

Wang, Siqi, Cheng Chang, Shulin Bai, Bingchao Qin, Yingcai Zhu, Shaoping Zhan, Junqing Zheng, Shuwei Tang, and Li Dong Zhao. “Fine Tuning of Defects Enables High Carrier Mobility and Enhanced Thermoelectric Performance of N-Type PbTe.”https://doi.org/10.1021/acs.chemmater.2c03542__Chemistry of Materials. American Chemical Society, 2023.https://doi.org/10.1021/acs.chemmater.2c03542 .
LibreCat: https://research-explorer.ista.ac.at/record/12331
DOI: 10.1021/acs.chemmater.2c03542
WoS: 000914749700001

Yeung, Jake, Maria Florescu, Peter Zeller, Buys Anton De Barbanson, Max D. Wellenstein, and Alexander Van Oudenaarden. “ScChIX-Seq Infers Dynamic Relationships between Histone Modifications in Single Cells.”https://doi.org/10.1038/s41587-022-01560-3__Nature Biotechnology. Springer Nature, 2023.https://doi.org/10.1038/s41587-022-01560-3 .
LibreCat: https://research-explorer.ista.ac.at/record/12106
DOI: 10.1038/s41587-022-01560-3
WoS: 000909067600003

Boccato, Chiara, and Robert Seiringer. “The Bose Gas in a Box with Neumann Boundary Conditions.”https://doi.org/10.1007/s00023-022-01252-3__Annales Henri Poincare. Springer Nature, 2023.https://doi.org/10.1007/s00023-022-01252-3 .
LibreCat: https://research-explorer.ista.ac.at/record/12183
DOI: 10.1007/s00023-022-01252-3
WoS: 000910751800002
arXiv: 2205.15284