Publikationen

2026

• 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
• 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. (Hrsg.).Band 1: Long Papers. S. 2621-2647, 27 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SPARQL in N3: SPARQL construct as a Rule Language for the Semantic WebArndt, D., Van Woensel, W. & Tomaszuk, D., 2026, Rules and Reasoning: 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22–24, 2025, Proceedings. Hogan, A., Satoh, K., Dag, H., Turhan, A., Roman, D., Roman, D. & Soylu, A. (Hrsg.). Springer Science and Business Media B.V., S. 209-226, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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
• SurgeryWagner, M., Younis, R., Krug, K., Ellenberg, M. O., Fan, Y., Winger, H., Pannasch, S. & 12 weitere, 2026, Humans, Robots, and Virtual Worlds in the Tactile Internet. Elsevier, S. 17-33, 17 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
• Visual-Tactile Sensing for Minimally Invasive PalpationMascot, A., Doshi, S., Koch, R., Younis, R., Ke, W., Wagner, M., Calandra, R. & 1 weitere, 2026, Proceedings of the 2026 Design of Medical Devices Conference, DMD 2026. American Society of Mechanical Engineers (ASME), 5 S., V001T05A005Elektronische (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
• A Bigraph-Based Digital Twin for Multi-UAV Landing ManagementZhang, T., Grzelak, D., Lindner, M., Fricke, H. & Aßmann, U., 26 Dez. 2025, in: Drones. 10, 1, 27 S., 12Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Fächerverbindende Unterrichtseinheiten zur informatischen Bildung in den Grundschulfächern Sachunterricht, Sport, Deutsch, Kunst und EthikRitter, J., Nenner, C. & Bergner, N., 18 Dez. 2025, Informatische Bildung in der Grundschule: Befunde, Diskussionen, Erfahrungen. Grey, J., Schmitz, D., Gryl, I., Best, A., Kuckuck, M. & Humbert, L. (Hrsg.). Klinkhardt Verlag, S. 250-268Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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
• Toward an All-in-One Platform for Mixed Reality ExhibitionsYu, Z., Töpfer, F., Christ, E. & McGinity, M., 10 Dez. 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. (Hrsg.). Association for Computing Machinery (ACM), 7 S., 21Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• IGUANA: Immersive Guidance, Navigation, and Control for Consumer UAVVictor, V., Krisanty, T., McGinity, M., Gumhold, S. & Aßmann, U., 4 Dez. 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. (Hrsg.). Association for Computing Machinery (ACM), S. 1–11, 11 S., 16Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Toward Domain-Aware Energy-Efficient Reconfigurable ArchitecturesAliagha, E. & Göhringer, D., 2 Dez. 2025, Proceedings - 2025 International Conference on Field Programmable Technology, ICFPT 2025. S. 280-281, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Scanning the IPv6 Internet Using Subnet-Router Anycast ProbingKoch, M., Hiesgen, R., Nawrocki, M., Schmidt, T. C. & Wählisch, M., 1 Dez. 2025, in: Proceedings of the ACM on Networking. 3, CoNEXT4, S. 50:1--50:15, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Waiting for QUIC: Passive Measurements to Understand QUIC DeploymentsMücke, J., Nawrocki, M., Hiesgen, R., Sattler, P., Zirngibl, J., Carle, G., Luxemburk, J. & 2 weitere, 1 Dez. 2025, in: Proceedings of the ACM on Networking. 3, CONEXT4, S. 1-26, 26 S., 41Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Cross-Layer Design and Design Automation for In-Memory Computing based on Non-Volatile Memory TechnologiesSharon Hu, X., Lee, M. Y., Li, M., De Lima, J. P. C., Liu, L., Zhu, Z., Castrillon, J. & 2 weitere, Dez. 2025, in: IEEE Design and Test. 42, 6, S. 75-86, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel