Hydrothermal liquefaction of black liquor Wörner, M.; Hornung, U.; Dahmen, N. 2022. European Biomass Conference and Exhibition Proceedings, 30th European Biomass Conference and Exhibition, EUBCE 2022, Virtual, Online, 9th May 2022 - 12th May 2022, 867–874, ETA-Florence Renewable Energies
Platform chemicals from hydrothermal liquefaction of sugarcane bagasse and sugarcane straw Schmitt, C. C.; Nguyen, K.; Schmitt, N.; Moreira, R.; Raffelt, K.; Hornung, U.; Dahmen, N. 2022. European Biomass Conference and Exhibition Proceedings, 30th European Biomass Conference and Exhibition, EUBCE 2022, Virtual, Online, 9th May 2022 - 12th May 2022, 951–953, ETA-Florence Renewable Energies
An Im- and Export Library for the Subject-Oriented Exchange Standard Elstermann, M.; Gnad, L. 2022. Subject-Oriented Business Process Management. Dynamic Digital Design of Everything – Designing or being designed? – 13th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2022, Karlsruhe, Germany, June 29–July 1, 2022, Proceedings. Ed.: M. Elstermann, 23–40, Springer Nature Switzerland. doi:10.1007/978-3-031-19704-8_2
A Comparative Study of Simulation Tools for Business Processes Elstermann, M.; Piller, C. 2022. Subject-Oriented Business Process Management. Dynamic Digital Design of Everything – Designing or being designed? – 13th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2022, Karlsruhe, Germany, June 29–July 1, 2022, Proceedings. Ed.: M. Elstermann, 61–78, Springer Nature Switzerland. doi:10.1007/978-3-031-19704-8_4
Towards a Usable and Sustainable Deductive Verification Tool Beckert, B.; Bubel, R.; Hähnle, R.; Ulbrich, M. 2022. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering – 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II. Ed.: T. Margaria, 281–300, Springer Nature Switzerland. doi:10.1007/978-3-031-19756-7_16
Understanding and Harnessing the Potential of Conversational AI for S-BPM Kurtz, V.; Bönsch, J.; Ovtcharova, J. 2022. Subject-Oriented Business Process Management. Dynamic Digital Design of Everything – Designing or being designed? – 13th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2022, Karlsruhe, Germany, June 29–July 1, 2022, Proceedings. Ed.: M. Elstermann, 41–57, Springer Nature Switzerland. doi:10.1007/978-3-031-19704-8_3
Runtime Verification of Correct-by-Construction Driving Maneuvers Kittelmann, A.; Runge, T.; Bordis, T.; Schaefer, I. 2022. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles – 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Ed.: T. Margaria, 242–263, Springer International Publishing. doi:10.1007/978-3-031-19849-6_15
SpecifyThis – Bridging Gaps Between Program Specification Paradigms Ahrendt, W.; Herber, P.; Huisman, M.; Ulbrich, M. 2022. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles – 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Ed.: T. Margaria, 3–6, Springer International Publishing. doi:10.1007/978-3-031-19849-6_1
X-by-Construction Meets Runtime Verification ter Beek, M. H.; Cleophas, L.; Leucker, M.; Schaefer, I. 2022. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles – 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Ed.: T. Margaria, 141–148, Springer International Publishing. doi:10.1007/978-3-031-19849-6_9
An Efficient VCGen-Based Modular Verification of Relational Properties Blatter, L.; Kosmatov, N.; Prevosto, V.; Le Gall, P. 2022. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles – 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Ed.: T. Margaria, 498–516, Springer International Publishing. doi:10.1007/978-3-031-19849-6_28
Dehydrogenation of the LOHC perhydro-dibenzyltoluene in a microstructured reactor Gapp, E.; Thönnissen, J.; Schmitt, S.; Pfeifer, P. 2022, March 30. Jahrestreffen der ProcessNet-Fachgruppen "Abfallbehandlung und Wertstoffrückgewinnung, Energieverfahrenstechnik, Gasreinigung, Hochtemperaturtechnik, Rohstoffe" (2022), Bamberg, Germany, March 30–April 1, 2022
Functionalizing insects via twin-screw extrusion Ellwanger, F.; Schmid, V.; Karbstein, H. P.; Azad Emin, M. 2022. Food Extrusion : Alternative Proteins and Plant-Based Meat (2022), Freising, Germany, June 1–2, 2022