Publications

2026

• Automated Optimization of Bacterial Tracking Pipelines With TrackMate 8Anselmet, M., Xénard, L., Albert, M., Arias-Cartin, R., Hicham, S., Pokorny, L., Paulet, É. & 11 others, 18 May 2026, In: Current protocols. 6, 5, e70369Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Ultracapacitive bioactive-ion pumpsLi, P., Feder-Kubis, J., Kunigkeit, J., Ahemd, A. A., Gersz, A., Mucha, S. G., Slesinski, A. & 6 others, 14 May 2026, In: Chem. 12, 5, 102939Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Taxonomy of Application Properties for Mixed-Precision Autotuning (Position Paper)Gedik, G., von Elm, C. & Schöne, R., 3 May 2026, ICPE Companion 2026 - Companion of the 17th ACM/SPEC International Conference on Performance Engineering. p. 17 - 24, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Improving Energy Efficiency and Performance of Weather and Climate Simulations by Leveraging the Heterogeneity of Modern SystemsPlehn, J., von Elm, C., Giesselmann, P., Clauss, C., Bockelmann, H., Schöne, R. & Engels, J. F., 3 May 2026, ICPE 2026 - Proceedings of the 17th ACM/SPEC International Conference on Performance Engineering. p. 5 - 16, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Global one-counter tree automataHerrmann, L. & Mörbitz, R., 2 May 2026, In: Theoretical computer science : the journal of the EATCS. 1071, 115840Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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
• On the Importance of Tactile Sensing for Imitation Learning: A Case Study on Robotic Match LightingFunk, N., Chen, C., Schneider, T., Chalvatzaki, G., Calandra, R. & Peters, J., May 2026, In: IEEE Robotics and Automation Letters. 11, 5, p. 6218-6225, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• ProCon-V: A Programmable Tightly Coupled Convolution Accelerator Based on RISC-V Custom Instructions for Edge DevicesKamaleldin, A., Aouinti, H. & Göhringer, D., May 2026, In: IEEE transactions on computers. 75, 5, p. 1991-2006, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Architecture Meets Automation: Mapping Building Information Modeling to Industrie 4.0 Digital TwinsSedigh, M., Hilbert, F., Ristin, M., Langer, T., Müller, J., Wollschlaeger, M. & Venn, H. W. V. D., 24 Apr 2026, 2026 IEEE 22nd International Conference on Factory Communication Systems, WFCS 2026 - Proceedings. Sikora, A., Scanzio, S., Facchinetti, T., Trsek, H., Ashjaei, M. & Leonardi, L. (eds.). IEEE Industrial Electronics Society, p. 1-8, 8 p., 11511565Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Software Development of I4.0 Digital Twins for Programmable Logic ControllersBraunisch, N., Olaya, S. S. P., Schmidt, U. & Wollschlaeger, M., 24 Apr 2026, 2026 IEEE 22nd International Conference on Factory Communication Systems, WFCS 2026 - Proceedings. Sikora, A., Scanzio, S., Facchinetti, T., Trsek, H., Ashjaei, M. & Leonardi, L. (eds.). IEEE Industrial Electronics Society, p. 1-6, 6 p., 11511521Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Beyond Links: Exploring Visual Representations of Multi-View Relations in Mixed RealityLuo, W., Rzayev, R., Russig, B., Visutarporn, S., Satkowski, M., Gumhold, S. & Dachselt, R., 13 Apr 2026, CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems. Oliver, N., Shamma, D. A., Candello, H., Cesar, P., Lopes, P., Bozzon, A., Kosch, T., Liao, V., Ma, X., Artizzu, V., Draxler, F., Lopez, G., Reinschluessel, A. V., Tong, X. & Toups Dugas, P. O. (eds.). Association for Computing Machinery (ACM), 637Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mixed Presence in Mixed Reality: Charting the Challenges and OpportunitiesKrug, K., Büschel, W., Satkowski, M., Gumhold, S. & Dachselt, R., 13 Apr 2026, CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems. Oliver, N., Shamma, D. A., Candello, H., Cesar, P., Lopes, P., Bozzon, A., Kosch, T., Liao, V., Ma, X., Artizzu, V., Draxler, F., Lopez, G., Reinschluessel, A. V., Tong, X. & Toups Dugas, P. O. (eds.). Association for Computing Machinery (ACM), 568Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Frequency Hopping Waveform Design for Secure Integrated Sensing and CommunicationsBoroujeni, A. K., de Abreu, G. T. F., Köpsell, S., Bagheri, G., Ranasinghe, K. R. R. & Schaefer, R. F., 2 Apr 2026, In: IEEE Transactions on Information Forensics and Security. 21, p. 3719-3734, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• PointShopVR: Immersive Authoring of Large Point Clouds in Virtual RealityLin, T., McGinity, M. & Gumhold, S., 2 Apr 2026, Proceedings - 2026 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2026. p. 475-485, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Secure ISAC Waveform Design Framework via Random Frequency and PRI AgilityBoroujeni, A. K., Rou, H. S., Bagheri, G., de Abreu, G. T. F., Köpsell, S., Ranasinghe, K. R. R. & Schaefer, R. F., Apr 2026, 2026 IEEE Wireless Communications and Networking Conference (WCNC) - ProceedingsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Towards co-located multi-user mixed reality exposure therapy for anxiety disordersSchier, F., Badeja, D., Hoyer, J. & McGinity, M., 25 Mar 2026, In: Virtual Reality. 30, 2, 101Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Non-Monotonic S4F Standpoint LogicGorczyca, P. & Strass, H., 14 Mar 2026, In: Proceedings of the AAAI Conference on Artificial Intelligence. 40, 23, p. 19126-19134, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference 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
• A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle SolvingSchrader, T. P., Lange, L., Kaminski, T., Razniewski, S. & Friedrich, A., Mar 2026, Proceedings of the AAAI Conference on Artificial Intelligence. Koenig, S., Jenkins, C. & Taylor, M. E. (eds.). Association for the Advancement of Artificial Intelligence, p. 25226-25234, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Foundations of LLM Knowledge Materialization: Termination, Reproducibility, RobustnessGiordano, L. & Razniewski, S., Mar 2026, 19th Conference of the European Chapter of the Association for Computational Linguistics, Findings of EACL 2026. Association for Computational Linguistics (ACL), p. 2145-2164, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• GPTKB v1.5: A Massive Knowledge Base for Exploring Factual LLM KnowledgeHu, Y., Nguyen, T. P., Ghosh, S., Müller, M. & Razniewski, S., Mar 2026, In: Proceedings of the AAAI Conference on Artificial Intelligence. 40, 48, p. 41604-41606, 3 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Impact of a Data-driven Teaching Approach on 9th Graders Conceptual Understanding of Machine LearningMarx, E., Leonhardt, T. & Bergner, N., Mar 2026, In: Proceedings of the AAAI Conference on Artificial Intelligence. 40, 47, p. 40643-40651, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article