Cui Zhang

According to our database, Cui Zhang authored at least 93 papers between 1993 and 2024.

Collaborative distances:

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

2024

Hierarchical classification of early microscopic lung nodule based on cascade network.

Ziang Liu, Ye Yuan, Cui Zhang, Quan Zhu, Xinfeng Xu, Mei Yuan, Wenjun Tan

Health Inf. Sci. Syst., December, 2024

HCGNet: A Hybrid Change Detection Network Based on CNN and GNN.

Cui Zhang, Liejun Wang, Shuli Cheng

IEEE Trans. Geosci. Remote. Sens., 2024

CBSASNet: A Siamese Network Based on Channel Bias Split Attention for Remote Sensing Change Detection.

Naiwei He, Liejun Wang, Panpan Zheng, Cui Zhang, Lele Li

IEEE Trans. Geosci. Remote. Sens., 2024

Progressive Complementation Network With Semantics and Details for Salient Object Detection in Optical Remote Sensing Images.

Rundong Zhao, Panpan Zheng, Cui Zhang, Liejun Wang

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024

Blockchain-Enabled Variational Information Bottleneck for Data Extraction Based on Mutual Information in Internet of Vehicles.

Cui Zhang, Wenjun Zhang, Qiong Wu, Pingyi Fan, Nan Cheng, Wen Chen, Khaled B. Letaief

CoRR, 2024

Distributed Deep Reinforcement Learning Based Gradient Quantization for Federated Learning Enabled Vehicle Edge Computing.

Cui Zhang, Wenjun Zhang, Qiong Wu, Pingyi Fan, Qiang Fan, Jiangzhou Wang, Khaled B. Letaief

CoRR, 2024

Anti-Byzantine Attacks Enabled Vehicle Selection for Asynchronous Federated Learning in Vehicular Edge Computing.

Cui Zhang, Xiao Xu, Qiong Wu, Pingyi Fan, Qiang Fan, Huiling Zhu, Jiangzhou Wang

CoRR, 2024

2023

Jamming Policy Generation via Heuristic Programming Reinforcement Learning.

Yujie Zhang, Weibo Huo, Yulin Huang, Cui Zhang, Jifang Pei, Yin Zhang, Jianyu Yang

IEEE Trans. Aerosp. Electron. Syst., December, 2023

Machine learning for predicting the risk stratification of 1-5 cm gastric gastrointestinal stromal tumors based on CT.

Cui Zhang, Jian Wang, Yang Yang, Bailing Dai, Zhihua Xu, Fangmei Zhu, Huajun Yu

BMC Medical Imaging, December, 2023

Cross-Chain Trusted Service Quality Computing Scheme for Multichain-Model-Based 5G Network Slicing SLA.

Yunhua He, Cui Zhang, Bin Wu, Yigang Yang, Ke Xiao, Hong Li

IEEE Internet Things J., July, 2023

A Sparse Protocol Parsing Method for IIoT Based on BPSO-vote-HMM Hybrid Model.

Yunhua He, Yueting Wu, Cui Zhang, Jialong Shen, Ke Xiao, Keshav Sood, Limin Sun

IEEE/ACM Trans. Netw., April, 2023

Mobility-Aware Cooperative Caching in Vehicular Edge Computing Based on Asynchronous Federated and Deep Reinforcement Learning.

Qiong Wu, Yu Zhao, Qiang Fan, Pingyi Fan, Jiangzhou Wang, Cui Zhang

IEEE J. Sel. Top. Signal Process., January, 2023

Slow-Time Ambiguity Function Shaping With Spectral Coexistence for Cognitive Radar.

Cui Zhang, Jifang Pei, Yujie Zhang, Yin Zhang, Weibo Huo, Yulin Huang, Xuegang Wang

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023

Radar Operation Mode Recognition via Multifeature Residual-and-Shrinkage ConvNet.

Yujie Zhang, Weibo Huo, Cui Zhang, Yulin Huang, Jifang Pei, Yin Zhang, Jianyu Yang

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023

Transmit Beampattern Design with Similarity and Variable Modulus Constraints for MIMO Radar.

Cui Zhang, Jifang Pei, Yujie Zhang, Qingying Yi, Weibo Huo, Yin Zhang, Yulin Huang

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2023

MIMO Radar Transmit Beampattern Design Based on Neural Network Under Similarity and Constant Modulus Constraints.

Jing Lv, Cui Zhang, Jifang Pei, Weibo Huo, Yin Zhang, Yulin Huang

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2023

An Entity Relation Extraction Algorithm Incorporating Multi-Attention Mechanisms and Remote Supervision.

Cui Zhang, Maojie Zhou

Proceedings of the 2023 8th International Conference on Intelligent Information Processing, 2023

