Publications

2023

• Improving Fairness and Performance in Resource Usage for Vehicular Edge Computingda Costa, J. B. D., de Souza, A. M., Lobato Junior, W. V., Rosário, D., Sommer, C. & Aparecido Villas, L., 1 Oct 2023, 2023 IEEE 98th Vehicular Technology Conference, VTC 2023-Fall - Proceedings. Hong Kong, China: IEEEElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and ExpectationsBerkel, K. V., Lyon, T. & Pascucci, M., Oct 2023, In: Journal of Philosophical Logic. 52, 5, p. 1475-1516, 42 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Modeling Opportunistic Resource Fair Scheduling Efficiently for Multi-Beam 5G NRRezaei, A., Schulz, P., Awada, A., Viering, I. & Fettweis, G., Oct 2023, In: IEEE wireless communications letters. 12, 10, p. 1682-1686, 5 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Counterfactual Causality for Reachability and Safety based on Distance FunctionsParreaux, J., Piribauer, J. & Baier, C., 30 Sep 2023, Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023. Achilleos, A. & Monica, D. D. (eds.).Vol. 390. p. 132-149, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimal Alignment of Temporal Knowledge BasesFernandez Gil, O., Patrizi, F., Perelli, G. & Turhan, A., 28 Sep 2023, Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023). Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). IOS Press, p. 708-715, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Welcome to the Third International Workshop on Requirements Engineering for Explainable Systems (RE4ES)Droste, J., Klos, V., Sadeghi, M., Schwarnmberger, M. & Speith, T., 28 Sep 2023, Proceedings - 31st IEEE International Requirements Engineering Conference Workshops, REW 2023. Schneider, K., Dalpiaz, F. & Horkoff, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 307-308, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimal Repairs in the Description Logic ℰℒ RevisitedBaader, F., Koopmann, P. & Kriegel, F., 20 Sep 2023, Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), September 20-22, 2023, Dresden, Germany: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (eds.). Springer, p. 11-34, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimal Repairs in the Description Logic ℰℒ Revisited (Extended Version)Baader, F., Koopmann, P. & Kriegel, F., 20 Sep 2023Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Simulation and Modelling for Network-on-Chip based MPSoCHaase, J. & Göhringer, D., 16 Sep 2023, Applied Reconfigurable Computing. Architectures, Tools, and Applications - 19th International Symposium, ARC 2023, Proceedings: ARC 2023. Palumbo, F., Keramidas, G., Voros, N. & Diniz, P. C. (eds.). Springer, Cham, p. 366-370, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Constituency Parsing as an Instance of the M-monoid Parsing Problem.Mörbitz, R., 15 Sep 2023, p. 79-94, 16 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Maturity Evaluation of SDKs for I4.0 Digital TwinsBraunisch, N., Lehmann, R., Wollschlaeger, M., Ristin, M., Venn, H. W. V. D., Otto, B. & Kleinert, T., 15 Sep 2023, 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, p. 1-8, 8 p., 10275719Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Digitalisierungsbezogene Kompetenzen: Sichtweisen von Lehrkräften auf Medien-, Anwendungs- und InformatikkompetenzenSpalteholz, W., Leonhardt, T. & Bergner, N., 14 Sep 2023, HDI 2023 Hochschuldidaktik Informatik: 10. Fachtagung Hochschuldidaktik Informatik (HDI) 2023. Desel, J. & Opel, S. (eds.). FernUniversität in Hagen, p. 9-21, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Nemo: First Glimpse of a New Rule EngineIvliev, A., Ellmauthaler, S., Gerlach, L., Marx, M., Meißner, M., Meusel, S. & Krötzsch, M., 12 Sep 2023, Proceedings 39th International Conference on Logic Programming. Pontelli, E., Costantini, S., Dodaro, C., Gaggl, S., Calegari, R., Garcez, A. D., Fabiano, F., Mileo, A., Russo, A. & Toni, F. (eds.).p. 333-335, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Efficient Approximation of SINR and Throughput in 5G NR via Sparsity and Interference AggregationRezaei, A., Schulz, P., Ganesan, R. S., Awada, A., Viering, I. & Fettweis, G., 8 Sep 2023, 2023 IEEE 34th Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). IEEE, p. 1-7, 7 p., 10293808Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Inter-Regional Routing in Interplanetary Networks with Shortcuts and Contact PassagewaysDe Jonckère, O. & Fraire, J., 8 Sep 2023Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• On the Tractability of Yen’s Algorithm and Contact Graph Modeling in Contact Graph RoutingDe Jonckère, O., Fraire, J. & Burleigh, S., 8 Sep 2023Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• RobotRAGs: A Reference Attribute Grammar-based Integration Approach for Robotic Assembly LinesZhao, W., Mey, J., Schöne, R., Götz, S. & Aßmann, U., 8 Sep 2023, 2023 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, p. 22-29, 8 p., 10371467Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• RTASS: a RunTime Adaptable and Scalable System for Network-on-Chip-Based ArchitecturesCharaf, N., Haase, J., Kulisch, A., Elm, C. V. & Göhringer, D., 8 Sep 2023, 2023 26th Euromicro Conference on Digital System Design (DSD). IEEE, p. 585-592, 8 p., 10456789Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Virtualization of Hardware Accelerators in a Network-on-ChipWulf, C., Haase, J., Nickel, M. & Göhringer, D., 8 Sep 2023, Proceedings - 2023 26th Euromicro Conference on Digital System Design, DSD 2023. Niar, S., Ouarnoughi, H. & Skavhaug, A. (eds.).p. 726 - 733, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimal Fixed-Premise Repairs of ℰℒ TBoxesKriegel, F., 5 Sep 2023Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• Optimal Fixed-Premise Repairs of ℰℒ TBoxes (Extended Abstract)Kriegel, F., 5 Sep 2023, Recently Published Research (RPR) track of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), September 2-8, 2023, Rhodes, GreeceElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Applying a Feature-Oriented Software Development Approach to Model Interaction DiversityGollasch, D. & Weber, G., 3 Sep 2023, MuC '23: Proceedings of Mensch und Computer 2023: Building Bridges - Proceedings. Stolze, M., Loch, F., Baldauf, M., Alt, F., Schneegass, C., Kosch, T., Hirzle, T., Sadeghian, S., Draxler, F., Bektas, K., Lohan, K. & Knierim, P. (eds.).p. 427–431, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Growing Green Habits: Unobtrusive Gamified Eco-Feedback to Motivate Sustainable BehaviorPlichta, F., Mitschick, A., Klamka, K. & Dachselt, R., 3 Sep 2023, Mensch und Computer 2023: Building Bridges - Proceedings. Stolze, M., Loch, F., Baldauf, M., Alt, F., Schneegass, C., Kosch, T., Hirzle, T., Sadeghian, S., Draxler, F., Bektas, K., Lohan, K. & Knierim, P. (eds.). Association for Computing Machinery, p. 454-459, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Error-Tolerant Reasoning in ℰℒ w.r.t. Optimal ABox Repairs (Extended Abstract)Baader, F., Kriegel, F. & Nuradiansyah, A., 2 Sep 2023, Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023. CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-TerminationGerlach, L. & Carral, D., 1 Sep 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). p. 301–310, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution