A 0.13 µm CMOS Quad-Band GSM/GPRS/EDGE RF Transceiver Using a Low-Noise Fractional-N Frequency Synthesizer and Direct-Conversion Architecture. - Pei-Wei Chen; Tser-Yu Lin; Ling-Wei Ke; Rickey Yu; Ming-Da Tsai; Stanley Yeh; Yi-Bin Lee; Bosen Tzeng; Yen-Horng Chen; Sheng-Jui Huang; Yu-Hsin Lin; Guang-Kaai Dehng (IEEE J. Solid State Circuits, 2009)

Circuit Learning for Logic Regression on High Dimensional Boolean Space. - Pei-Wei Chen; Yu-Ching Huang; Cheng-Lin Lee; Jie-Hong Roland Jiang (DAC, 2020)

A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving. - Pei-Wei Chen; Yu-Ching Huang; Jie-Hong R. Jiang (AAAI, 2021)

Updating Top-k Dominate Individuals with Incomplete Data Addition. - Jimmy Ming-Tai Wu; Ke Wang; Huizhen Yan; Chao-Chun Chen; Pei-Wei Chen; Jerry Chun-Wei Lin (ISIT, 2023)

SMT-D: New Strategies for Portfolio-Based SMT Solving. - Clark W. Barrett; Pei-Wei Chen; Byron Cook; Bruno Dutertre; Robert B. Jones; Nham Le; Andrew Reynolds 001; Kunal Sheth; Christopher Stephens; Michael W. Whalen (FMCAD, 2024)

SMT-Based Dynamic Multi-Robot Task Allocation. - Victoria Marie Tuck; Pei-Wei Chen; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; S. Shankar Sastry; Sanjit A. Seshia (NFM, 2024)

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. - Pei-Wei Chen; Shaokai Lin; Adwait Godbole; Ramneet Singh; Elizabeth Polgreen; Edward A. Lee; Sanjit A. Seshia (CoRR, 2025)

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments. - Victoria Marie Tuck; Hardik Parwana; Pei-Wei Chen; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; S. Shankar Sastry; Sanjit A. Seshia (CoRR, 2025)