Publications

2025

• Solution-Processable Electronic-Grade 2D WTe₂ Enabled by Synergistic Dual Ammonium IntercalationYang, H., Synnatschke, K., Yoon, J., Mirhosseini, H., Hermes, I. M., Li, X., Neumann, C. & 7 others, 2 Apr 2025, In: ACS nano. 19, 14, p. 14309-14317, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Decidability of Querying First-Order Theories via Countermodels of Finite WidthFeller, T., Lyon, T., Ostropolski-Nalewaja, P. & Rudolph, S., 1 Apr 2025, In: Logical methods in computer science. 21, 2, p. 7:1-7:35Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Simopticon: Automated Optimization of Vehicular Platooning ControllersNatzschka, P., Hensel, B. & Sommer, C., 1 Apr 2025, In: Ad Hoc Networks. 170, 103781Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Analyzing the Use of ChatGPT for the Generation of Automatic FeedbackTheilen, F., Braun, I. & Damnik, G., Apr 2025, Proceedings of CSEDU 2025. PosterResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Beyond Optimal: Interactive Identification of Better-than-optimal RepairsKriegel, F., 31 Mar 2025, Proceedings of the 40th ACM/SIGAPP Symposium On Applied Computing (SAC 2025). Association for Computing Machinery, p. 1019-1026, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Enabling Efficient Mobile Tracing with BTraceWang, J., Liu, N., Casadevall-Saiz, A., Liu, Y., Behrens, D., Fu, M., Jia, N. & 2 others, 30 Mar 2025, Proceedings of the 30th ACM International Conference On Architectural Support For Programming Languages And Operating Systems (ASPLOS 2025). Assoc Computing Machinery, Vol. 2. p. 325-338, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Advancing Video Capsule Endoscopy with Edge AI: A Public Multi-Center Capsule Dataset with Multi-Label AnnotationsLe Floch, M., Werner, J., Mcintyre, L., Wolf, F., Steinhäuser, J., Hampe, J., Langanke, R. & 5 others, 27 Mar 2025, p. S205Electronic (full-text) versionResearch output: Contribution to conferences > Abstract
• Synthetic bone marrow images augment real samples in developing acute myeloid leukemia microscopy classification modelsEckardt, J. N., Srivastava, I., Wang, Z., Winter, S., Schmittmann, T., Riechert, S., Gediga, M. E. H. & 10 others, 22 Mar 2025, In:  npj digital medicine. 8, 1, 173Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Programming Drone Collectives: Towards Safe Plug-And-Play ModularityGrzelak, D., 13 Mar 2025Electronic (full-text) versionResearch output: Contribution to conferences > Abstract
• Mensch-Computer Interaktion und InklusionWeber, G., 12 Mar 2025, Inklusion bei Beeinträchtigung des Sehens und Blindheit. Kohlhammer Verlag, p. 235-253Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• ibis - Informatische Bildung in Schulen. Ausgabe Frühjahr 2025Grillenberger, A., Michaeli, T., Schulz, S. & Stechert, P., 11 Mar 2025, Gesellschaft für Informatik, BonnElectronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
• Optimizing Very Large Scale ITS Applications With Fast Fitness EvaluationTangirala, N. T., Rischert, R., Sommer, C. & Knoll, A., 1 Mar 2025, 2025 IEEE Wireless Communications and Networking Conference (WCNC). Milan, Italy: Institute of Electrical and Electronics Engineers (IEEE), p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Survey on Architectures, Hardware Acceleration and Challenges for In-Network ComputingNickel, M. & Göhringer, D., Mar 2025, In: ACM Transactions on Reconfigurable Technology and Systems. 18, 1, 34 p., 10Electronic (full-text) versionResearch output: Contribution to journal > Research article
• EditorialGrillenberger, A., Michaeli, T., Schulz, S. & Stechert, P., Mar 2025, In: Informatische Bildung in Schulen : ibis. 3, 1Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• Tutorial: Unleashing the Intel Data Streaming AcceleratorBerthold, A., Schmidt, L., Lehner, W. & Schirmeier, H., Mar 2025, BTW2025 - Datenbanksysteme für Business, Technologie und Web - Workshopband. Gesellschaft für Informatik, Bonn, p. 345-353, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program Classifiersda Silva, A. F., Castrillon, J. & Pereira, F. M. Q., 25 Feb 2025, CC 2025 - Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction. Kluss, D., Achour, S. & Palsberg, J. (eds.). Association for Computing Machinery, Inc, p. 13-24, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow AnalysesBrauckmann, A., da Silva, A. F., Synnaeve, G., O'Boyle, M. F., Castrillon, J. & Leather, H., 25 Feb 2025, CC 2025 - Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction. Kluss, D., Achour, S. & Palsberg, J. (eds.). Association for Computing Machinery, Inc, p. 92-103, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Computing a Real-Time THz Material MapAliagha, E., Batra, A., Kamaleldin, A., Kaiser, T. & Göhringer, D., 24 Feb 2025, 2025 International Conference on Mobile and Miniaturized Terahertz Systems (ICMMTS). p. 229-231, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An Elephant Under the Microscope: Analyzing the Interaction of Optimizer Components in PostgreSQLBergmann, R., Hartmann, C., Habich, D. & Lehner, W., 10 Feb 2025, In: Proceedings of the ACM on Management of Data. 3, 1, p. 1-28, 28 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree SequentsLyon, T., Shillito, I. & Tiu, A., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). Endrullis, J. & Schmitz, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 41:1-41:23, 41Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Analytical Uncertainty Propagation in Neural NetworksJungmann, P., Poray, J. & Kumar, A., Feb 2025, In: IEEE Transactions on Neural Networks and Learning Systems. 36, 2, p. 2495-2508, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Reliable peak detection and feature extraction for wireless electrocardiogramsFarrokhi, S., Dargie, W. & Poellabauer, C., Feb 2025, In: Computers in Biology and Medicine. 185, 109478Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Robotic assembly of modular concrete shells using falseworkIvaniuk, E., Pukhkaiev, D., Reichle, M., Zhao, W., Mey, J., Krombholz, M., Tošić, Z. & 3 others, 31 Jan 2025, In: Developments in the Built Environment. 21 (2025), 14 p., 100616Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Immersive Data-Driven Storytelling: Scoping an Emerging Field Through the Lenses of Research, Journalism, and GamesMéndez, J., Luo, W., Rzayev, R., Büschel, W. & Dachselt, R., 17 Jan 2025, In: IEEE transactions on visualization and computer graphics. 31, 10, p. 6839-6851, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Prediction of Received Power in Low-Power and Lossy Networks Deployed in Rough EnvironmentsDargie, W., 1 Jan 2025, In: IEEE Transactions on Instrumentation and Measurement. 74, 8 p., 5501608Electronic (full-text) versionResearch output: Contribution to journal > Research article