Inferring Interval-Valued Floating-Point Preconditions Krämer, J.; Blatter, L.; Darulova, E.; Ulbrich, M. 2022. Tools and Algorithms for the Construction and Analysis of Systems – 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I. Ed.: D. Fisman, 303–321, Springer International Publishing. doi:10.1007/978-3-030-99524-9_16
Highly Active Ice‐Nucleating Particles at the Summer North Pole Porter, G. C. E.; Adams, M. P.; Brooks, I. M.; Ickes, L.; Karlsson, L.; Leck, C.; Salter, M. E.; Schmale, J.; Siegel, K.; Sikora, S. N. F.; Tarn, M. D.; Vüllers, J.; Wernli, H.; Zieger, P.; Zinke, J.; Murray, B. J. 2022. Journal of Geophysical Research: Atmospheres, 127 (6), e2021JD036059. doi:10.1029/2021JD036059
Completion of JT-60SA construction and contribution to ITER Kamada, Y.; Di Pietro, E.; Hanada, M.; Barabaschi, P.; Ide, S.; Davis, S.; Yoshida, M.; Giruzzi, G.; Sozzi, C.; Abdel Maksoud, W.; Abe, H.; Aiba, N.; Akiyama, T.; Ayllon-Guerola, J.; Arai, T.; Artaud, J.-F.; Asakura, N.; Ashikawa, N.; Balbinot, L.; Bando, T.; et al. 2022. Nuclear Fusion, 62 (4), Art.-Nr.: 042002. doi:10.1088/1741-4326/ac10e7
How to Valuate Impact Startups – Towards a Taxonomy Eckerle, C.; Manthey, S.; Terzidis, O. 2022. 17th International Conference on Design Science Research in Information Systems and Technology, 1st - 3rd June 2022, St. Petersburg, FL, USA
Blühende Biodiversität durch die "neue Traisen" Schulze, C. H.; Aigner, S.; Egger, G.; Friedrich, T.; Gallmetzer, N.; Hausharter, J.; Schütz, C.; Reckendorfer, W. 2022. LIFE & The Danube : Renaturierungsprojekte an der Donau. Hrsg.: B. Heiller, 98 – 115, VERBUND Hydro Power GmbH