2022

• Presburger Büchi Tree Automata with Applications to Logics with Expressive CountingBednarczyk, B. & Fiuk, O., 1 Sep 2022, Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Proceedings: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings. Ciabattoni, A., Pimentel, E. & de Queiroz, R. J. G. B. (eds.).p. 295-308, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Semantic Characterizations of AGM Revision for Tarskian LogicsFalakh, F. M., Rudolph, S. & Sauerwald, K., 1 Sep 2022, Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Proceedings: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings. Governatori, G. & Turhan, A. (eds.).p. 95-110, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The interplay of collagen/bioactive glass nanoparticle coatings and electrical stimulation regimes distinctly enhanced osteogenic differentiation of human mesenchymal stem cellsLee, P. S., Heinemann, C., Zheng, K., Appali, R., Alt, F., Krieghoff, J., Bernhardt, A. & 3 others, 1 Sep 2022, In: Acta biomaterialia. 149, p. 373-386, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Tuple-Generating Dependencies Capture Complex Values (extended abstract)Marx, M. & Krötzsch, M., 1 Sep 2022, Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry. Alviano, M. & Pieris, A. (eds.). CEUR-WS.org, p. 97–103Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Werkstofftechnologien für nachhaltigen LeichtbauKupfer, R., Schilling, L. & Gude, M., 1 Sep 2022, In:  Nachhaltige Industrie : Forschung, Technologie, Wirtschaft. 2022, 3, p. 8-13, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 3D Environmental Interaction Extends System Simulation for Construction MachineryWaurich, V., Gundermann, J., Blochwitz, T. & Will, F., Sep 2022, 9. Fachtagung Baumaschinentechnik. Dresden: Technische Universität Dresden, Vol. 9. p. 237-250, 14 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Accessible Mobile Map Application and Interaction for People with Visual or Mobility ImpairmentsRottmann, S., Loitsch, C. & Weber, G., Sep 2022, Proceedings of Mensch und Computer 2022: Facing Realities, MuC 2022 - Proceedings. Muhlhauser, M., Reuter, C., Pfleging, B., Kosch, T., Matviienko, A., Gerling, K., Mayer, S., Heuten, W. & Doring, T. (eds.).p. 119-127, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A new quantitative acoustic emission model for damage characterization of composite laminates using original waveformsXu, D., Liu, P., Chen, Z. & Wu, T., Sep 2022, In: Structural Health Monitoring. 21, 5, p. 2276-2290, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• An experimental approach for the determination of the mechanical properties of base-excited polymeric specimens at higher frequency modesKucher, M., Dannemann, M., Böhm, R. & Modler, N., Sep 2022, In: Vibration. 5, 3, p. 429-441, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Review on modelling and simulation of laser additive manufacturing: Heat transfer, microstructure evolutions and mechanical propertiesZhang, Z., Wang, Y., Ge, P. & Wu, T., Sep 2022, In: Coatings. 12, 9, 26 p., 1277Electronic (full-text) versionResearch output: Contribution to journal > Review article