Certified Verification of Relational Properties Blatter, L.; Kosmatov, N.; Prevosto, V.; Le Gall, P. 2022. Integrated Formal Methods – 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings. Ed.: M. ter Beek, 86–105, Springer International Publishing. doi:10.1007/978-3-031-07727-2_6
Towards Designing Smart Home Energy Applications for Effective Use Bluhm, S.; Staudt, P.; Weinhardt, C. 2022. The Transdisciplinary Reach of Design Science Research – 17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, St Petersburg, FL, USA, June 1–3, 2022, Proceedings. Ed.: A. Drechsler, 303–314, Springer International Publishing. doi:10.1007/978-3-031-06516-3_23
Influence of high pressure drop rates on fatigue crack growth Michiels, L.; Geimer, M. 2022. Proceedings of 13th International Fluid Power Conference, Aachen, 13th - 15th June 2022, 328–342, Institute for Fluid Power Drives and Systems, RWTH Aachen ( ifas)
The Intricacies of Identifying Equatorial Waves Knippertz, P.; Gehne, M.; Kiladis, G. N.; Kikuchi, K.; Rasheeda Satheesh, A.; Roundy, P. E.; Yang, G.-Y.; Žagar, N.; Dias, J.; Fink, A. H.; Methven, J.; Schlüter, A.; Sielmann, F.; Wheeler, M. C. 2022. Quarterly Journal of the Royal Meteorological Society, 148 (747), 2814–2852. doi:10.1002/qj.4338
Global forest management data for 2015 at a 100 m resolution Lesiv, M.; Schepaschenko, D.; Buchhorn, M.; See, L.; Dürauer, M.; Georgieva, I.; Jung, M.; Hofhansl, F.; Schulze, K.; Bilous, A.; Blyshchyk, V.; Mukhortova, L.; Brenes, C. L. M.; Krivobokov, L.; Ntie, S.; Tsogt, K.; Pietsch, S. A.; Tikhonova, E.; Kim, M.; Di Fulvio, F.; et al. 2022. Scientific Data, 9 (1), 199. doi:10.1038/s41597-022-01332-3