Publications

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. (eds.). 1 ed., Springer, Cham, p. 22-39, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, e70216Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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, p. 955-984, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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. (eds.). Cham: Springer Nature Switzerland and Imprint Springer, p. 113-129, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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. (eds.). Springer, Cham, p. 195-218, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.).p. 250–263, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report

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 others, 31 Dec 2025, In: IEEE transactions on computer-aided design of integrated circuits and systemsElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Probabilistic Robustness Analysis of Drag-Free Attitude Control System using Polynomial ChaosIzquierdo Serra, M., Martin, M., Delchambre, S., Winkler, S. & Pfifer, H., 31 Dec 2025, In: Journal of Guidance, Control, and Dynamics. 49, 4, p. 1-9, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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 others, 26 Dec 2025, In: Scientific reports. 15, 1, 44659Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Verifying a Load-Dependent Cooling System for Machine Tools Focusing on Deformation and Energy EfficiencySteiert, C., Fickert, A. & Weber, J., 26 Dec 2025, p. 1-7, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper