| Scalable optimal layout synthesis for NISQ quantum processors WH Lin, J Kimko, B Tan, N Bjørner, J Cong 2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023 | 10 | 2023 |
| Domain-specific quantum architecture optimization WH Lin, B Tan, MY Niu, J Kimko, J Cong IEEE Journal on Emerging and Selected Topics in Circuits and Systems 12 (3 …, 2022 | 6 | 2022 |
| A bridge-based compression algorithm for topological quantum circuits CH Hsu, WH Lin, WH Tseng, YW Chang 2021 58th ACM/IEEE Design Automation Conference (DAC), 457-462, 2021 | 2 | 2021 |
| Language Equation Solving via Boolean Automata Manipulation WH Lin, CH Su, JHR Jiang Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided …, 2022 | | 2022 |
| A Bridge-Based Compression Algorithm for Topological Quantum Circuits WH Tseng, CH Hsu, WH Lin, YW Chang IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | | 2022 |
| Compatible Equivalence Checking of X-Valued Circuits YN Wang, YR Luo, PC Chien, PL Wang, HR Wang, WH Lin, JHR Jiang, ... 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9, 2021 | | 2021 |
