Publikationen

2026

• The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of ModelsBaader, F. & De Bortoli, F., 2026, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (Hrsg.). 1 Aufl., Springer, Cham, S. 22-39, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• To Touch or to Talk: Individual Preferences, Trust and Empathy in Comforting BehavioursValori, I., Fan, Y., Jung, M. M., Shamay-Tsoory, S. & Fairhurst, M. T., 2026, in: Journal of Community & Applied Social Psychology. 36, 1, e70216Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Unsourced Random Access: A Comprehensive SurveyOzates, M., Ahmadi, M. J., Kazemi, M., Gündüz, D. & Duman, T. M., 2026, in: IEEE Communications Surveys and Tutorials. 28, S. 955-984, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Utilisation of Findings from a Series of Studies to Explain the Mechanisms of Action of Mechatronic SystemsPaetzold-Byhain, K., 2026, Co-Evolution of Design Research and Design Practice. Gericke, K., Eckert, C., Singh, V. & Venkataraman, S. (Hrsg.). Cham: Springer Nature Switzerland and Imprint Springer, S. 113-129, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• What Are the Odds? Improving Statistical Model Checking of Markov Decision ProcessesMeggendorfer, T., Weininger, M. & Wienhöft, P., 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. Prabhakar, P. & Vandin, A. (Hrsg.). Springer, Cham, S. 195-218, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• XAIEV – A Framework for the Evaluation of XAI-Algorithms for Image ClassificationKnoll, C., Ullrich, J., Manjooran, T., Göller, K., Amjad, H., Tetzlaff, R. & Seitz, S., 2026, Explainable Artificial Intelligence - 3rd World Conference, xAI 2025, Proceedings: Third World Conference, xAI 2025, Istanbul, Turkey, July 9–11, 2025, Proceedings, Part III. Guidotti, R., Schmid, U. & Longo, L. (Hrsg.).S. 250–263, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten

2025

• Design and Evaluation of an RFET Standard Cell Library Compatible with 22 nm FDSOIKavand, N., Darjani, A., Bhattacharjee, N., Quijada, J. N., Martinez, J. P., Mikolajick, T., Trommer, J. & 1 weitere, 31 Dez. 2025, in: IEEE transactions on computer-aided design of integrated circuits and systemsElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Probabilistic Robustness Analysis of Drag-Free Attitude Control System using Polynomial ChaosIzquierdo Serra, M., Martin, M., Delchambre, S., Winkler, S. & Pfifer, H., 31 Dez. 2025, in: Journal of Guidance, Control, and Dynamics. 49, 4, S. 1-9, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Fabrication and characterization of n-type Ge_1−xSn_x- and Si_1–x–yGe_ySn_x-on-SOI junctionless transistorsSteuer, O., Ghosh, S., Schwarz, D., Oehme, M., Lehmann, S., Hübner, R., Fowley, C. & 6 weitere, 26 Dez. 2025, in: Scientific reports. 15, 1, 44659Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Verifying a Load-Dependent Cooling System for Machine Tools Focusing on Deformation and Energy EfficiencySteiert, C., Fickert, A. & Weber, J., 26 Dez. 2025, S. 1-7, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper