Using Relational Verification for Program Slicing Beckert, B.; Bormer, T.; Gocht, S.; Herda, M.; Lentzsch, D.; Ulbrich, M. 2019. Software Engineering and Formal Methods – 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings. Ed.: P. Ölveczky, 353–372, Springer. doi:10.1007/978-3-030-30446-1_19
Exploiting Unused Capacity in the Grid Priebe, J.; Wehbring, N.; Chang, H.; Moser, A.; Cakmak, H. K.; Kühnapfel, U.; Hagenmeyer, V. 2019. 2019 IEEE Innovative Smart Grid Technologies - Asia (ISGT Asia), Chengdu, China, 21-24 May 2019, 451–456, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ISGT-Asia.2019.8880909
Biomarkeranalysen im Kontext Belastungssteuerung im Fußball Knobel, T.; Kienberger, K.; Seibert, F.; Altmann, S.; Becker, M.; Neumann, R. 2019. 27. Jahrestagung der dvs-Kommission Fußball: Wissenschaft und Praxis, Karlsruhe, 07.-09.10.2019
Constraints on New Physics from Β mesons Blanke, M. 2019. 29th International Conference on Lepton and Photon Interactions (LP2019) Toronto, CDN, August 5-10, 2019
Higgs Boson Pair Production at Colliders: Status and Perspectives Alison, J.; Androsov, K.; Baglio, J.; Bagnaschi, E.; Banerjee, S.; Basler, P.; Bethani, A.; Betti, A.; Blanke, M.; Borgonovi, L.; Brost, E.; Bryant, P.; Buchalla, G.; Burch, T. J.; Cairo, V. M. M.; Campanario, F.; Carena, M.; Carvalho, A.; Chernyavskaya, N.; D’Amico, V.; et al. 2019. Double Higgs Production at Colliders Batavia, IL, USA, September 4, 2018-9, 2019. Ed.: B. Di Micco
Transmutation effects in materials for ITER Diagnostics Serikov, A.; Bertalot, L.; Fischer, U.; Leichtle, D. 2019. 19th International Conference on Fusion Reactor Materials (ICFRM-20 2019), La Jolla, CA, USA, October 27–November 1, 2019
POEMMA (Probe of Extreme Multi-Messenger Astrophysics) design Olinto, A. V.; Adams, J. H.; Aloisio, R.; Anchordoqui, L. A.; Bergman, D. R.; Bertaina, M. E.; Bertone, P.; Bisconti, F.; Bustamante, M.; Casolino, M.; Christl, M. J.; Cummings, A. L.; De Mitri, I.; Diesing, R.; Eser, J.; Fenu, F.; Guepin, C.; Hays, E. A.; Judd, E. G.; Krizmanic, J. F.; et al. 2019