| 2026 | ISCAS | Three-Independent-Gate Reconfigurable Transistors in 22 nm FDSOI for in-Sensor Time-Domain Mixed-Signal Processing. | Juan P. Martinez, Yuxuan He, Giulio Galderisi, Roberta Grasso, Marrit Jen Hong Li, Junyan Qian, Eugenio Cantatore, Sandro Carrara, Thomas Mikolajick, Jens Trommer |
| 2026 | ISCAS | In-Sensor Computing by Reconfigurable Field-Effect Transistors. | Junyan Qian, Roberta Grasso, Sandro Carrara |
| 2020 | PPoPP | Reflector: a fine-grained I/O tracker for HPC systems. | Abdullah Al-Mamun, Jialin Liu, Tonglin Li, Quincey Koziol, Zhongyi Zhai, Junyan Qian, Haoting Shen, Dongfang Zhao |
| 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 |
| 2017 | QRS | An In-Depth Study of the Efficiency of Risk Evaluation Formulas for Multi-Fault Localization. | Xiaolin Ju, Xiang Chen, Yibiao Yang, Shujuan Jiang, Junyan Qian, Baowen Xu |
| 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 | APWEB | Ad Dissemination Game in Ephemeral Networks. | Lihua Yin, Yunchuan Guo, Yanwei Sun, Junyan Qian, Athanasios V. Vasilakos |
| 2012 | SERVICES | WSSecTool: A Web Service Security Analysis Tool Based on Program Slicing. | Wei Fu, Yingzhou Zhang, Xianting Zhu, Junyan Qian |
| 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 | PDPTA | Optimization Construction of Region Automaton. | 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 |
| 2005 | FORTE | Model Checking for Timed Statecharts. | Junyan Qian, Baowen Xu |