Publikationen

2026

• Linear dynamical systems with weight functionsAghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., Mai 2026, in: Nonlinear Analysis: Hybrid Systems. 60, 101680Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 35-43, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 719-731, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• The CP2K Program Package Made SimpleIannuzzi, M., Wilhelm, J., Stein, F., Bussy, A., Elgabarty, H., Golze, D., Hehn, A. S. & 20 weitere, 29 Jan. 2026, in: Journal of Physical Chemistry B. 130, 4, S. 1237-1310, 74 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 weitere, 7 Jan. 2026, in: Nature communications. 17, 1, 1423Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Design patterns for swarms engineered with context-role-oriented modelingGutsche, C., Aßmann, U., Götz, S. & Prokopets, V., 5 Jan. 2026, in: International journal on software tools for technology transferElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Tailoring binary decision diagram compilation for feature modelsDubslaff, C., Husung, N. & Käfer, N., Jan. 2026, in: Journal of Systems and Software. 231, 19 S., 112566Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Springer, Cham, S. 105-123, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). University of Bamberg Press, S. 43-46Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).S. 323-332, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).S. 389–394, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).S. 131–155, 25 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• 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., 2026Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• 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. (Hrsg.). Springer, Cham, S. 83-94, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Stop Gambling! It Just Takes Too LongKlüppelholz, S. & Piribauer, J., 2026, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Bertrand, N., Dubslaff, C. & Klüppelholz, S. (Hrsg.). Springer, Cham, S. 139-157, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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
• 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

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
• The proposed design of the digital euro: A critical analysisGütschow, M. & Lucke, B., 18 Dez. 2025, in: Digital finance : smart data analytics, investment innovation, and financial technology. 8, 1, 7Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• HARP: Energy-Aware and Adaptive Management of Heterogeneous ProcessorsSmejkal, T., Khasanov, R., Castrillon, J. & Härtig, H., 14 Dez. 2025, Middleware 2025 - Proceedings of the 26th ACM International Middleware Conference. Association for Computing Machinery, Inc, S. 270-284, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Image-based explainable artificial intelligence accurately identifies myelodysplastic neoplasms beyond conventional signs of dysplasiaEckardt, J., Srivastava, I., Schulze, F., Winter, S., Schmittmann, T., Riechert, S., Schneider, M. M. K. & 12 weitere, 11 Dez. 2025, in: npj Precision Oncology. 10, 1, 6 S., 26Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Kurzartikel (Letter) / Leserbrief mit Originaldaten
• Digitalisierungsbezogene Kompetenzen als Querschnittsaufgabe in Schule: Umsetzungskonzepte und Hindernisse für die LehrkräftebildungSpalteholz, W., Leonhardt, T. & Bergner, N., 10 Dez. 2025, Hochschuldidaktik Informatik HDI 2023: 10. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik. Magenheim, J., Schubert, S. & Schwill, A. (Hrsg.). Potsdam, S. 37 - 62Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Discussing AI with AI – Interacting with a Chatbot SystemAl-Janabi, K., Appel, H., Eschrich, B., Fischer, R. & Reich, M., 10 Dez. 2025, EVA Berlin 2025. Electronic Media and Visual Arts : 28th Issue of the EVA Berlin Conference . Bienert, A., Emenlauer-Blömers, E. & Lengyel, D. (Hrsg.).S. 83-88, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Exploring Virtual Reality in an Exhibition ContextEschrich, B., Fischer, R., Matthes, M., Mende, K. & Reich, M., 10 Dez. 2025, EVA Berlin 2025. Electronic Media and Visual Arts : 28th Issue of the EVA Berlin Conference . S. 77-82, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband