Treewidth-Aware Quantifier Elimination and Expansion for QCSP. - Johannes Klaus Fichte; Markus Hecher; Maximilian F. I. Kieler (CP, 2020)

Eigenstate Correlations in Dual-Unitary Quantum Circuits: Partial Spectral Form Factor. - Felix Fritzsch; Maximilian F. I. Kieler; Arnd Bäcker (Quantum, 2025)