Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation. - Philipp Niemann 001; Luca Müller; Rolf Drechsler (DSD, 2021)

Finding Optimal Implementations of Non-native CNOT Gates Using SAT. - Philipp Niemann 001; Luca Müller; Rolf Drechsler (RC, 2021)

SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth. - Luca Müller; Rolf Drechsler (DSD, 2024)

Sicherheitsanforderungen an KI-Systeme. - Oren Halvani; Luca Müller (Datenschutz und Datensicherheit (dud), 2025)