| 2022 | ICTAI | A Supervised Learning Rule for Recurrent Spiking Neural Networks with Weighted Spikes. | Guoyong Shi, Jungang Liang, Yong Cui |
| 2018 | ICANN | A Supervised Multi-spike Learning Algorithm for Recurrent Spiking Neural Networks. | Xianghong Lin, Guoyong Shi |
| 2015 | ISCAS | An interactive program for automatic network function generation with insights. | Yanjie Gu, Guoyong Shi |
| 2015 | ISCAS | Topological symbolic simplification for analog design. | Hanbin Hu, Guoyong Shi, Andy Tai, Frank Lee |
| 2015 | ISCAS | A symbolic SC integrator model for fast time-response simulation. | Ailin Zhang, Guoyong Shi |
| 2014 | ASPDAC | Symbolic computation of SNR for variational analysis of sigma-delta modulator. | Jiandong Cheng, Guoyong Shi |
| 2013 | ASPDAC | Stable backward reachability correction for PLL verification with consideration of environmental noise induced jitter. | Yang Song, Haipeng Fu, Hao Yu, Guoyong Shi |
| 2012 | ASPDAC | Time-domain performance bound analysis of analog circuits considering process variations. | Xuexin Liu, Sheldon X.-D. Tan, Zhigang Hao, Guoyong Shi |
| 2012 | ASPDAC | Hierarchical graph reduction approach to symbolic circuit analysis with data sharing and cancellation-free properties. | Yang Song, Guoyong Shi |
| 2011 | ASPDAC | Hierarchical exact symbolic analysis of large analog integrated circuits by symbolic stamps. | Hui Xu, Guoyong Shi, Xiaopeng Li |
| 2011 | DAC | Performance bound analysis of analog circuits considering process variations. | Zhigang Hao, Sheldon X.-D. Tan, Ruijing Shen, Guoyong Shi |
| 2011 | ISCAS | Hierarchical symbolic sensitivity computation with applications to large amplifier circuit design. | Xiaopeng Li, Hui Xu, Guoyong Shi, Andy Tai |
| 2010 | ASPDAC | A fast symbolic computation approach to statistical analysis of mesh networks with multiple sources. | Zhigang Hao, Guoyong Shi |
| 2010 | ICCAD | A simple implementation of determinant decision diagram. | Guoyong Shi |
| 2009 | ISCAS | Variational Analog Integrated Circuit Design via Symbolic Sensitivity Analysis. | Guoyong Shi, Xiaoxuan Meng |
| 2007 | ASPDAC | A Graph Reduction Approach to Symbolic Circuit Analysis. | Guoyong Shi, Weiwei Chen, Chuanjin Richard Shi |
| 2004 | ASPDAC | Parametric reduced order modeling for interconnect analysis. | Guoyong Shi, Chuanjin Richard Shi |