IP routing processing with graphic processors. - Shuai Mu 002; Xinya Zhang; Nairen Zhang; Jiaxin Lu; Yangdong Steve Deng; Shu Zhang (DATE, 2010)

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. - Qinlin Chen; Nairen Zhang; Jinpeng Wang; Tian Tan 001; Chang Xu 001; Xiaoxing Ma; Yue Li 006 (Proc. ACM Program. Lang., 2023)