A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis. - Giulia Meuli; Mathias Soeken; Martin Roetteler; Nathan Wiebe; Giovanni De Micheli (ASP-DAC, 2018)

SAT-based {CNOT, T} Quantum Circuit Synthesis. - Giulia Meuli; Mathias Soeken; Giovanni De Micheli (RC, 2018)

Reversible Pebbling Game for Quantum Memory Management. - Giulia Meuli; Mathias Soeken; Martin Roetteler; Nikolaj S. Bjørner; Giovanni De Micheli (DATE, 2019)

The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits. - Giulia Meuli; Mathias Soeken; Earl T. Campbell; Martin Roetteler; Giovanni De Micheli (ICCAD, 2019)

Evaluating ESOP Optimization Methods in Quantum Compilation Flows. - Giulia Meuli; Bruno Schmitt; Rüdiger Ehlers; Heinz Riener; Giovanni De Micheli (RC, 2019)

ROS: Resource-constrained Oracle Synthesis for Quantum Computers. - Giulia Meuli; Mathias Soeken; Martin Roetteler; Giovanni De Micheli (QPL, 2019)

Enumerating Optimal Quantum Circuits using Spectral Classification. - Giulia Meuli; Mathias Soeken; Martin Roetteler; Giovanni De Micheli (ISCAS, 2020)

Automatic accuracy management of quantum programs via (near-)symbolic resource estimation. - Giulia Meuli; Mathias Soeken; Martin Roetteler; Thomas Häner (CoRR, 2020)

Enabling accuracy-aware Quantum compilers using symbolic resource estimation. - Giulia Meuli; Mathias Soeken; Martin Roetteler; Thomas Häner (Proc. ACM Program. Lang., 2020)

From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++. - Bruno Schmitt; Fereshte Mozafari; Giulia Meuli; Heinz Riener; Giovanni De Micheli (DATE, 2021)

Majority-based Design Flow for AQFP Superconducting Family. - Giulia Meuli; Vinicius N. Possani; Rajinder Singh; Siang-Yun Lee; Alessandro Tempia Calvino; Dewmini Sudara Marakkalage; Patrick Vuillod; Luca G. Amarù; Scott Chase; Jamil Kawa; Giovanni De Micheli (DATE, 2022)