An Efficient and Verifiable Polynomial Cross-chain Outsourcing Calculation Scheme for IoT.

Cui Zhang, Hui Yang, Jun Li, Yunhua He, Jie Zhang, Qiuyan Yao, Chao Li

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

SwinSUNet: Pure Transformer Network for Remote Sensing Image Change Detection.

Cui Zhang, Liejun Wang, Shuli Cheng, Yongming Li

IEEE Trans. Geosci. Remote. Sens., 2022

MIMO Radar Waveform Design for Simultaneous Space-Time-Doppler Domain Optimization: Framework and Implementation.

Cui Zhang, Jifang Pei, Yin Zhang, Weibo Huo, Deqing Mao, Yulin Huang, Jianyu Yang

IEEE Trans. Geosci. Remote. Sens., 2022

Opto-Mechatronics System for Train-Track Micro Deformation Sensing.

Weibing Gan, Shiyu Tu, Yuan Tao, Lingyun Ai, Cui Zhang, Jianguan Tang

Sensors, 2022

A Cross-Chain Trusted Reputation Scheme for a Shared Charging Platform Based on Blockchain.

Yunhua He, Cui Zhang, Bin Wu, Yigang Yang, Ke Xiao, Hong Li

IEEE Internet Things J., 2022

Asynchronous Federated Learning for Edge-assisted Vehicular Networks.

Siyuan Wang, Qiong Wu, Qiang Fan, Cui Zhang, Zhengquan Li

CoRR, 2022

High stable and accurate vehicle selection scheme based on federated edge learning in vehicular networks.

Qiong Wu, Xiaobo Wang, Qiang Fan, Pingyi Fan, Cui Zhang, Zhengquan Li

CoRR, 2022

Towards V2I Age-aware Fairness Access: A DQN Based Intelligent Vehicular Node Training and Test Method.

Qiong Wu, Shuai Shi, Ziyang Wan, Qiang Fan, Pingyi Fan, Cui Zhang

CoRR, 2022

SUMLP: A Siamese U-shaped MLP-based network for change detection.

Cui Zhang, Liejun Wang, Shuli Cheng, Yongming Li

Appl. Soft Comput., 2022

Asynchronous Federated Learning Based Mobility-aware Caching in Vehicular Edge Computing.

Wenhua Wang, Yu Zhao, Qiong Wu, Qiang Fan, Cui Zhang, Zhengquan Li

Proceedings of the 14th International Conference on Wireless Communications and Signal Processing, 2022

Mimo Radar Beampattern Design with Ripple Control and Similarity Constraints.

Cui Zhang, Yongwei Zhang, Yujie Zhang, Yin Zhang, Jifang Pei, Weibo Huo, Yulin Huang

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022

Cognitive Radar Waveform Design with Ambiguity Function Shaping under Spectrum Coexistence.

Cui Zhang, Yin Zhang, Jifang Pei, Weibo Huo, Yulin Huang, Xuegang Wang

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022

Operation Mode Recognition of Airborne Radar Based on Multi-Feature Fusion RS-ConvNet.

Yujie Zhang, Cui Zhang, Weibo Huo, Jifang Pei, Yulin Huang, Yin Zhang

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022

Anti-Clutter Waveform Design of Airborne Radar Short-Time Pulse Train Signal.

Qingying Yi, Cui Zhang, Bin Tang, Jianyu Yang

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022

2021

Advances in the Application of the Dual Fluoroscopic Imaging System in Sports Medicine: A Literature Review.

Cui Zhang, Xiaole Sun, Yunqi Tang, Shaobai Wang, Dongqiang Ye, Weijie Fu, Yu Liu, Lingyan Huang

J. Medical Imaging Health Informatics, 2021

Enhancing Secure Coding Assistant System with Design by Contract and Programming Logic.

Wenhui Liang, Cui Zhang, Jun Dai

Proceedings of the National Cyber Summit (NCS) Research Track 2021, 2021

Designing Waveform with Desired Autocorrelation Properties for Cognitive Radar Target Detection.

Cui Zhang, Jifang Pei, Yin Zhang, Weibo Huo, Yulin Huang, Jianyu Yang, Zhiwei Xing

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

2019

Effects of Annealing on Microstructure and Mechanical Properties of Metastable Powder Metallurgy CoCrFeNiMo_0.2 High Entropy Alloy.

Cui Zhang, Bin Liu, Yong Liu, Qihong Fang, Wenmin Guo, Hu Yang

Entropy, 2019

A learning approach to link adaptation based on multi-entities Bayesian network.

Cui Zhang, Xia Lei, Yannan Yuan, Lijun Song

Clust. Comput., 2019

Enforcing Secure Coding Rules for the C Programming Language Using the Eclipse Development Environment.

Victor Melnik, Jun Dai, Cui Zhang, Benjamin White

Proceedings of the National Cyber Summit, 2019

Eye Focus Detection Based on OpenCV.

Lina Shang, Cui Zhang, Haozheng Wu

Proceedings of the 6th International Conference on Systems and Informatics, 2019

Aspect Level Sentiment Classification Based on Double Attention Mechanism.

Cui Zhang, Maojie Zhou

Proceedings of the EBIMCS 2019: 2nd International Conference on E-Business, 2019

2018

A Novel Mach-Zehnder Interferometer Using Eccentric-Core Fiber Design for Optical Coherence Tomography.

Qiao Xiong, Xinglin Tong, Chengwei Deng, Cui Zhang, Pengfei Wang, Zhiyuan Zheng, Fang Liu

Sensors, 2018

An early detection tool in Eclipse to support secure coding practices.

Benjamin White, Jun Dai, Cui Zhang

Int. J. Inf. Priv. Secur. Integr., 2018

Performance evaluation of the V2I fair access with a finite retry limit.

Qiong Wu, Hao Zhang, Zhengquan Li, Yang Liu, Cui Zhang

EURASIP J. Wirel. Commun. Netw., 2018

A Swarming Approach to Optimize the One-hop Delay in Smart Driving Inter-platoon Communications.

Qiong Wu, Shuzhen Nie, Pingyi Fan, Zhengquan Li, Cui Zhang

CoRR, 2018

Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability.

Nuha Aldausari, Cui Zhang, Jun Dai

Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, 2018

2017

China's international research collaboration: evidence from a panel gravity model.

Cui Zhang, Jing Guo

Scientometrics, 2017

Method for Detecting the Inside of Coke Drum Using Acoustic Signals.

Qian Guo, Xinglin Tong, Cui Zhang, Chengwei Deng, Baolin Zhang, Qiao Xiong, Chaoran Zhou

J. Sensors, 2017

Distributed Kalman consensus filter with event-triggered communication: Formulation and stability analysis.

Cui Zhang, Yingmin Jia

J. Frankl. Inst., 2017

Target tracking over distributed sensor networks by polar measurements with time-varying bias.

Cui Zhang, Yingmin Jia

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

An efficient CGA algorithm against DoS attack on duplicate address detection process.

Cui Zhang, Jinbo Xiong, Qiong Wu

Proceedings of the IEEE Wireless Communications and Networking Conference, 2016

Person re-identification based on deep spatio-temporal features and transfer learning.

Shengke Wang, Cui Zhang, Lianghua Duan, Lina Wang, Shan Wu, Long Chen

Proceedings of the 2016 International Joint Conference on Neural Networks, 2016

Fast pedestrian detection based on object proposals and HOG.

Shengke Wang, Lianghua Duan, Cui Zhang, Long Chen, Guoan Cheng, Jingai Yu

Proceedings of the 2016 International Joint Conference on Neural Networks, 2016

A Voronoi-Based Dummy Generation Algorithm for Privacy-Aware Location-Based Services.

Cui Zhang, Fenghua Li

Proceedings of the IEEE First International Conference on Data Science in Cyberspace, 2016

2014

An intelligent algorithm based on neural network for combinatorial optimization problems.

Cui Zhang, Qiang Li, Rong Long Wang

Proceedings of the 7th International Conference on Biomedical Engineering and Informatics, 2014

2013

2-SQUARE: A Web-Based Enhancement of SQUARE Privacy and Security Requirements Engineering.

Alan Lai, Cui Zhang, Senad Busovaca

Int. J. Softw. Innov., 2013

2012

On cubic non-Cayley vertex-transitive graphs.

Klavdija Kutnar, Dragan Marusic, Cui Zhang

J. Graph Theory, 2012

Linearizability Problem of Resonant Degenerate Singular Point for Polynomial Differential Systems.

Yusen Wu, Cui Zhang, Luju Liu

J. Appl. Math., 2012

Hamilton paths in vertex-transitive graphs of order 10p.

Klavdija Kutnar, Dragan Marusic, Cui Zhang

Eur. J. Comb., 2012

Bifurcation of limit cycles and pseudo-isochronous center at degenerate singular point in a septic system.

Yusen Wu, Cui Zhang

Appl. Math. Comput., 2012

Bit-plane image coding algorithms based on compressed sensing.

Guangchun Gao, Cui Zhang, Shengying Zhao, Kai Xiong, Lina Shang

Proceedings of the Fourth International Conference on Digital Image Processing, 2012

2011

The generalized center problem of resonant infinity for a polynomial differential system.

Yusen Wu, Cui Zhang

Comput. Math. Appl., 2011

FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages.

Nixon Sunny George, Cui Zhang, Anne-Louise Radimsky

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2011

An Effective Ant Colony Algorithm for Graph Planarization Problem.

Li-Qing Zhao, Cui Zhang, Rong Long Wang

Proceedings of the Bio-Inspired Computing and Applications, 2011

A Saturation Binary Neural Network for Bipartite Subgraph Problem.

Cui Zhang, Li-Qing Zhao, Rong Long Wang

Proceedings of the Bio-Inspired Computing and Applications, 2011

Design of the control system for hydraulic experimental bench based on LabVIEW.

Cui Zhang, Xiaobin Wang, Zhigang Wang

Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

Analysis of the regenerative brake system parameters for concrete mixing truck basded on AMESim.

Cui Zhang, Xinhui Liu, Zhan Wang, Qiang Shi

Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

3G Technology in the engineering disciplines of higher vocational education.

Zhigang Wang, Cui Zhang, Chunhong Wu

Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

A Saturation Binary Neural Network for Crossbar Switching Problem.

Cui Zhang, Li-Qing Zhao, Rong Long Wang

Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

Modified Deterministic Packet Marking for DDoS Attack Traceback in IPv6 Network.

You-ye Sun, Cui Zhang, Shao-qing Meng, Kai-ning Lu

Proceedings of the 11th IEEE International Conference on Computer and Information Technology, 2011

2010

A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages.

Jennifer Pandolfo, Cui Zhang

J. Object Technol., 2010

A note on the automorphism groups of cubic Cayley graphs of finite simple groups.

Cui Zhang, Xin Gui Fang

Discret. Math., 2010

Formal Specification of Software Architecture Security Tactics.

Andrew Wyeth, Cui Zhang

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Efficient Transaction Nesting in Hardware Transactional Memory.

Yi Liu, Yangming Su, Cui Zhang, Mingyu Wu, Xin Zhang, He Li, Depei Qian

Proceedings of the Architecture of Computing Systems, 2010

2009

Automorphisms of cubic Cayley graphs of order 2pq.

Cui Zhang, Jin-Xin Zhou, Yan-Quan Feng

Discret. Math., 2009

2008

Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis.

Xiufeng Ni, Cui Zhang

J. Object Technol., 2008

Improving performance of intrusion detection system by applying a new machine learning strategy.

Tao Zou, Yimin Cui, Minhuan Huang, Cui Zhang

Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts.

Sherri M. Sanders, Cui Zhang

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

2006

Adding Aspect-Oriented Programming Features to C#.NET by using Multidimensional Separation of Concerns (MDSOC) Approach.

Angela Hantelmann, Cui Zhang

J. Object Technol., 2006

Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z.

Sowmiya Ramkarthik, Cui Zhang

Proceedings of the 5th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2006) and 1st IEEE/ACIS International Workshop on Component-Based Software Engineering, 2006

2005

Support for Design by ContractTM in the C^TM Programming Language.

Rachel Henne-Wu, William Mitchell, Cui Zhang

J. Object Technol., 2005

2004

Adding Aspect-Oriented Programming Features to Visual Basic .NET by Using Multidimensional Separation of Concerns (MDSOC) Approach.

Haryono, Cui Zhang

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Formal Reasoning About Intrusion Detection Systems.

Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt

Proceedings of the Recent Advances in Intrusion Detection: 7th International Symposium, 2004

2003

Formal Semantic Specification for a Set of UML Diagrams.

Cui Zhang

Proceedings of the International Conference on Software Engineering Research and Practice, 2003

2002

The Design of a Dataflow Computer, it's Language and It's Implementation.

Malone Wong, Cui Zhang, Don Warner

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

1999

Formal Verification of a Programming Logic for a Distributed Programming Language.

Cui Zhang, Ronald A. Olsson, Karl N. Levitt

Theor. Comput. Sci., 1999

LVT: A Layered Verification Technique for Distributed Computing Systems.

Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt

Softw. Test. Verification Reliab., 1999

Concurrent Programming for Database Processing Using Java Threads in a Client/Server Environment.

Brietta O'Leary, Cui Zhang

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1997

Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation.

Cui Zhang, Carole M. McNamme

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

Verification of a Distributed Computing.

Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Towards Applying the Composition Principle to Verify a Microkernel Operating System.

Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995

A Hierarchical Method for Reasoning about Distributed Programming Languages.

Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1993

An Abstract, Shared and Persistent Data Structure for Supporting Database Management and Multilingual Natural Language Processing.

Cui Zhang, Richard F. Walters

Int. J. Softw. Eng. Knowl. Eng., 1993

Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.

Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark R. Heckman, Gregory D. Benson

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

A Knowledge Processing Language and Its Parallel Inference System.

Cui Zhang, Qinping Zhao, Jiafu Xu

Proceedings of the SEKE'93, 1993