Stochastic Decomposition in M/M/infinity Queues with Markov Modulated Service Rates. - Melike Baykal-Gursoy; Weihua Xiao (Queueing Syst. Theory Appl., 2004)

TSL Dissertation Abstracts: 2004 Transportation Science and Logistics Section Dissertation Prize Competition. - Lawrence Snyder 001; Miguel Andres Figliozzi; Jeffrey Michael Casello; Elaine J. Chang; Chi-Nan Chin; Frank Crittin; Laurie Garrow; Paulo Goncalves; Dennis Huisman; Wenlong Jin; Laura Sumi Kang; Zongzhi Li; et al. (Transp. Sci., 2005)

Modeling traffic flow interrupted by incidents. - Melike Baykal-Gürsoy; Weihua Xiao; Kaan Özbay (Eur. J. Oper. Res., 2009)

Probabilistic programming models for traffic incident management operations planning. - Kaan Özbay; Cem Iyigun; Melike Baykal-Gursoy; Weihua Xiao (Ann. Oper. Res., 2013)

Exploring Target Function Approximation for Stochastic Circuit Minimization. - Chen Wang 072; Weihua Xiao; John P. Hayes; Weikang Qian (ICCAD, 2020)

GOMIL: Global Optimization of Multiplier by Integer Linear Programming. - Weihua Xiao; Weikang Qian; Weiqiang Liu 001 (DATE, 2021)

OPACT: Optimization of Approximate Compressor Tree for Approximate Multiplier. - Weihua Xiao; Cheng Zhuo; Weikang Qian (DATE, 2022)

ASPPLN: Accelerated Symbolic Probability Propagation in Logic Network. - Weihua Xiao; Weikang Qian (ICCAD, 2022)

Quantified Satisfiability-based Simultaneous Selection of Multiple Local Approximate Changes under Maximum Error Bound. - Chenfei Lou; Weihua Xiao; Weikang Qian (ISCAS, 2022)

MiniTNtk: An Exact Synthesis-based Method for Minimizing Transistor Network. - Weihua Xiao; Shanshan Han; Yue Yang; Shaoze Yang; Cheng Zheng; Jingsong Chen; Tingyuan Liang; Lei Li; Weikang Qian (ICCAD, 2023)

Efficient Approximate Decomposition Solver using Ising Model. - Weihua Xiao; Tingting Zhang; Xingyue Qian; Jie Han 001; Weikang Qian (DAC, 2024)

PrefixLLM: LLM-aided Prefix Circuit Design. - Weihua Xiao; Venkata Sai Charan Putrevu; Raghu Vamshi Hemadri; Siddharth Garg; Ramesh Karri (CoRR, 2024)

A Survey on Approximate Multiplier Designs for Energy Efficiency: From Algorithms to Circuits. - Ying Wu; Chuangtao Chen 001; Weihua Xiao; Xuan Wang; Chenyi Wen; Jie Han 001; Xunzhao Yin; Weikang Qian; Cheng Zhuo (ACM Trans. Design Autom. Electr. Syst., 2024)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification. - Patrick Yubeaton; Andre Nakkab; Weihua Xiao; Luca Collini; Ramesh Karri; Chinmay Hegde; Siddharth Garg (CoRR, 2025)

Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA. - Weihua Xiao; Derek Ekberg; Siddharth Garg; Ramesh Karri (CoRR, 2025)