| 2024 | TASE | Managing Traceability for Software Life Cycle Processes. | Hao Wen, Jinzhao Wu, Jianmin Jiang, Jianqing Li, Zhong Hong |
| 2023 | FOCS | Simultaneous Auctions are Approximately Revenue-Optimal for Subadditive Bidders. | Yang Cai, Ziyun Chen, Jinzhao Wu |
| 2023 | STOC | On the Optimal Fixed-Price Mechanism in Bilateral Trade. | Yang Cai, Jinzhao Wu |
| 2022 | STOC | (Fractional) online stochastic matching via fine-grained offline statistics. | Zhihao Gavin Tang, Jinzhao Wu, Hongxun Wu |
| 2021 | ICALP | Random Order Vertex Arrival Contention Resolution Schemes for Matching, with Applications. | Hu Fu, Zhihao Gavin Tang, Hongxun Wu, Jinzhao Wu, Qianfan Zhang |
| 2021 | ICASSP | Robust Binary Loss for Multi-Category Classification with Label Noise. | Defu Liu, Guowu Yang, Jinzhao Wu, Jiayi Zhao, Fengmao Lv |
| 2021 | ICONIP | Adaptive Curriculum Learning for Semi-supervised Segmentation of 3D CT-Scans. | Obed Tettey Nartey, Guowu Yang, Dorothy Araba Yakoba Agyapong, Jinzhao Wu, Asare K. Sarpong, Lady Nadia Frempong |
| 2018 | AISC | The Accessibility of Mathematical Formulas for the Visually Impaired in China. | Wei Su, Chuan Cai, Jinzhao Wu |
| 2018 | ICONIP | Improving Target Discriminability for Unsupervised Domain Adaptation. | Fengmao Lv, Hao Chen, Jinzhao Wu, Linfeng Zhong, Xiaoyu Li, Guowu Yang |
| 2018 | QRS | A FPGA Based SAT Solver with High Random and Concurrent Strategies. | Anping He, Lvying Yu, Haitao Zhang, Lian Li, Jinzhao Wu |
| 2017 | ICONIP | Anomaly Detection for Categorical Observations Using Latent Gaussian Process. | Fengmao Lv, Guowu Yang, Jinzhao Wu, Chuan Liu, Yuhong Yang |
| 2010 | TASE | Runtime Verification with Multi-valued Formula Rewriting. | Lin Zhao, Tao Tang, Jinzhao Wu, Tianhua Xu |
| 2008 | ICNC | Probabilistic Modal Kleene Algebra and Hoare-Style Logic. | Rui Qiao, Jinzhao Wu, Xinyan Gao |
| 2008 | ISCC | Theory framework for event structure slicing. | Xinyan Gao, Jinzhao Wu, Rui Qiao, Jianfeng Chen |
| 2008 | ISCC | Operational semantics of probabilistic Kleene algebra with tests. | Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu |
| 2008 | TASE | Open Logic Based on Partial-Ordered Partition Model. | Liannan Lin, Jinzhao Wu, Xiang Xu |
| 2007 | CATA | A Logic for Flow Event Structures. | Jinzhao Wu, Wei Yan |
| 2007 | FAW | A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. | Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li |
| 2007 | TASE | QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. | Donghuo Chen, Guangquan Zhang, Jinzhao Wu |
| 2007 | TASE | Symmetry in Process Algebra. | Jianmin Jiang, Jinzhao Wu, Hongping Shu |
| 2007 | TASE | Multi-Valued Model Checking via Groebner Basis Approach. | Jinzhao Wu, Lin Zhao |
| 2006 | ICNC | Simulation for Interactive Markov Chains. | Xiying Zhao, Lian Li, Jinzhao Wu |
| 2006 | SAC | Symmetry in event structures. | Jianmin Jiang, Jinzhao Wu, Donghuo Chen |
| 2006 | SOFSEM | Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. | Donghuo Chen, Jinzhao Wu |
| 2005 | ICECCS | The Preservation of Interleaving Equivalences. | Jianmin Jiang, Jinzhao Wu |
| 2005 | ICTAC | Compositionality of Fixpoint Logic with Chop. | Naijun Zhan, Jinzhao Wu |
| 2005 | ISSAC | Application of Wu's method to symbolic model checking. | Weibo Mao, Jinzhao Wu |
| 2005 | PDCAT | Symmetry and Autobisimulation. | Jianmin Jiang, Jinzhao Wu |
| 2005 | SEFM | Operational Semantics for Real-Time Processes with Action Refinement. | Xiuli Sun, Jinzhao Wu |
| 2004 | FORTE | Branching Time Equivalences for Interactive Markov Chains. | Guangping Qin, Jinzhao Wu |
| 2004 | ICFEM | Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. | Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan |
| 2004 | SEFM | Towards Action Refinement for Concurrent Systems with Causal Ambiguity. | Jinzhao Wu, Houguang Yue |
| 2003 | ICFEM | Adding Action Refinement to Stochastic True Concurrency Models. | Mila E. Majster-Cederbaum, Jinzhao Wu |
| 2001 | ICECCS | Action Refinement for True Concurrent Real Time. | Mila E. Majster-Cederbaum, Jinzhao Wu |
| 1993 | ISSAC | The Regular Problem and Green Equivalences for Special Monoids. | Jinzhao Wu, Lian Li |