Publications

2026

• Linear dynamical systems with weight functionsAghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., May 2026, In: Nonlinear Analysis: Hybrid Systems. 60, 101680Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Datalog-Expressibility for Monadic and Guarded Second-Order LogicBodirsky, M., Knäuer, S. & Rudolph, S., Apr 2026, In: ACM transactions on computational logic. 27, 2, p. 1-42, 8Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Pilot study of an anxiety induction method applying generative artificial intelligence and mixed realityBadeja, D., Schier, F., Straka, H., McGinity, M. & Hoyer, J., Apr 2026, In: Journal of Anxiety Disorders. 119, 103150Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Application-Layer Protocol Negotiation (ALPN) ID for CoAP over DTLSLenders, M. S., Amsüss, C., Schmidt, T. C. & Wählisch, M., Mar 2026, In: Request for comments. RFC 9992, 5 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• DNS over CoAP (DoC)Lenders, M. S., Amsüss, C., Gündogan, C., Schmidt, T. C. & Wählisch, M., Mar 2026, In: Request for comments. RFC 9953, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• PROs als Kompass der intersektoralen onkologischen Versorgung – von der Praxis in das MTB und zurückGräßel, L., Strantz, C., Prochaska, E., Debertshäuser, T., Rogge, A., Bäcker, S., Prasser, F. & 11 others, Mar 2026, In: Onkologie. 32, 3, p. 233-241, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Review article
• Ultracapacitive bioactive-ion pumpsLi, P., Feder-Kubis, J., Kunigkeit, J., Ahemd, A. A., Gersz, A., Mucha, S. G., Slesinski, A. & 6 others, Mar 2026, In: Chem. 102939Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Digital Twin-Driven Multistorey Mapping with Cooperative Micro Aerial VehiclesZhang, T., Victor, V. & Aßmann, U., 25 Feb 2026, Drones and Unmanned Systems: Proceedings of the 2nd International Conference on Drones and Unmanned Systems (DAUS' 2026). Yurish, S. Y. (ed.). IFSA Publishing, S. L., p. 11-17Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• CDX2 expression dynamics in tumor clusters: a morpho-molecular biomarker in rectal cancer pretreatment biopsies revealed by sequential immunofluorescenceGwerder, M., Demir, C. S., Williams, H. L., Lugli, A., Martinez, C. G., Kowal, J., Khan, A. & 5 others, 21 Feb 2026, In: Scientific reportsElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Electronics for the Tactile InternetWagner, J., Morath, H., Ott, L., Yin, R., Ernst, D., Nieweglowski, K. K., Jobst, M. & 9 others, 17 Feb 2026, Humans, Robots and Virtual Worlds in the Tactile Internet. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Mahmoodi, T. & Reisslein, M. (eds.). United States of America: Academic Press, p. 301-310, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• A Call to Reconsider Certification Authority AuthorizationFotouhi Tehrani, P., Hiesgen, R., Schmidt, T. C. & Wählisch, M., Feb 2026, In: IEEE Security & Privacy. 24, 1, p. 35-43, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• SCISSORS: System Level Error Detection for Enabling Near-Threshold Operating Systolic ArraysAliagha, E., Safarpour, M., Wulf, C., Silvén, O. & Göhringer, D., Feb 2026, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 45, 2, p. 719-731, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The CP2K Program Package Made SimpleIannuzzi, M., Wilhelm, J., Stein, F., Bussy, A., Elgabarty, H., Golze, D., Hehn, A. S. & 20 others, 29 Jan 2026, In: Journal of Physical Chemistry B. 130, 4, p. 1237-1310, 74 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Smart hybrid microscopy for cell-friendly detection of rare eventsStepp, W. L., Tortarolo, G., Landoni, J. C., Durmus, E. B., Rodriguez Alvarez, S. N., Douglass, K. M., Weigert, M. & 1 others, 7 Jan 2026, In: Nature communications. 17, 1, 1423Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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
• A Reference Functional Architecture for Network Digital Twins in 6G SystemsZaki-Hindi, A., Soto, P., Castellanos, G., Pritom, T. H., Volpe, G., Zellagui, I., Hensel, B. & 29 others, 2026, In: IEEE Open Journal of the Communications Society. 7, p. 2068-2101, 34 p.Electronic (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
• Enabling Consistent Recombination of Heterogeneous Artifacts in Reactive Consistency Restoration MechanismsDomanowski, A., Seidl, C., Clausnitzer, M., Kegel, K. & Aßmann, U., 2026, Proceedings of the 14th International Conference on Model-Based Software and Systems Engineering - MODELSWARD. SciTePress - Science and Technology Publications, p. 371-377, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• 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
• Navigation for People with Disabilities and Older People: Current Challenges and OpportunitiesPetrie, H., Weber, G. & Bramwell-Dicks, A., 2026, Human -Computer Interaction – INTERACT 2025: 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part IV. Ardito, C., Diniz Junqueira Barbosa, S., Conte, T., Freire, A., Gasparini, I., Palanque, P. & Prates, R. (eds.).p. 389–394, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Non-visual Approaches to Present Live Data to Blind and Low-Vision People: A Systematic Literature ReviewEtzold, E. F., Branig, M. & Weber, G., 2026, Human-Computer Interaction – INTERACT 2025: 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part I. Ardito, C., Diniz Junqueira Barbosa, S., Conte, T., Freire, A., Gasparini, I., Palanque, P. & Prates, R. (eds.).p. 131–155, 25 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th BirthdayBertrand, N., Dubslaff, C. & Klüppelholz, S., 2026, Springer, Cham, 426 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Proceedings 29th International Conference on Extending Database Technology, EDBT 2026, Tampere, Finland, March 24-27, 2026Lehner, W., Braganholo, V., Stefanidis, K., Zhang, Z., Krause, A. & Pimentel, J. F. N., 2026Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW InequalityBudde, C. E., Hartmanns, A., Meggendorfer, 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. 83-94, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution