Publications

2026

• Declarative Memory ServicesCastrillon, J., Giceva, J., Hua, Y., Keeton, K., Shekar, A., Skadron, K., Wang, T. & 1 others, 2026Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• 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. Ciccozzi, F., Ferreira Pires, L. & Bordeleau, F. (eds.). 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
• Pinpointing Idle-Power Regressions in LinuxTröpgen, H., Smejkal, T., Ilsche, T., Schöne, R. & Schirmeier, H., 2026, High Performance Computing. ISC High Performance 2025 International Workshops: Energy Efficiency with Sustainable Performance: Techniques, Tools, and Best Practices. Neuwirth, S., Paul, A. K., Weinzierl, T. & Carson, E. C. (eds.).p. 205-218, 14 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
• Reassessing Active Learning Adoption in Contemporary NLP: A Community Survey.Romberg, J., Schröder, C., Gonsior, J., Tomanek, K. & Olsson, F., 2026, Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics. Demberg, V., Inui, K. & Marquez, L. (eds.).Vol. 1: Long Papers. p. 2621-2647, 27 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• 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. (eds.). Springer, Cham, p. 139-157, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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
• 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

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
• Fächerverbindende Unterrichtseinheiten zur informatischen Bildung in den Grundschulfächern Sachunterricht, Sport, Deutsch, Kunst und EthikRitter, J., Nenner, C. & Bergner, N., 18 Dec 2025, Informatische Bildung in der Grundschule: Befunde, Diskussionen, Erfahrungen. Grey, J., Schmitz, D., Gryl, I., Best, A., Kuckuck, M. & Humbert, L. (eds.). Klinkhardt Verlag, p. 250-268Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• The proposed design of the digital euro: A critical analysisGütschow, M. & Lucke, B., 18 Dec 2025, In: Digital finance : smart data analytics, investment innovation, and financial technology. 8, 1, 7Electronic (full-text) versionResearch output: Contribution to journal > Research article
• HARP: Energy-Aware and Adaptive Management of Heterogeneous ProcessorsSmejkal, T., Khasanov, R., Castrillon, J. & Härtig, H., 14 Dec 2025, Middleware 2025 - Proceedings of the 26th ACM International Middleware Conference. Association for Computing Machinery, Inc, p. 270-284, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 others, 11 Dec 2025, In: npj Precision Oncology. 10, 1, 6 p., 26Electronic (full-text) versionResearch output: Contribution to journal > Letter
• Digitalisierungsbezogene Kompetenzen als Querschnittsaufgabe in Schule: Umsetzungskonzepte und Hindernisse für die LehrkräftebildungSpalteholz, W., Leonhardt, T. & Bergner, N., 10 Dec 2025, Hochschuldidaktik Informatik HDI 2023: 10. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik. Magenheim, J., Schubert, S. & Schwill, A. (eds.). Potsdam, p. 37 - 62Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Discussing AI with AI – Interacting with a Chatbot SystemAl-Janabi, K., Appel, H., Eschrich, B., Fischer, R. & Reich, M., 10 Dec 2025, EVA Berlin 2025. Electronic Media and Visual Arts : 28th Issue of the EVA Berlin Conference . Bienert, A., Emenlauer-Blömers, E. & Lengyel, D. (eds.).p. 83-88, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploring Virtual Reality in an Exhibition ContextEschrich, B., Fischer, R., Matthes, M., Mende, K. & Reich, M., 10 Dec 2025, EVA Berlin 2025. Electronic Media and Visual Arts : 28th Issue of the EVA Berlin Conference . p. 77-82, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Toward an All-in-One Platform for Mixed Reality ExhibitionsYu, Z., Töpfer, F., Christ, E. & McGinity, M., 10 Dec 2025, KUI '25: Proceedings of the 22nd International Conference on Culture and Computer Science: Remixing Analog and Digital. Olivero, L. F., Stark, M., Schurrer, D. & Habakuk Israel, J. (eds.). Association for Computing Machinery (ACM), 7 p., 21Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• IGUANA: Immersive Guidance, Navigation, and Control for Consumer UAVVictor, V., Krisanty, T., McGinity, M., Gumhold, S. & Aßmann, U., 4 Dec 2025, Proceedings VRST 2025 - 31st ACM Symposium on Virtual Reality Software and Technology. Batmaz, A. U., Barrera Machuca, M. D., Ortega, F. R., Zielasko, D., Kim, K., Skarbez, R., Plabst, L., Banic, A. & Stroppa, M. S. (eds.). Association for Computing Machinery (ACM), p. 1–11, 11 p., 16Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Toward Domain-Aware Energy-Efficient Reconfigurable ArchitecturesAliagha, E. & Göhringer, D., 2 Dec 2025, Proceedings - 2025 International Conference on Field Programmable Technology, ICFPT 2025. p. 280-281, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution