Publications

2025

• Verifying Datalog Reasoning with LeanTantow, J., Gerlach, L., Mennicke, S. & Krötzsch, M., 22 Sep 2025, 16th International Conference on Interactive Theorem Proving, ITP 2025. Forster, Y. & Keller, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 36Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Tailoring binary decision diagram compilation for feature modelsDubslaff, C., Husung, N. & Käfer, N., 20 Sep 2025, In: Journal of Systems and Software. 231, 19 p., 112566Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Automation in Biopharma: Impact of Industrial Control as a ServiceVogt, L. & Urbas, L., 18 Sep 2025, IFAC PapersOnLine. 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Conductive coatings for de-icing systems for wind turbine blades – Example of efficient technology transfer achieved through strategic research-industry cooperationStanik, R., Luft, R., Gude, M., Trommer, K., Rincke, C., Przybyszewski, B., Boczkowska, A. & 2 others, 18 Sep 2025Research output: Contribution to conferences > Presentation slides
• Eulerian Simulation of Premixed Submerged Multiphase Turbulent JetsKamble, V., Fröhlich, J. & Rzehak, R., 18 Sep 2025, In: Experimental and Computational Multiphase FlowResearch output: Contribution to journal > Research article
• Rethinking Beam Squint Mitigation in XL-MIMO: The Impact of Practical TTD ConstraintsKhan, M. Q., parvini, M., Mewes, T., Schulz, P. & Fettweis, G., 18 Sep 2025, 2025 28th International Workshop on Smart Antennas (WSA). IEEE Canada, p. 53-59, 7 p., 11202802Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• RoHS-Compliant, Cu-Zn-In-Se-Based Core/Multi-shell Quantum Dots with Efficient and Tunable Short-Wave Infrared EmissionSaha, A., Cervino, M., Roshan, H., Hübner, R., Wrzesińska-Lashkova, A., Steinbach, C., Vaynzof, Y. & 2 others, 18 Sep 2025, In: Advanced functional materialsElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Digitale und KI-gestützte Lösungen für einen sicheren und effizienten Rückbau kerntechnischer Anlagen: Das Forschungs- und Entwicklungsvorhaben “K.I.S.S.”Kettler, J., Dyrna, J., Mönig, H., Wilden, A., Modolo, G., Aymanns, K., Wippler, D. & 34 others, 17 Sep 2025, 17. Internationales Symposium "Konditionierung radioaktiver Betriebs- und Stilllegungsabfälle & Stilllegung kerntechnischer Anlagen". p. 12Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Efficient derivation of a nonlinear cohesive bridging law for numerical delamination simulations under static and fatigue loadingHacker, G., Just, G., Scheffler, S., Koch, I., Gude, M. & Rolfes, R., 17 Sep 2025, In: Composite Structures. 373, 15 p., 119585Electronic (full-text) versionResearch output: Contribution to journal > Research article
• In situ CT of clinch points – Enhancing interface detectability using electroplated patterns of radiopaque materialsKöhler, D., Dargel, A., Troschitz, J., Gude, M. & Kupfer, R., 17 Sep 2025, In: Journal of Nondestructive Evaluation. 44, 4, 8 p., 131Electronic (full-text) versionResearch output: Contribution to journal > Research article