The ISL RT04 Mandarin Broadcast News Evaluation System Hua Yu; Yik-Cheung Tam; Schaaf, T.; Stüker, S.; Qin Jin; Noamany, M.; Schultz, T. 2004. EARS Rich Transcription Workshop , New York, 10. Nov. 2004, New York (NY)
First Constraints on General Neutrino Interactions Based on KATRIN Data KATRIN Collaboration; Aker, M.; Batzler, D.; Beglarian, A.; Beisenkötter, J.; Biassoni, M.; Bieringer, B.; Biondi, Y.; Block, F.; Bornschein, B.; Bornschein, L.; Böttcher, M.; Carminati, M.; Chatrabhuti, A.; Chilingaryan, S.; Daniel, B. A.; Descher, M.; Díaz Barrero, D.; Doe, P. J.; Dragoun, O.; et al. 2025. Physical Review Letters, 134 (25), Art.-Nr.: 251801. doi:10.1103/PhysRevLett.134.251801
Revisiting Differential Verification: Equivalence Verification with Confidence Teuber, S.; Kern, P.; Janzen, M.; Beckert, B. 2025. Tools and Algorithms for the Construction and Analysis of Systems – 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II. Ed.: A. Gurfinkel, 257 – 278, Springer Nature Switzerland. doi:10.1007/978-3-031-90653-4_13
Searches for dark matter with CMS CMS Collaboration; Wassmer, M. 2025. Proceedings of 42nd International Conference on High Energy Physics (ICHEP 2024), 732, Scuola Internazionale Superiore di Studi Avanzati (SISSA)