2022

• Investigating peer-to-peer power transactions for reducing EV induced network congestionHaider, S., Rizvi, R. E. Z., Walewski, J. & Schegner, P., 1 Sep 2022, In: Energy : the international journal. 254, Part B, 20 p., 124317Electronic (full-text) versionResearch output: Contribution to journal > Research article
• NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution SpacesDachselt, R., Gaggl, S. A., Krötzsch, M., Méndez, J., Rusovac, D. & Yang, M., 1 Sep 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (eds.). IOS Press, Amsterdam [u. a.], Vol. 220146. p. 116–127, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent SpecificationsBaier, C., Funke, F., Jantsch, S., Karimov, T., Lefaucheux, E., Ouaknine, J., Purser, D. & 2 others, 1 Sep 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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