Keming Wang

29 papers A 1B 1C 2Misc 2Journal 16Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
From PBFT to the present: a thorough overview of blockchain consensus protocols.
Sci. China Inf. Sci.
Liaoliao Feng, Xiang Fu, Huaimin Wang, Keming Wang, Peichang Shi, Feng Jiang, Moheng Lin
2025 — conf
A Logic-Driven Workflow Based on LLM Agents for High-Fidelity SMT Code Generation.
EILM
Zhuwei Liu, Keming Wang
2025 J jnl
A SCADE Model Verification Method Based on B-Model Transformation.
CoRR
Xili Hou, Keming Wang, Huibing Zhao, Ruiyin Shi
2025 — conf
Fuzzy-LLM: Multi-Agent Task Planning with Large Language Models.
SNPD-Summer
Keming Wang, Hui Tian, Jiawei Wang, Ju Hou
2025 B conf
LASEFlow: A Label-Aware Security Enhancement Framework for Serverless Workflows.
TrustCom
Minghui Chen, Keming Wang, Chenlin Huang, Fengyuan Yu, Renyu Yang, Hua Cheng, Mantun Chen
2025 J jnl
MinerU2.5: A Decoupled Vision-Language Model for Efficient High-Resolution Document Parsing.
CoRR
Junbo Niu, Zheng Liu, Zhuangcheng Gu, Bin Wang, Linke Ouyang, Zhiyuan Zhao, Tao Chu, Tianyao He, Fan Wu, Qintong Zhang, Zhenjiang Jin, Guang Liang, Rui Zhang, Wenzheng Zhang, Yuan Qu, Zhifei Ren, Yuefeng Sun, Yuanhong Zheng, Dongsheng Ma, Zirui Tang, Boyu Niu, Ziyang Miao, Hejun Dong, Siyi Qian, Junyuan Zhang, Jingzhou Chen, Fangdong Wang, Xiaomeng Zhao, Liqun Wei, Wei Li, Shasha Wang, Ruiliang Xu, Yuanyuan Cao, Lu Chen, Qianqian Wu, Huaiyu Gu, Lindong Lu, Keming Wang, Dechen Lin, Guanlin Shen, Xuanhe Zhou, Linfeng Zhang, Yuhang Zang, Xiaoyi Dong, Jiaqi Wang, Bo Zhang, Lei Bai, Pei Chu, Weijia Li, Jiang Wu, Lijun Wu, Zhenxiang Li, Guangyu Wang, Zhongying Tu, Chao Xu, Kai Chen, Yu Qiao, Bowen Zhou, Dahua Lin, Wentao Zhang, Conghui He
2025 A conf
Octopus: Decentralized Workflow-granular Scheduling for Serverless Workflow.
ICDCS
Keming Wang, Liaoliao Feng, Ligang He, Chenlin Huang, Fengyuan Yu, Tao Xie
2024 J jnl
Energy-Efficient Design of Seabed Substrate Detection Model Leveraging CNN-SVM Architecture and Sonar Data.
EAI Endorsed Trans. Energy Web
Keming Wang, Chengli Wang, Wenbing Jin, Liuming Qi
2024 J jnl
Hierarchical Multimodality Graph Reasoning for Remote Sensing Visual Question Answering.
IEEE Trans. Geosci. Remote. Sens.
Han Zhang, Keming Wang, Laixian Zhang, Bingshu Wang, Xuelong Li
2024 — conf
Network embedding for detecting protein complexes in attributed networks.
BIBM
Xiangmao Meng, Keming Wang, Ju Xiang, Wenkang Wang
2024 J jnl
Railway accident causation prediction with improved transformer model based on lexical information and contextual relationships.
Knowl. Based Syst.
Bin Jiang, Keming Wang
2023 — conf
A Traceable Location Privacy Preserving Scheme for Data Collection in Vehicular Fog Computing.
CSCloud/EdgeCom
Qinyang Chen, Keming Wang, Tao Xie
2023 J jnl
Application of a risk-averse objective function for scheduling surgeries.
Comput. Oper. Res.
Thomas Adams, Michael J. O'Sullivan, Cameron G. Walker, Keming Wang, Luke Boyle
2023 J jnl
Reliability analysis of mobile agent control system with multiple alternative plans.
Soft Comput.
Xia Wang, Yang Xu, Jun Liu, Keming Wang
2023 J jnl
Soil Organic Carbon Prediction Using Sentinel-2 Data and Environmental Variables in a Karst Trough Valley Area of Southwest China.
Remote. Sens.
Ting Wang, Wei Zhou, Jieyun Xiao, Haoran Li, Li Yao, Lijuan Xie, Keming Wang
2022 — conf
ASPGen-D: Automatically Generating Fine-grained Apparmor Policies for Docker.
ISPA/BDCloud/SocialCom/SustainCom
Chenlin Huang, Keming Wang, Yun Li, Jiajian Li, Qing Liao
2022 J jnl
Multi-Fogs-Based Traceable Privacy-Preserving Scheme for Vehicular Identity in Internet of Vehicles.
IEEE Trans. Intell. Transp. Syst.
Ke Gu, Keming Wang, Xiong Li, Weijia Jia
2022 — conf
Trusted-Committee- Based Secure and Scalable BFT Consensus for Consortium Blockchain.
MSN
Liaoliao Feng, Yan Ding, Yusong Tan, Xiang Fu, Keming Wang, Junsheng Chang
2021 Misc conf
Applying B and ProB to a Real-world Data Validation Project.
ISKE
Peng Cheng, Keming Wang
2021 Misc conf
Automatic Generation of Test Cases of Multi-Agent Systems Based on Model Checking.
ISKE
Weijian Tang, Keming Wang
2019 J jnl
Predictions models of Taiwan dollar to US dollar and RMB exchange rate based on modified PSO and GRNN.
Clust. Comput.
Keming Wang, Mengchih Chang, Wencheng Wang, Gang Wang, Wentsao Pan
2019 J jnl
Social Community Detection Scheme Based on Social-Aware in Mobile Social Networks.
IEEE Access
Ke Gu, Dianxing Liu, Keming Wang
2019 J jnl
Traceable attribute-based signature.
J. Inf. Secur. Appl.
Ke Gu, Keming Wang, Lulu Yang
2018 C conf
Behaviour-Driven Formal Model Development.
ICFEM
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang
2016 J jnl
Simulation-optimization model for one-way traffic reconfiguration.
Simul.
Zixuan Peng, Feng Guan, Keming Wang, Ting Li, Baozhen Yao
2015 J jnl
An Improved Shuffled Frog-Leaping Algorithm for Flexible Job Shop Scheduling Problem.
Algorithms
Kong Lu, Ting Li, Keming Wang, Hanbing Zhu, Makoto Takano, Bin Yu
2015 J jnl
An optimization method for planning the lines and the operational strategies of waterbuses: the case of Zhoushan city.
Oper. Res.
Bin Yu, Zixuan Peng, Keming Wang, Lu Kong, Yao Cui, Baozhen Yao
2006 C conf
Multi-Domain Collaborative Simulation Platform: An Integrative Framework for Complex Products Design.
CSCWD
Wenhui Fan, Keming Wang, Guangleng Xiong
2006 — conf
Neural Network Approach to Vibration Feature Selection and Multiple Fault Detection for Mechanical Systems.
ICICIC (3)
Keming Wang