Selected Publications

• Froese, V., Grillo, M., Hertrich, C., & Stargalla, M. (2025). Parameterized Hardness of Zonotope Containment and Neural Network Verification. Preprint.
• Stargalla, M., & Wagner, F. (2025). Optimized Qubit Routing for Commuting Gates via Integer Programming. Preprint.
• Stargalla, M., Hertrich, C., & Reichman, D. (2025) The Computational Complexity of Counting Linear Regions in ReLU Neural Networks. Preprint.
• Hagn, A., Krause, J., Moreno, L., & Stargalla, M. (2024) Exact and Heuristic Approaches for the Covering Tour Location Routing Problem. Preprint.