| 2018 | MOBICOM | Poster: A Lightweight Timestamp-based MAC Detection Scheme for XOR Network Coding in Wireless Sensor Networks. | Zhongyi Zhai, Junyan Qian, Yuan Tao, Lingzhong Zhao, Bo Cheng |
| 2018 | SETTA | Improvement in JavaMOP by Simplifying Bchi Automaton. | Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao |
| 2016 | ICCSA | Linearizability Proof of Stack Data. | Junyan Qian, Guo-Qing Yao, Guang-Xi Chen, Lingzhong Zhao |
| 2016 | ICCSA | An Improved Reconfiguration Algorithm for VLSI Arrays with A-Star. | Junyan Qian, Zhide Zhou, Lingzhong Zhao, Tianlong Gu |
| 2015 | APSEC | CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming. | Lingyun Situ, Lingzhong Zhao |
| 2011 | CIS | A Comparative Study on Appending Priority Relations of Rules in BDI-Based Agent Model. | You Li, Yuming Lin, Lingzhong Zhao |
| 2010 | PRICAI | Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning. | Lingzhong Zhao, Xuesong Wang, Junyan Qian, Tianlong Gu |
| 2008 | ICCSA | Formula-Dependent Abstraction for CTL Model Checking. | Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu |
| 2007 | APLAS | A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |
| 2007 | TASE | Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. | Lingzhong Zhao, Tianlong Gu, Junyan Qian |
| 2006 | PRICAI | Designing Prolog Semantics for a Class of Observables. | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |
| 2006 | SEKE | A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics. | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |