On the New Application of Call Patterns to CPM Testing of Prolog Programs. - Lingzhong Zhao; Tianlong Gu; Junyan Qian; Guoyong Cai (Australian Conference on Artificial Intelligence, 2006)

Designing Prolog Semantics for a Class of Observables. - Lingzhong Zhao; Tianlong Gu; Junyan Qian; Guoyong Cai (PRICAI, 2006)

A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics. - Lingzhong Zhao; Tianlong Gu; Junyan Qian; Guoyong Cai (SEKE, 2006)

A Base for Achieving Semantics for Prolog with Cut for Correct Observables. - Lingzhong Zhao; Tianlong Gu; Junyan Qian; Guoyong Cai (Software Engineering Research and Practice, 2006)

A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. - Lingzhong Zhao; Tianlong Gu; Junyan Qian; Guoyong Cai (APLAS, 2007)

Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. - Lingzhong Zhao; Tianlong Gu; Junyan Qian (TASE, 2007)

Formula-Dependent Abstraction for CTL Model Checking. - Junyan Qian; Lingzhong Zhao; Guoyong Cai; Tianlong Gu (ICCSA (2), 2008)

Test frame updating in CPM testing of Prolog programs. - Lingzhong Zhao; Tianlong Gu; Junyan Qian; Guoyong Cai (Softw. Qual. J., 2008)

Automatic Construction of Complete Abstraction by Abstract Interpretation. - Junyan Qian; Lingzhong Zhao; Guoyong Cai; Tianlong Gu (ACIS-ICIS, 2009)

An ASP based method for subassembly identification. - Lingzhong Zhao; Weizhi Liao; Yili Fang; Junyan Qian; Congwen Zeng (ROBIO, 2009)

An ASP Based Solution to Mechanical Assembly Sequence Planning. - Xuesong Wang; Lingzhong Zhao; Congwen Zeng; Junyan Qian; Tianlong Gu (WGEC, 2009)

Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning. - Lingzhong Zhao; Xuesong Wang; Junyan Qian; Tianlong Gu (PRICAI, 2010)

Using ASP for knowledge management with user authorization. - Lingzhong Zhao; Junyan Qian; Liang Chang 003; Guoyong Cai (Data Knowl. Eng., 2010)

A Comparative Study on Appending Priority Relations of Rules in BDI-Based Agent Model. - You Li 007; Yuming Lin 001; Lingzhong Zhao (CIS, 2011)

A Family of Dynamic Description Logics for Representing and Reasoning About Actions. - Liang Chang 003; Zhongzhi Shi; Tianlong Gu; Lingzhong Zhao (J. Autom. Reason., 2012)

CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming. - Lingyun Situ; Lingzhong Zhao (APSEC, 2015)

基于Petri网的CSP并发系统验证技术研究 (Verification of Concurrent CSP Systems Based on Petri Net). - Yanqing Liu; Lingzhong Zhao; Junyan Qian (计算机科学, 2015)

Linearizability Proof of Stack Data. - Junyan Qian; Guo-Qing Yao; Guang-Xi Chen; Lingzhong Zhao (ICCSA (4), 2016)

An Improved Reconfiguration Algorithm for VLSI Arrays with A-Star. - Junyan Qian; Zhide Zhou; Lingzhong Zhao; Tianlong Gu (ICCSA (2), 2016)

A Data-Driven Service Creation Approach for End-Users. - Zhongyi Zhai; Bo Cheng 001; Yue Tian; Junliang Chen 001; Lingzhong Zhao; Meng Niu (IEEE Access, 2016)

An integer programming method for constructing tightly coupled VLSI subarrays. - Junyan Qian; Zhide Zhou; Lingzhong Zhao; Tianlong Gu; Liang Chang 003 (IEICE Electron. Express, 2016)

Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow. - Junyan Qian; Zhide Zhou; Tianlong Gu; Lingzhong Zhao; Liang Chang 003 (IEEE Trans. Parallel Distributed Syst., 2016)

A Mathematical Model for Reconfiguring VLSI Subarrays Under Row and Column Rerouting. - Junyan Qian; Yiping Wang; Liang Chang 003; Zhide Zhou; Lingzhong Zhao (IEEE Access, 2017)

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 001 (MobiCom, 2018)

Improvement in JavaMOP by Simplifying Büchi Automaton. - Junyan Qian; Cong Chen; Wei Cao; Zhongyi Zhai; Lingzhong Zhao (SETTA, 2018)

MobiMVL: A Model-Driven Mobile Application Development Approach for End-Users. - Zhongyi Zhai; Ke Xiang; Lingzhong Zhao; Junyan Qian (ICAIS (1), 2020)

An efficient multiple shortest augmenting paths algorithm for constructing high performance VLSI subarray. - Junyan Qian; Bisheng Huang; Hao Ding 007; Zhide Zhou; Lingzhong Zhao; Zhongyi Zhai (Integr., 2020)

IoT-RECSM - Resource-Constrained Smart Service Migration Framework for IoT Edge Computing Environment. - Zhongyi Zhai; Ke Xiang; Lingzhong Zhao; Bo Cheng 001; Junyan Qian; Jinsong Wu 001 (Sensors, 2020)

Efficient Reconfiguration Algorithm With Flexible Rerouting Schemes for Constructing 3-D VLSI Subarrays. - Junyan Qian; Hao Ding 007; Hanpeng Xiao; Zhide Zhou; Lingzhong Zhao; Zhongyi Zhai (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

SmartCamera: Realtime Video Stream-Oriented Action Recognition Platform in Edge Environment. - Zhongyi Zhai; Xiaofeng Chen; Yinduo Zhao; Lingzhong Zhao; Junyan Qian; Jinsong Wu 001 (UbiComp/ISWC Adjunct, 2021)

A mathematical programming method for constructing the shortest interconnection VLSI arrays. - Hao Ding 007; Junyan Qian; Lingzhong Zhao; Zhongyi Zhai (Integr., 2021)

An improved algorithm for accelerating reconfiguration of VLSI array. - Junyan Qian; Fuhao Mo; Hao Ding 007; Zhide Zhou; Lingzhong Zhao; Zhongyi Zhai (Integr., 2021)

Flexible scheme for reconfiguring 2D mesh-connected VLSI subarrays under row and column rerouting. - Hao Ding 007; Junyan Qian; Bisheng Huang; Lingzhong Zhao; Zhongyi Zhai (J. Parallel Distributed Comput., 2021)

A high-performance VLSI array reconfiguration scheme based on network flow under row and column rerouting. - Hao Ding 007; Junyan Qian; Lingzhong Zhao; Zhongyi Zhai (J. Parallel Distributed Comput., 2021)

An efficiency-enhanced deep learning model for citywide crowd flows prediction. - Zhongyi Zhai; Peipei Liu; Lingzhong Zhao; Junyan Qian; Bo Cheng 001 (Int. J. Mach. Learn. Cybern., 2021)

Lightweight Secure Detection Service for Malicious Attacks in WSN With Timestamp-Based MAC. - Zhongyi Zhai; Guibing Lai; Bo Cheng 001; Junyan Qian; Lingzhong Zhao; Jinsong Wu 001; Zhiguo Wan (IEEE Trans. Netw. Serv. Manag., 2022)

Joint multi-scale information and long-range dependence for video captioning. - Zhongyi Zhai; Xiaofeng Chen; Yishuang Huang; Lingzhong Zhao; Bo Cheng; Qian He (Int. J. Multim. Inf. Retr., 2023)

MAIT: Multi-agent Local Observation Interaction to Improve the Decision-Making Ability. - Lingzhong Zhao; Fuliang Luo; Zhongyi Zhai; Junyan Qian; Hao Ding 007; Changye Li 002 (ICIC (2), 2024)

Efficient 3-D Processor Array Reconfiguration Algorithms Based on Bucket Effect. - Hao Ding 007; Yanlong He; Zhongyi Zhai; Zhi Li 017; Junyan Qian; Lingzhong Zhao (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Strengthening attention: knowledge distillation via cross-layer feature fusion for image classification. - Zhongyi Zhai; Jie Liang; Bo Cheng 001; Lingzhong Zhao; Junyan Qian (Int. J. Multim. Inf. Retr., 2024)