Bo Meng - RankMe

88 papers A 2B 2C 11Misc 2Journal 33Unranked 38

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Deep Reinforcement Learning for Power Grid Multi-Stage Cascading Failure Mitigation. CoRR Bo Meng, Chenghao Xu, Yongli Zhu
2025	J	`jnl`	Multiscale welding defect detection method based on image adaptive enhancement. Knowl. Based Syst. Huyue Cheng, Hongquan Jiang, Deqiang Jing, Lei Huang, Jianmin Gao, Yong Zhang, Bo Meng
2025	C	`conf`	caSPESC2Vyper: Conformant and Automatic Generation from DeFi SPESC Legal Contract to Vyper Smart Contract. APSEC Yue Yu, Jiahui Wang, Bo Meng, Dejun Wang
2024	—	`conf`	Fusion of Machine Learning and Deep Neural Networks for Pulmonary Arteries and Veins Segmentation in Lung Cancer Surgery Planning. ICPR (12) Hongyu Cheng, Limin Zheng, Zeyu Yan, Haoran Zhang, Bo Meng, Xiaowei Xu
2024	J	`jnl`	ISTVP: Independent single transaction verification protocol for light node using fraud proofs without collaborator. IET Blockchain Minghao Lee, Binhao Ma, Di Han, Dejun Wang, Bo Meng
2024	J	`jnl`	QD-VMR: Query Debiasing with Contextual Understanding Enhancement for Video Moment Retrieval. CoRR Chenghua Gao, Min Li, Jianshuo Liu, Junxing Ren, Lin Chen, Haoyu Liu, Bo Meng, Jitao Fu, Wenwen Su
2024	J	`jnl`	Robust deadline-aware network function parallelization framework under demand uncertainty. Knowl. Based Syst. Bo Meng, Amin Rezaeipanah
2024	J	`jnl`	SEAOP: a statistical ensemble approach for outlier detection in quantitative proteomics data. Briefings Bioinform. Jinze Huang, Yang Zhao, Bo Meng, Ao Lu, Yaoguang Wei, Lianhua Dong, Xiang Fang, Dong An, Xinhua Dai
2023	C	`conf`	Automatic Segmentation of Aortic and Mitral Valves for Heart Surgical Planning of Hypertrophic Obstructive Cardiomyopathy. ACML Limin Zheng, Hongyu Chen, Lu Qing, Jian Zhuang, Bo Meng, Xiaowei Xu
2023	J	`jnl`	DIHBA: Dynamic, invisible and high attack success rate boundary backdoor attack with low poison ratio. Comput. Secur. Binhao Ma, Can Zhao, Dejun Wang, Bo Meng
2023	—	`conf`	HSDVS-DPoS: A Secure and Heterogeneous DPoS Consensus Protocol Using Heterogeneous Strong Designated Verifier Signature. FICC (2) Can Zhao, Xiaoxiao Wang, Zhengzhu Lu, Jiahui Wang, Dejun Wang, Bo Meng
2023	J	`jnl`	K-Go: An executable formal semantics of Go language in K framework. IET Blockchain Can Zhao, Qin Liu, Zonghua Hu, Ze Yu, Dejun Wang, Bo Meng
2023	J	`jnl`	Multidomain active defense: Detecting multidomain backdoor poisoned samples via ALL-to-ALL decoupling training without clean datasets. Neural Networks Binhao Ma, Jiahui Wang, Dejun Wang, Bo Meng
2023	J	`jnl`	Poison Dart Frog: A Clean-Label Attack with Low Poisoning Rate and High Attack Success Rate in the Absence of Training Data. CoRR Binhao Ma, Jiahui Wang, Dejun Wang, Bo Meng
2023	C	`conf`	SMHSDVS: A Secure and Mutual Heterogeneous Strong Designated Signature Between PKI and IBC. ProvSec Yibing Wang, Xiaoxiao Wang, Chin-Tser Huang, Dejun Wang, Binhao Ma, Bo Meng
2022	J	`jnl`	Disturbance and state observer-based adaptive finite-time control for quantized nonlinear systems with unknown control directions. J. Frankl. Inst. Bo Meng, Wenhui Liu, Xiaojing Qi
2022	A	`conf`	Hierarchical Graph Convolutional Skeleton Transformer for Action Recognition. ICME Ruwen Bai, Min Li, Bo Meng, Fengfa Li, Miao Jiang, Junxing Ren, Degang Sun
2022	—	`conf`	High-speed 850 nm Vertical-cavity Surface-emitting Lasers with Multilayer Oxide Aperture. ICAIT Haixia Tong, Zhipeng Wei, Cunzhu Tong, Yanjing Wang, Bo Meng, Lijun Wang
2021	J	`jnl`	A Secure and Policy-Controlled Signature Scheme With Strong Expressiveness and Privacy-Preserving Policy. IEEE Access Xurui Zheng, Fuyong Zheng, Xianming Liu, Dejun Wang, Jun Wang, Bo Meng
2021	J	`jnl`	Automatic Rocks Segmentation Based on Deep Learning for Planetary Rover Images. J. Aerosp. Inf. Syst. Haichao Li, Linwei Qiu, Zhi Li, Bo Meng, Jianbin Huang, Zhimin Zhang
2021	J	`jnl`	GCsT: Graph Convolutional Skeleton Transformer for Action Recognition. CoRR Ruwen Bai, Min Li, Bo Meng, Fengfa Li, Junxing Ren, Miao Jiang, Degang Sun
2020	J	`jnl`	Automatic Verification of Security of Identity Federation Security Protocol Based on SAML2.0 with ProVerif in the Symbolic Model. Int. J. Netw. Secur. Jintian Lu, Xudong He, Yitong Yang, Dejun Wang, Bo Meng
2019	J	`jnl`	An Optimized Tightly-Coupled VIO Design on the Basis of the Fused Point and Line Features for Patrol Robot Navigation. Sensors Linlin Xia, Qingyu Meng, Deru Chi, Bo Meng, Hanrui Yang
2019	—	`conf`	Designing, Modeling and Testing of the Flexible Space Probe-Cone Docking and Refueling Mechanism. ICIRA (4) Longfei Huang, Zhi Li, Jianbin Huang, Wenlong Wang, Wen Li, Bo Meng, Yujia Pang, Xu Han, Zhimin Zhang
2019	J	`jnl`	Optimization and Evaluation of Ventilation Mode in Marine Data Center Based on AHP-Entropy Weight. Entropy Guozeng Feng, Shuya Lei, Yuejiao Guo, Bo Meng, Qingfeng Jiang
2019	—	`conf`	Research on Spatial Target Classification and Recognition Technology Based on Deep Learning. ICIRA (4) Yujia Pang, Zhi Li, Bo Meng, Zhimin Zhang, Longfei Huang, Jianbin Huang, Xu Han, Yin Wang, Xiaohui Zhu
2018	—	`conf`	A Heart Rate Measurement System Based on Ballistocardiogram for Smart Furniture. APCCAS Ziran He, Min Wang, Qingsong Xie, Guoxing Wang, Yang Zhao, Yong Lian, Bo Meng, Zhengchun Peng
2018	—	`conf`	A Highly Sensitive Flexible Piezoresistive Sensor Based on Wrinkled CNT-PDMS. NEMS Li-Ming Miao, Bo Meng, Ji Wan, Hao-Tian Chen, Xiao-Liang Cheng, Yu Song, Hang Guo, Haixia Zhang
2018	J	`jnl`	An Optimized Two-Step Magnetic Correction Strategy by Means of a Lagrange Multiplier Estimator with an Ellipsoid Constraint. Sensors Linlin Xia, Jingtong Geng, Hanrui Yang, Yunqi Wang, Zhaolong Fu, Bo Meng
2018	—	`conf`	Epileptic Seizure Detection Based on Time Domain Features and Weighted Complex Network. ICIC (2) Hanyong Zhang, Qingfang Meng, Bo Meng, Mingmin Liu, Yang Li
2018	J	`jnl`	Formal Analysis of SDN Authentication Protocol with Mechanized Protocol Verifier in the Symbolic Model. Int. J. Netw. Secur. Lili Yao, Jiabing Liu, Dejun Wang, Jing Li, Bo Meng
2018	J	`jnl`	Human action recognition based on quaternion spatial-temporal convolutional neural network and LSTM in RGB videos. Multim. Tools Appl. Bo Meng, Xuejun Liu, Xiaolin Wang
2018	—	`conf`	The Extraction and Application of the Color Texture Feature Based on Quaternion Gabor. IIH-MSP (1) Bo Meng, Xiaolin Wang, Xuejun Liu, Linlin Xia, Guannan Deng, Shengxi Jiao
2017	—	`conf`	A novel multi-functional self-powered pressure sensor with hierarchical wrinkle structure. NEMS Li-Ming Miao, Xiao-Liang Cheng, Yu Song, Hao-Tian Chen, Bo Meng, Haixia Zhang
2017	J	`jnl`	Automatic Generation of Security Protocol Implementations Written in Java from Abstract Specifications Proved in the Computational Model. Int. J. Netw. Secur. Bo Meng, Chin-Tser Huang, Yitong Yang, Leyuan Niu, Dejun Wang
2017	—	`conf`	Dynamic modeling and analysis of docking the GEO satellite interface ring. ROBIO Jianbin Huang, Zhi Li, Bo Meng, Xu Han, Yujia Pang, Longfei Huang
2017	—	`conf`	Flexible fabric-based wearable solid-state supercapacitor. NEMS Jia-Huan Huang, Yu Song, Xue-Xian Chen, Xiao-Sheng Zhang, Li-Ming Miao, Hao-Tian Chen, Jin-Xin Zhang, Bo Meng, Juergen Brugger, Haixia Zhang
2017	—	`conf`	Operational availability model of equipment in storage based on periodic inspection modelling. ICSRS Xinpeng Wang, Bo Meng
2016	—	`conf`	Automatic Verification of Security of OpenID Connect Protocol with ProVerif. 3PGCIC Jintian Lu, Jinli Zhang, Jing Li, Zhongyu Wan, Bo Meng
2016	J	`jnl`	Energy Window Optimization for X-Ray K-Edge Tomographic Imaging. IEEE Trans. Biomed. Eng. Bo Meng, Wenxiang Cong, Yan Xi, Bruno De Man, Ge Wang
2016	J	`jnl`	Exploiting salient semantic analysis for information retrieval. Enterp. Inf. Syst. Jing Luo, Bo Meng, Changqin Quan, Xinhui Tu
2016	J	`jnl`	Robot-assisted mirror ultrasound scanning for deep venous thrombosis detection using RGB-D sensor. Multim. Tools Appl. Bo Meng, Ying-ying Zhao, Lei Chen, Fereshteh Aalamifar, Xuejun Liu, Emad Boctor
2016	—	`conf`	Security Analysis of OpenID Connect Protocol with Cryptoverif in the Computational Model. 3PGCIC Jinli Zhang, Jintian Lu, Zhongyu Wan, Jing Li, Bo Meng
2015	C	`conf`	Floor-based large-area triboelectric generator for active security monitoring. ICCE Xiao-Liang Cheng, Bo Meng, Mengdi Han, Mayue Shi, Haixia Zhang
2015	—	`conf`	GCM: A Greedy-Based Cross-Matching Algorithm for Identifying Users Across Multiple Online Social Networks. PAISI Wenxin Liang, Bo Meng, Xiaosong He, Xianchao Zhang
2013	J	`jnl`	Automated Proof of Resistance of Denial of Service Attacks Using Event with Theorem Prover. J. Comput. Bo Meng, Wei Huang, Zimao Li
2013	—	`conf`	Curvelet-based bilinear interpolation method for low-dose CT. ICDIP Bo Meng, Huiqin Jiang, Zhanwei Liu, Zhongyong Wang, Yumin Liu
2013	J	`jnl`	Improved Clustered Routing Algorithm Based on Distance and Energy in Wireless Sensor Networks. J. Networks Dejun Wang, Bo Meng, Shaomin Jin
2013	—	`conf`	Silicon carbide capacitive pressure sensors with arrayed sensing membranes. NEMS Bo Meng, Wei Tang, Xuhua Peng, Haixia Zhang
2012	Misc	`conf`	Concept-based document models using explicit semantic analysis. GrC Jing Luo, Bo Meng, Xinhui Tu, Maofu Liu
2012	—	`conf`	Query expansion using explicit semantic analysis. ICIMCS Jing Luo, Bo Meng, Maofu Liu, Xinhui Tu, Kui Zhang
2012	J	`jnl`	Verification of Resistance of Denial of Service Attacks in Extended Applied Pi Calculus with ProVerif. J. Comput. Bo Meng, Wei Wang, Wei Chen
2011	J	`jnl`	Automatic Verification of Remote Internet Voting Protocol in Symbolic Model. J. Networks Bo Meng, Wei Huang, Dejun Wang
2011	—	`conf`	Selecting good expansion terms based on similarity kernel function. NLPKE Jing Luo, Bo Meng, Xinhui Tu
2010	J	`jnl`	A Receipt-free Coercion-resistant Remote Internet Voting Protocol without Physical Assumptions through Deniable Encryption and Trapdoor Commitment Scheme. J. Softw. Bo Meng, Zimao Li, Jun Qin
2010	—	`conf`	A new modeling method based on bagging ELM for day-ahead electricity price prediction. BIC-TA Huixin Tian, Bo Meng
2010	J	`jnl`	An Efficient Receiver Deniable Encryption Scheme and Its Applications. J. Networks Bo Meng, Jiangqing Wang
2010	J	`jnl`	Automatic Verification of Security Properties in Remote Internet Voting Protocol with Applied Pi Calculus. J. Digit. Content Technol. its Appl. Bo Meng, Wei Huang, Zimao Li, Dejun Wang
2010	—	`conf`	Chaotic particle swarm optimization algorithm for support vector machine. BIC-TA Shuzhou Wang, Bo Meng
2010	—	`conf`	Research on Land-Use Type of Huainan City Based on Flood Risk Perception and Spatial Multi-Criteria Analysis. DBTA Bo Meng, Mao Liu, Yan Hua Liufu, Wei Wang
2010	—	`conf`	Robust controller design for active queue management system. BIC-TA Bo Meng
2009	J	`jnl`	A Formal Logic Framework for Receipt-freeness in Internet Voting Protocol. J. Comput. Bo Meng
2009	J	`jnl`	A Secure Internet Voting Protocol Based on Non-interactive Deniable Authentication Protocol and Proof Protocol that Two Ciphertexts are Encryption of the Same Plaintext. J. Networks Bo Meng
2008	—	`conf`	A Formal Analysis of Coercion-Resistance of the Internet Voting Protocol Based on DKR Formal Model. ISIP Bo Meng
2008	C	`conf`	An adaptive fuzzy sliding mode control for AQM systems. ACC Hongwei Wang, Bo Meng, Yuanwei Jing, Xiaoping Liu
2007	—	`conf`	A Coercion-Resistant Internet Voting Protocol. ICSNC Bo Meng
2007	—	`conf`	A Digital Signature Scheme in Web-based Negotiation Support System. I3E (1) Yuxuan Meng, Bo Meng
2007	C	`conf`	An Internet Voting Protocol with Receipt-Free and Coercion-Resistant. CIT Bo Meng
2007	—	`conf`	Analyzing and Improving Internet Voting Protocol. ICEBE Bo Meng
2007	—	`conf`	CAD Applications. SKG Bin Liao, Bo Meng
2007	—	`conf`	Computer-aided detection of mammographic masses based on content-based image retrieval. Computer-Aided Diagnosis Renchao Jin, Bo Meng, Enmin Song, Xiangyang Xu, Luan Jiang
2007	Misc	`conf`	Mass edge detection in mammography based on plane fitting and dynamic programming. SAC Enmin Song, Luan Jiang, Bo Meng, Renchao Jin, Xiangyang Xu, Chih-Cheng Hung
2007	B	`conf`	Resource Allocation and Scheduling Problem Based on Genetic Algorithm and Ant Colony Optimization. PAKDD Su Wang, Bo Meng
2006	B	`conf`	A weighted average algorithm for edge-preserving smoothing on MRI images. Image Processing Renchao Jin, Lijuan Zhang, Bo Meng, Enmin Song, Xiangyang Xu, Chih-Cheng Hung
2006	C	`conf`	Research on Association Rules Based Group Ranking Model with Fuzzy Preference Relation Structure. APSCC Xinqiao Yu, Bo Meng, Fei Yan
2006	—	`conf`	Research on Case Generation from Group Decision Making Experience for Evaluation. IEEE ICCI Xinqiao Yu, Bo Meng
2006	—	`conf`	Simulation Modeling and Optimization for Equipment Scheduling in Container Terminals. IEEE ICCI Su Wang, Bo Meng
2006	—	`conf`	Web Personalization Based on Artificial Psychology. WISE Workshops Quan Lu, Jing Chen, Bo Meng
2005	—	`conf`	A Distributed Solution for Automatic Name Correspondence in Replicated Solid Modeling Systems. SKG Bin Lao, Bo Meng
2005	C	`conf`	An Electronic Commerce System Prototype and Its Implementations. CIT Bo Meng, Huanguo Zhang
2005	—	`conf`	Deep into the Framework for Different Coarse-grained P2P Computing Based on JXTA. SKG Yong Ma, Bo Meng, Yuqing Zhang
2005	C	`conf`	Design and Implementation of Web Mining System Based on Multi-agent. ADMA Wenbin Hu, Bo Meng
2005	—	`conf`	Research on accountability in electronic transaction. CSCWD (2) Bo Meng, Huanguo Zhang
2005	—	`conf`	The Practical Detailed Requirements of Accountability and Its Application in the Electronic Payment Protocols. EEE Bo Meng, Huanguo Zhang, Qianxing Xiong
2004	C	`conf`	A Negotiation Model Based on Fuzzy Multiple Criteria Decision Making Method. CIT Bo Meng, Wei Fu
2004	—	`conf`	Monitoring the Supply of Products in a Supply Chain Environment: A Fuzzy Neural Approach. ICEB Chunling Liu, Bo Meng, Jizi Li
2003	A	`conf`	Build W3C XML Schema for UN/EDIFACT Messages with Multilayer and Modular Architecture. ICWS Yongheng Ma, Qianxing Xiong, Yefu Wu, Bo Meng, Jie Tian, Lina Yang
2002	C	`conf`	A Fair Non-Repudiation Protocol. CSCWD Bo Meng, Shaomei Wang, Qianxing Xiong