Publications

2026

• Tailoring binary decision diagram compilation for feature modelsDubslaff, C., Husung, N. & Käfer, N., Jan 2026, In: Journal of Systems and Software. 231, 19 p., 112566Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Backward Responsibility in Transition Systems Beyond SafetyBaier, C., Klatt, R., Klüppelholz, S. & Lehmann, J., 2026, Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings. Remke, A. & Steffen, B. (eds.). Springer, Cham, p. 105-123, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Codes for Identification via Channels: Tutorial for Communications Generalistsvon Lengerke, C., Cabrera, J. A., Reisslein, M. & Fitzek, F. H., 2026, In:  IEEE communications surveys & tutorials : the electronic magazine of original peer-reviewed survey articles. 28, p. 181-223, 43 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Evaluating Transport Layer Congestion Control Algorithms: A Comprehensive SurveyVielhaus, C. L., von Lengerke, C., Latzko, V., Rischke, J., Reisslein, M. & Fitzek, F. H. P., 2026, In:  IEEE communications surveys & tutorials : the electronic magazine of original peer-reviewed survey articles. 28, p. 278-340, 63 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Exhaled Breath Analysis Through the Lens of Molecular Communication: A SurveyBhattacharjee, S., Bi, D., Hofmann, P., Wietfeld, A., Becke, S., Lommel, M., Zhou, P. & 6 others, 2026, In: IEEE Communications Surveys and Tutorials. 28, p. 412-445, 34 p.Electronic (full-text) versionResearch output: Contribution to journal > Review article
• Feynman Meets Turing: Computability Aspects of Exact Circuit Synthesis, Gate Efficiency, and the Spectral Gap ConjectureBoeck, Y. N., Boche, H. & Fitzek, F. H., 2026, In: IEEE Transactions on Quantum Engineering. 7, p. 1-31, 3100331Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Fit für KI? AI Literacy angehender Grundschullehrkräfte empirisch beleuchtetLange, S. D., Marx, E., Görel, G., Plohmer, A. & Bergner, N., 2026, Tagungsband der Zweiten Tagung KI und Bildung zusammen mit dem Praxistag KI an Schulen - KIBIS 2025. Schmid, U., Münsterberg, A. V. & Weiss, E. (eds.). University of Bamberg Press, p. 43-46Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From Networks to Architectures: Trustworthy AI Models for Medical ApplicationsSchmidt, M., 2026, Encyclopedia of Exercise Medicine in Health and Disease. Springer, p. 1-7, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• IF-TEM based Detection for Spike Communications with RLL EncodingBiswas, P., Dörpinghaus, M. & Fettweis, G., 2026, In: IEEE communications letters. 30, p. 647 - 651, 5 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Integrating Touch, Gestures and Speech for Multi-modal Conversations with an Audio-Tactile Graphics ReaderUsabaev, B., Bührich, N., Taş, T. C., Weber, G. & Ondrusek, P., 2026, Human-Computer Interaction – INTERACT 2025: 20th IFIP TC 13 International Conference Belo Horizonte, Brazil, September 8–12, 2025. Ardito, C., Diniz Junqueira Barbosa, S., Conte, T., Freire, A., Gasparini, I., Palanque, P. & Prates, R. (eds.).p. 323-332, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution