Lingzhong Zhao

According to our database, Lingzhong Zhao authored at least 38 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Efficient 3-D Processor Array Reconfiguration Algorithms Based on Bucket Effect.

Hao Ding, Yanlong He, Zhongyi Zhai, Zhi Li, Junyan Qian, Lingzhong Zhao

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2024

2023

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., December, 2023

2022

Lightweight Secure Detection Service for Malicious Attacks in WSN With Timestamp-Based MAC.

Zhongyi Zhai, Guibing Lai, Bo Cheng, Junyan Qian, Lingzhong Zhao, Jinsong Wu, Zhiguo Wan

IEEE Trans. Netw. Serv. Manag., December, 2022

2021

An efficiency-enhanced deep learning model for citywide crowd flows prediction.

Zhongyi Zhai, Peipei Liu, Lingzhong Zhao, Junyan Qian, Bo Cheng

Int. J. Mach. Learn. Cybern., 2021

A high-performance VLSI array reconfiguration scheme based on network flow under row and column rerouting.

Hao Ding, Junyan Qian, Lingzhong Zhao, Zhongyi Zhai

J. Parallel Distributed Comput., 2021

Flexible scheme for reconfiguring 2D mesh-connected VLSI subarrays under row and column rerouting.

Hao Ding, Junyan Qian, Bisheng Huang, Lingzhong Zhao, Zhongyi Zhai

J. Parallel Distributed Comput., 2021

An improved algorithm for accelerating reconfiguration of VLSI array.

Junyan Qian, Fuhao Mo, Hao Ding, Zhide Zhou, Lingzhong Zhao, Zhongyi Zhai

Integr., 2021

A mathematical programming method for constructing the shortest interconnection VLSI arrays.

Hao Ding, Junyan Qian, Lingzhong Zhao, Zhongyi Zhai

Integr., 2021

SmartCamera: Realtime Video Stream-Oriented Action Recognition Platform in Edge Environment.

Zhongyi Zhai, Xiaofeng Chen, Yinduo Zhao, Lingzhong Zhao, Junyan Qian, Jinsong Wu

Proceedings of the UbiComp/ISWC '21: 2021 ACM International Joint Conference on Pervasive and Ubiquitous Computing and 2021 ACM International Symposium on Wearable Computers, 2021

2020

Efficient Reconfiguration Algorithm With Flexible Rerouting Schemes for Constructing 3-D VLSI Subarrays.

Junyan Qian, Hao Ding, Hanpeng Xiao, Zhide Zhou, Lingzhong Zhao, Zhongyi Zhai

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

IoT-RECSM - Resource-Constrained Smart Service Migration Framework for IoT Edge Computing Environment.

Zhongyi Zhai, Ke Xiang, Lingzhong Zhao, Bo Cheng, Junyan Qian, Jinsong Wu

Sensors, 2020

An efficient multiple shortest augmenting paths algorithm for constructing high performance VLSI subarray.

Junyan Qian, Bisheng Huang, Hao Ding, Zhide Zhou, Lingzhong Zhao, Zhongyi Zhai

Integr., 2020

MobiMVL: A Model-Driven Mobile Application Development Approach for End-Users.

Zhongyi Zhai, Ke Xiang, Lingzhong Zhao, Junyan Qian

Proceedings of the Artificial Intelligence and Security - 6th International Conference, 2020

2018

Improvement in JavaMOP by Simplifying Büchi Automaton.

Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

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

Proceedings of the 24th Annual International Conference on Mobile Computing and Networking, 2018

2017

A Mathematical Model for Reconfiguring VLSI Subarrays Under Row and Column Rerouting.

Junyan Qian, Yiping Wang, Liang Chang, Zhide Zhou, Lingzhong Zhao

IEEE Access, 2017

2016

Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow.

Junyan Qian, Zhide Zhou, Tianlong Gu, Lingzhong Zhao, Liang Chang

IEEE Trans. Parallel Distributed Syst., 2016

An integer programming method for constructing tightly coupled VLSI subarrays.

Junyan Qian, Zhide Zhou, Lingzhong Zhao, Tianlong Gu, Liang Chang

IEICE Electron. Express, 2016

A Data-Driven Service Creation Approach for End-Users.

Zhongyi Zhai, Bo Cheng, Yue Tian, Junliang Chen, Lingzhong Zhao, Meng Niu

IEEE Access, 2016

An Improved Reconfiguration Algorithm for VLSI Arrays with A-Star.

Junyan Qian, Zhide Zhou, Lingzhong Zhao, Tianlong Gu

Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

Linearizability Proof of Stack Data.

Junyan Qian, Guo-Qing Yao, Guang-Xi Chen, Lingzhong Zhao

Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

2015

基于Petri网的CSP并发系统验证技术研究 (Verification of Concurrent CSP Systems Based on Petri Net).

Yanqing Liu, Lingzhong Zhao, Junyan Qian

计算机科学, 2015

CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming.

Lingyun Situ, Lingzhong Zhao

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2012

A Family of Dynamic Description Logics for Representing and Reasoning About Actions.

Liang Chang, Zhongzhi Shi, Tianlong Gu, Lingzhong Zhao

J. Autom. Reason., 2012

2011

A Comparative Study on Appending Priority Relations of Rules in BDI-Based Agent Model.

You Li, Yuming Lin, Lingzhong Zhao

Proceedings of the Seventh International Conference on Computational Intelligence and Security, 2011

2010

Using ASP for knowledge management with user authorization.

Lingzhong Zhao, Junyan Qian, Liang Chang, Guoyong Cai

Data Knowl. Eng., 2010

Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning.

Lingzhong Zhao, Xuesong Wang, Junyan Qian, Tianlong Gu

Proceedings of the PRICAI 2010: Trends in Artificial Intelligence, 2010

2009

An ASP Based Solution to Mechanical Assembly Sequence Planning.

Xuesong Wang, Lingzhong Zhao, Congwen Zeng, Junyan Qian, Tianlong Gu

Proceedings of the 2009 Third International Conference on Genetic and Evolutionary Computing, 2009

An ASP based method for subassembly identification.

Lingzhong Zhao, Weizhi Liao, Yili Fang, Junyan Qian, Congwen Zeng

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2009

Automatic Construction of Complete Abstraction by Abstract Interpretation.

Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

Test frame updating in CPM testing of Prolog programs.

Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai

Softw. Qual. J., 2008

Formula-Dependent Abstraction for CTL Model Checking.

Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu

Proceedings of the Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30, 2008

2007

Goal-independent Semantics for Path Dependent Analysis of Prolog Programs.

Lingzhong Zhao, Tianlong Gu, Junyan Qian

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics.

Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

A Base for Achieving Semantics for Prolog with Cut for Correct Observables.

Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 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

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Designing Prolog Semantics for a Class of Observables.

Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai

Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

On the New Application of Call Patterns to CPM Testing of Prolog Programs.

Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006