Mingfei Yu, Alessandro Tempia Calvino, Mathias Soeken, Giovanni De Micheli. Back-end-aware Fault-tolerant Quantum Oracle Synthesis. In Yuichi Nakamura 0002, Yu Wang 0002, editors, Proceedings of the 30th Asia and South Pacific Design Automation Conference, ASPDAC 2025, Tokyo, Japan, January 20-23, 2025. pages 930-937, ACM, 2025. [doi]