Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3177 Entries
2023
-
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking , 31 Oct 2023, Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Ferreira, C. & Willemse, T. A. C. (eds.). Cham: Springer, Cham, p. 361-375, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
High-performance Deterministic Concurrency Using Lingua Franca , 26 Oct 2023, In: ACM transactions on architecture and code optimization. 20, 4, 48Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Learning to Control a Three-Dimensional Ferrofluidic Robot , 23 Oct 2023, In: Soft robotics. 0, 0Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Empowering Industry 4.0 with Generative and Model-Driven SDK Development , 19 Oct 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 1-6, 6 p., 10312302Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Fantastic Hybrid User Interfaces and How to Define Them , 16 Oct 2023, p. 247-250, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
How Does Explainability Look in Hybrid User Interfaces? , 16 Oct 2023, p. 251-256, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Adaptive weighting of Bayesian physics informed neural networks for multitask and multiscale forward and inverse problems , 15 Oct 2023, In: Journal of computational physics. 491, 112342Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Model-based Generation of Hardware/Software Architectures with Hybrid Schedulers for Robotics Systems , 12 Oct 2023, In: IEEE Transactions on Computers. p. 1-14, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Digitalisierung in der Werkstoffprüfung , 4 Oct 2023, Digitalisierung der Arbeitswelt im Mittelstand 3. Springer Vieweg Berlin, Heidelberg, p. 369 - 402Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
A numerical solver for active hydrodynamics in three dimensions and its application to active turbulence , 1 Oct 2023, In: Physics of fluids. 35, 10, 105155Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Improving Fairness and Performance in Resource Usage for Vehicular Edge Computing , 1 Oct 2023, 98th IEEE Vehicular Technology Conference (VTC 2023-Fall). Hong Kong, China: IEEEElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Optimal Alignment of Temporal Knowledge Bases , 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
-
Optimal Repairs in the Description Logic 𝓔𝓛 Revisited , 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) , 20 Sep 2023Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Simulation and Modelling for Network-on-Chip based MPSoC , 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
-
Maturity Evaluation of SDKs for I4.0 Digital Twins , 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 Informatikkompetenzen , 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 Engine , 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
-
Inter-Regional Routing in Interplanetary Networks with Shortcuts and Contact Passageways , 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 Routing , 8 Sep 2023Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
RTASS: a RunTime Adaptable and Scalable System for Network-on-Chip-Based Architectures , 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-Chip , 8 Sep 2023, 2023 26th Euromicro Conference on Digital System Design (DSD). p. 726 - 733, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes , 5 Sep 2023Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
-
Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes (Extended Abstract) , 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 Diversity , 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