Publications

2025

• Grenzen übewinden - voneinander lernen: 21. GI-Fachtagung Informatik und SchuleGrillenberger, M. & Grillenberger, A., 22 Sep 2025, Gesellschaft für Informatik, BonnElectronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Modellierung und experimentelle Untersuchung anorganischer Salz-Wasser-GemischePinnau, S., Lorenz, T., Mickoleit, E., Schneegans, M. F. & Breitkopf, C., 22 Sep 2025Research output: Contribution to conferences > Poster
• MOGA-EOS: Ein universelles Toolkit zur Parameteroptimierung von ZustandsgleichungenSchneegans, M. F., Knöbel, E., Breitkopf, C. & Jäger, A., 22 Sep 2025Research output: Contribution to conferences > Poster
• Simulationsgestütze Analyse schüttungsbedingter Einflüsse für Frequency-Response-MessungenGrau Turuelo, C., Grün, R. & Breitkopf, C., 22 Sep 2025Research output: Contribution to conferences > Poster
• Understanding Human Behavior In Mixed Reality Juggling Simulator With Haptic InteractionBondarenko, V., Winger, H., Rosenkranz, R., Altinsoy, M. E., Nguyen, G. T. & Fitzek, F. H., 22 Sep 2025, 2025 IEEE International Conference on Communications Workshops, ICC Workshops 2025. Valenti, M., Reed, D. & Torres, M. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 989-994, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Optimizing Laser Ablation of Stainless Steels for Volume Removal and Surface Quality Using Burst of PulsesObergfell, D., Azarhoushang, B. & Lasagni, A. F., 21 Sep 2025, In: Advanced engineering materials. 27, 22, e202501212Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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
• Enhanced emission of GaAs quantum dots in bend nanomembranesZena, Y. G., Pal, M., Langer, M., Sai, D., Rahimi, A., Bassoli, R., Bayelgn, A. A. & 2 others, 19 Sep 2025, Quantum Communications and Quantum Imaging XXIII. Deacon, K. S. & Meyers, R. E. (eds.). SPIE - The international society for optics and photonics, Vol. 13618. p. 136180J, 136180JElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Automation in Biopharma: Impact of Industrial Control as a ServiceVogt, L. & Urbas, L., 18 Sep 2025, IFAC PapersOnLine. 25 ed., Vol. 59. p. 43-48, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution