Keming Wang

According to our database, Keming Wang authored at least 23 papers between 2006 and 2025.

Collaborative distances:

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

2025

A SCADE Model Verification Method Based on B-Model Transformation.

Xili Hou, Keming Wang, Huibing Zhao, Ruiyin Shi

CoRR, May, 2025

2024

Hierarchical Multimodality Graph Reasoning for Remote Sensing Visual Question Answering.

Han Zhang, Keming Wang, Laixian Zhang, Bingshu Wang, Xuelong Li

IEEE Trans. Geosci. Remote. Sens., 2024

Railway accident causation prediction with improved transformer model based on lexical information and contextual relationships.

Bin Jiang, Keming Wang

Knowl. Based Syst., 2024

Energy-Efficient Design of Seabed Substrate Detection Model Leveraging CNN-SVM Architecture and Sonar Data.

Keming Wang, Chengli Wang, Wenbing Jin, Liuming Qi

EAI Endorsed Trans. Energy Web, 2024

Network embedding for detecting protein complexes in attributed networks.

Xiangmao Meng, Keming Wang, Ju Xiang, Wenkang Wang

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2024

2023

Reliability analysis of mobile agent control system with multiple alternative plans.

Xia Wang, Yang Xu, Jun Liu, Keming Wang

Soft Comput., December, 2023

Soil Organic Carbon Prediction Using Sentinel-2 Data and Environmental Variables in a Karst Trough Valley Area of Southwest China.

Ting Wang, Wei Zhou, Jieyun Xiao, Haoran Li, Li Yao, Lijuan Xie, Keming Wang

Remote. Sens., April, 2023

Application of a risk-averse objective function for scheduling surgeries.

Thomas Adams, Michael J. O'Sullivan, Cameron G. Walker, Keming Wang, Luke Boyle

Comput. Oper. Res., 2023

A Traceable Location Privacy Preserving Scheme for Data Collection in Vehicular Fog Computing.

Qinyang Chen, Keming Wang, Tao Xie

Proceedings of the 10th IEEE International Conference on Cyber Security and Cloud Computing, 2023

2022

Multi-Fogs-Based Traceable Privacy-Preserving Scheme for Vehicular Identity in Internet of Vehicles.

Ke Gu, Keming Wang, Xiong Li, Weijia Jia

IEEE Trans. Intell. Transp. Syst., 2022

Trusted-Committee- Based Secure and Scalable BFT Consensus for Consortium Blockchain.

Liaoliao Feng, Yan Ding, Yusong Tan, Xiang Fu, Keming Wang, Junsheng Chang

Proceedings of the 18th International Conference on Mobility, Sensing and Networking, 2022

ASPGen-D: Automatically Generating Fine-grained Apparmor Policies for Docker.

Chenlin Huang, Keming Wang, Yun Li, Jiajian Li, Qing Liao

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2022

2021

Automatic Generation of Test Cases of Multi-Agent Systems Based on Model Checking.

Weijian Tang, Keming Wang

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Applying B and ProB to a Real-world Data Validation Project.

Peng Cheng, Keming Wang

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

2019

Traceable attribute-based signature.

Ke Gu, Keming Wang, Lulu Yang

J. Inf. Secur. Appl., 2019

Predictions models of Taiwan dollar to US dollar and RMB exchange rate based on modified PSO and GRNN.

Keming Wang, Mengchih Chang, Wencheng Wang, Gang Wang, Wentsao Pan

Clust. Comput., 2019

Social Community Detection Scheme Based on Social-Aware in Mobile Social Networks.

Ke Gu, Dianxing Liu, Keming Wang

IEEE Access, 2019

2018

Behaviour-Driven Formal Model Development.

Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang

Proceedings of the Formal Methods and Software Engineering, 2018

2016

Simulation-optimization model for one-way traffic reconfiguration.

Zixuan Peng, Feng Guan, Keming Wang, Ting Li, Baozhen Yao

Simul., 2016

2015

An optimization method for planning the lines and the operational strategies of waterbuses: the case of Zhoushan city.

Bin Yu, Zixuan Peng, Keming Wang, Lu Kong, Yao Cui, Baozhen Yao

Oper. Res., 2015

An Improved Shuffled Frog-Leaping Algorithm for Flexible Job Shop Scheduling Problem.

Kong Lu, Ting Li, Keming Wang, Hanbing Zhu, Makoto Takano, Bin Yu

Algorithms, 2015

2006

Neural Network Approach to Vibration Feature Selection and Multiple Fault Detection for Mechanical Systems.

Keming Wang

Proceedings of the First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August, 2006

Multi-Domain Collaborative Simulation Platform: An Integrative Framework for Complex Products Design.

Wenhui Fan, Keming Wang, Guangleng Xiong

Proceedings of the 10th International Conference on CSCW in Design, 2006