Wenhui Zhang - RankMe

196 papers A* 4A 5B 19C 17Misc 9Journal 101Unranked 40

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A geographic evolutionary framework with multi-task optimization of automatic hyperparameter tuning for spatially stratified machine learning models. Int. J. Geogr. Inf. Sci. Wenhui Zhang, Shifen Cheng, Feng Lu
2026	J	`jnl`	An integrated and visualized forest carbon storage estimation platform: Functional design and prototype implementation. Environ. Model. Softw. Yanyun Nian, Hao Zhang, Pinqi Rao, Minglu Che, Xingbang Wang, Wenhui Zhang, Jie Chen
2026	J	`jnl`	FIR-SDE: fast image restoration via mean-reverting stochastic differential equation. Complex Intell. Syst. Xin Shi, Zhengchao Xu, Sunan Ge, Xueqing Zhao, Xihan Wang, Wenhui Zhang
2026	J	`jnl`	Flexible multi-modal classification network for endometrial carcinoma diagnosis. Biomed. Signal Process. Control. Lingling Fang, Wenhui Zhang, Yongcheng Yu, Qian Wu
2026	J	`jnl`	LUT-ALMs: Trading Off Accuracy and Power for Approximate Logarithmic Multipliers via LUT Optimization. IEEE Trans. Computers Wenhui Zhang, Xinkuang Geng, Xiaolu Hu, Hui Wang, Jianfei Jiang, Qin Wang, Siting Liu, Jie Han, Honglan Jiang
2026	J	`jnl`	NeuroTDPi: Interpretable Deep Learning Models with Multimodal Fusion for Identifying Neurotoxic Compounds. J. Chem. Inf. Model. Baodi Liu, Zhaoyang Chen, Nianlu Li, Na Li, Wenhui Zhang, Yan Li, Xin Huang, Meng Li, Xiao Li
2026	J	`jnl`	RerouteGuard: Understanding and Mitigating Adversarial Risks for LLM Routing. CoRR Wenhui Zhang, Huiyu Xu, Zhibo Wang, Zhichao Li, Zeqing He, Xuelin Wei, Kui Ren
2026	J	`jnl`	Streaming Speech Recognition with Decoder-Only Large Language Models and Latency Optimization. CoRR Genshun Wan, Wenhui Zhang, Jing-Xuan Zhang, Shifu Xiong, Jianqing Gao, Zhongfu Ye
2026	A	`conf`	TrustWeave: Integrity Measurement and Attestation For Multi-Cloud LLMs. EuroSys Jianchang Su, Wenhui Zhang, Yifan Zhang, Kexin Chu, Hao Guo, Youyou Lu, Wei Zhang
2025	J	`jnl`	An explainable spatial interpolation method considering spatial stratified heterogeneity. Int. J. Geogr. Inf. Sci. Shifen Cheng, Wenhui Zhang, Peng Luo, Lizeng Wang, Feng Lu
2025	J	`jnl`	CXXCrafter: An LLM-Based Agent for Automated C/C++ Open Source Software Building. CoRR Zhengmin Yu, Yuan Zhang, Ming Wen, Yinan Nie, Wenhui Zhang, Min Yang
2025	J	`jnl`	CXXCrafter: An LLM-Based Agent for Automated C/C++ Open Source Software Building. Proc. ACM Softw. Eng. Zhengmin Yu, Yuan Zhang, Ming Wen, Yinan Nie, Wenhui Zhang, Min Yang
2025	J	`jnl`	Can Small Language Models Reliably Resist Jailbreak Attacks? A Comprehensive Evaluation. CoRR Wenhui Zhang, Huiyu Xu, Zhibo Wang, Zeqing He, Ziqi Zhu, Kui Ren
2025	J	`jnl`	Design, Analysis, and Verification of a Constant Current Circuit With Settling Time at Microsecond Level for Shape Memory Alloy Actuators. IEEE Trans. Ind. Electron. Shihao Zhou, Zhiwei Liu, Lei Qu, Xiaoyuan Wang, Xupeng Li, Wenhui Zhang, Jiaming Leng, Dawei Huang, Xiaojun Yan
2025	J	`jnl`	First order Büchi automata and their application to verification of LTL specifications. J. Log. Algebraic Methods Program. Wenhui Zhang
2025	C	`conf`	Formalizing Requirements into Dafny Specifications with LLMs. ICFEM Yi-Han Lu, Xue-Yang Zhu, Wenhui Zhang, Rongjie Yan
2025	J	`jnl`	Initial-Offset-Control and Amplitude Regulation in Memristive Neural Network. Symmetry Hua Liu, Haijun Wang, Wenhui Zhang, Suling Zhang
2025	J	`jnl`	Mapping Subalpine Forest Aboveground Biomass in Qilian Mountain National Park Using UAV-LiDAR, GEDI, and Multisource Satellite Data. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. Yanyun Nian, Siwen Chen, Jie Chen, Minglu Che, Wenhui Zhang, Junejo Sikandar Ali, Hao Zhang, Xingbang Wang, Bingzhi Liao, Xufeng Wang
2025	J	`jnl`	Multi-time scale analysis of human activity patterns on the Qinghai-Tibet Plateau using location request data. Int. J. Digit. Earth Minglu Che, Yanyun Nian, Chengyao Wang, Wenhui Zhang, Jie Chen, Bingzhi Liao, Tao Pei
2025	—	`conf`	Neural Network Augmentation: Generating Palm Vein for Effective Recognition. ICCAI Yihan Guan, Qiang Gao, Yinping Wang, Jianfeng Chen, Wenhui Zhang, Guangxu Li
2025	A*	`conf`	Portcullis: A Scalable and Verifiable Privacy Gateway for Third-Party LLM Inference. AAAI Jiangou Zhan, Wenhui Zhang, Zheng Zhang, Huanran Xue, Yao Zhang, Ye Wu
2025	J	`jnl`	Selective KV-Cache Sharing to Mitigate Timing Side-Channels in LLM Inference. CoRR Kexin Chu, Zecheng Lin, Dawei Xiang, Zixu Shen, Jianchang Su, Cheng Chu, Yiwei Yang, Wenhui Zhang, Wenfei Wu, Wei Zhang
2025	J	`jnl`	Spatio-Temporal Aware Collaborative Service Ranking Prediction in IoT-Enabled Edge Computing. IEEE Access Yuze Huang, Xiao Chen, Wenhui Zhang, Qianxi Li, He Li
2025	J	`jnl`	Structure-Color Coordinated Generation for Tang Dynasty Tuanke Patterns: Facilitating Living Conservation and Dissemination via Accessible Intelligent Design. ACM Journal on Computing and Cultural Heritage Xin Shi, Jingjie Zhao, Sunan Ge, Xueqing Zhao, Wenhui Zhang
2025	J	`jnl`	Tailored meta-learning for dual trajectory transformer: advancing generalized trajectory prediction. Complex Intell. Syst. Feilong Huang, Zide Fan, Xiaohe Li, Wenhui Zhang, Pengfei Li, Ying Geng, Keqing Zhu
2025	J	`jnl`	Weighted Heronian-Maclaurin mean-based classifiers combined with FM and their application in binary classification. Int. J. Data Sci. Anal. Jiahan Wang, Zhenming Ma, Wenhui Zhang, Wei Yang
2025	J	`jnl`	White-Boxed Landslide Susceptibility Mapping Using Unsupervised Causal Model. IEEE Trans. Geosci. Remote. Sens. Xiao Ling, Dongping Ming, Wenhui Zhang, Jianao Cai, Liang Zhang, Lu Xu, Zhi Zhang
2025	J	`jnl`	ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference. CoRR Yuchong Xie, Wenhui Zhang, Dongdong She
2025	J	`jnl`	ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference. Proc. ACM Softw. Eng. Yuchong Xie, Wenhui Zhang, Dongdong She
2024	C	`conf`	A High-Throughput Lossless Image Compression Engine Optimized for Compression Ratio. ISCAS Siqi Cai, Yuzhou Chen, Wenhui Zhang, Zeyuan Jin, Gang Wang, Hao Chen, Guanghui He
2024	—	`conf`	A Low-Power and High-Accuracy Approximate Adder for Logarithmic Number System. ACM Great Lakes Symposium on VLSI Wenhui Zhang, Xinkuang Geng, Qin Wang, Jie Han, Honglan Jiang
2024	J	`jnl`	A novel multi-objective evolutionary algorithm with a two-fold constraint-handling mechanism for multiple UAV path planning. Expert Syst. Appl. Wenhui Zhang, Chaoda Peng, Yuan Yuan, Jinrong Cui, Long Qi
2024	J	`jnl`	A phase velocity preserving fourth-order finite difference scheme for the Helmholtz equation with variable wavenumber. Appl. Math. Lett. Tingting Wu, Wenhui Zhang, Taishan Zeng
2024	C	`conf`	Advancing Few-Shot Instance Segmentation of Military Aircraft in Remote Sensing Imagery with Large Vision Models. IGARSS Xiyu Qi, Yifan Wu, Wenhui Zhang, Zhan Chen, Yidan Zhang, Lei Wang
2024	J	`jnl`	An AdaBoost-based algorithm to detect hospital-acquired pressure injury in the presence of conflicting annotations. Comput. Biol. Medicine Joyce C. Ho, Mani Sotoodeh, Wenhui Zhang, Roy L. Simpson, Vicki Stover Hertzberg
2024	B	`conf`	BN-DTI: A deep learning based sequence feature incorporating method for predicting drug-target interaction. IJCB Wenhui Zhang, Xin Wen, Kewei Zhang, Rui Cao, Baolu Gao
2024	—	`conf`	Distribution-free Uncertainty Quantification for Contour Objects with Application to Tumour Segmentation in PET Imaging. COPA Wenhui Zhang
2024	J	`jnl`	Evaluation of General Large Language Models in Contextually Assessing Semantic Concepts Extracted from Adult Critical Care Electronic Health Record Notes. CoRR Darren Liu, Cheng Ding, Delgersuren Bold, Monique Bouvier, Jiaying Lu, Benjamin Shickel, Craig S. Jabaley, Wenhui Zhang, Soojin Park, Michael J. Young, Mark S. Wainwright, Gilles Clermont, Parisa Rashidi, Eric S. Rosenthal, Laurie Dimisko, Ran Xiao, Joo Heung Yoon, Carl Yang, Xiao Hu
2024	A	`conf`	Exploring Performance and Cost Optimization with ASIC-Based CXL Memory. EuroSys Yupeng Tang, Ping Zhou, Wenhui Zhang, Henry Hu, Qirui Yang, Hao Xiang, Tongping Liu, Jiaxin Shan, Ruoyun Huang, Cheng Zhao, Cheng Chen, Hui Zhang, Fei Liu, Shuai Zhang, Xiaoning Ding, Jianjun Chen
2024	—	`conf`	Fault Diagnosis Method for Temperature Rise of Tulip Contact in High Voltage Switchgear Based on Digital Twin Technology. CMLDS Yanqing Lu, Pei Cao, Wenhui Zhang, Tengfei Li
2024	J	`jnl`	GeoViewMatch: A Multi-Scale Feature-Matching Network for Cross-View Geo-Localization Using Swin-Transformer and Contrastive Learning. Remote. Sens. Wenhui Zhang, Zhinong Zhong, Hao Chen, Ning Jing
2024	J	`jnl`	Introducing v0.5 of the AI Safety Benchmark from MLCommons. CoRR Bertie Vidgen, Adarsh Agrawal, Ahmed M. Ahmed, Victor Akinwande, Namir Al-Nuaimi, Najla Alfaraj, Elie Alhajjar, Lora Aroyo, Trupti Bavalatti, Borhane Blili-Hamelin, Kurt Bollacker, Rishi Bomassani, Marisa Ferrara Boston, Siméon Campos, Kal Chakra, Canyu Chen, Cody Coleman, Zacharie Delpierre Coudert, Leon Derczynski, Debojyoti Dutta, Ian Eisenberg, James Ezick, Heather Frase, Brian Fuller, Ram Gandikota, Agasthya Gangavarapu, Ananya Gangavarapu, James Gealy, Rajat Ghosh, James Goel, Usman Gohar, Subhra S. Goswami, Scott A. Hale, Wiebke Hutiri, Joseph Marvin Imperial, Surgan Jandial, Nick Judd, Felix Juefei-Xu, Foutse Khomh, Bhavya Kailkhura, Hannah Rose Kirk, Kevin Klyman, Chris Knotz, Michael Kuchnik, Shachi H. Kumar, Chris Lengerich, Bo Li, Zeyi Liao, Eileen Peters Long, Victor Lu, Yifan Mai, Priyanka Mary Mammen, Kelvin N. Manyeki, Sean McGregor, Virendra Mehta, Shafee Mohammed, Emanuel Moss, Lama Nachman, Dinesh Jinenhally Naganna, Amin Nikanjam, Besmira Nushi, Luis Oala, Iftach Orr, Alicia Parrish, Cigdem Patlak, William Pietri, Forough Poursabzi-Sangdeh, Eleonora Presani, Fabrizio Puletti, Paul Röttger, Saurav Sahay, Tim Santos, Nino Scherrer, Alice Schoenauer Sebag, Patrick Schramowski, Abolfazl Shahbazi, Vin Sharma, Xudong Shen, Vamsi Sistla, Leonard Tang, Davide Testuggine, Vithursan Thangarasa, Elizabeth Anne Watkins, Rebecca Weiss, Chris Welty, Tyler Wilbers, Adina Williams, Carole-Jean Wu, Poonam Yadav, Xianjun Yang, Yi Zeng, Wenhui Zhang, Fedor Zhdanov, Jiacheng Zhu, Percy Liang, Peter Mattson, Joaquin Vanschoren
2024	C	`conf`	MT-GEO: A Multi-Scale Feature Extraction Network for Cross-View Geo-Localization Between Street-View and Remote Sensing Imagery. IGARSS Wenhui Zhang, Jun Li, Hao Chen, Jiangjiang Wu
2024	J	`jnl`	Negative-Core Sample Knowledge Distillation for Oriented Object Detection in Remote Sensing Image. IEEE Trans. Geosci. Remote. Sens. Wenhui Zhang, Yidan Zhang, Feilong Huang, Xiyu Qi, Lei Wang, Xiaoxuan Liu
2024	—	`conf`	Optimal Design of Heliostat Field Layout Based on Improved Sparrow Search Algorithm. ICIC (1) Weikun Li, Longzhao Huang, Xiaojie Chen, Maoning Jia, Wenhui Zhang
2024	J	`jnl`	RedAgent: Red Teaming Large Language Models with Context-aware Autonomous Language Agent. CoRR Huiyu Xu, Wenhui Zhang, Zhibo Wang, Feng Xiao, Rui Zheng, Yunhe Feng, Zhongjie Ba, Kui Ren
2024	J	`jnl`	Road Extraction From High-Resolution Remote Sensing Images of Open-Pit Mine Using D-SegNeXt. IEEE Geosci. Remote. Sens. Lett. Pengzhi Cui, Xiangfu Meng, Wenhui Zhang
2024	J	`jnl`	SecuDB: An In-enclave Privacy-preserving and Tamper-resistant Relational Database. Proc. VLDB Endow. Xinying Yang, Cong Yue, Wenhui Zhang, Yang Liu, Beng Chin Ooi, Jianjun Chen
2024	—	`conf`	Self-supervised Instance Segmentation of Diabetic Foot Ulcers via Feature Correspondence Distillation. DFUC@MICCAI Wenhui Zhang, Abhirup Banerjee, Surajit Ray
2024	Misc	`conf`	Slicing Assisted Program Verification: An Empirical Study. TASE Wenjian Chai, Rongjie Yan, Wenhui Zhang, Jian Zhang
2024	B	`conf`	Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain. ICECCS Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang
2023	—	`conf`	A Smart Contract Development Framework for Maritime Transportation Systems. QRS Companion Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang
2023	—	`conf`	A Study of Chinese-English Translation Teaching Based on Data Mining. NCAA (2) Leiming Kang, Wenhui Zhang, Mengfan Guo
2023	J	`jnl`	Adaptive Multi-Hypergraph Convolutional Networks for 3D Object Classification. IEEE Trans. Multim. Liping Nong, Jie Peng, Wenhui Zhang, Jiming Lin, Hongbing Qiu, Junyi Wang
2023	J	`jnl`	Analysis of Road Networks Features of Urban Municipal District Based on Fractal Dimension. ISPRS Int. J. Geo Inf. Hongxing Deng, Wen Wen, Wenhui Zhang
2023	—	`conf`	Deep Probability Contour Framework for Tumour Segmentation and Dose Painting in PET Images. MICCAI (4) Wenhui Zhang, Surajit Ray
2023	J	`jnl`	Energy-Saving Scheduling for Flexible Job Shop Problem with AGV Transportation Considering Emergencies. Syst. Hongliang Zhang, Chaoqun Qin, Wenhui Zhang, Zhenxing Xu, Gongjie Xu, Zhenhua Gao
2023	B	`conf`	Formal Analysis of IBC Protocol. ICNP Qiuyang Wei, Xufeng Zhao, Xue-Yang Zhu, Wenhui Zhang
2023	A*	`conf`	Free Fine-tuning: A Plug-and-Play Watermarking Scheme for Deep Neural Networks. ACM Multimedia Run Wang, Jixing Ren, Boheng Li, Tianyi She, Wenhui Zhang, Liming Fang, Jing Chen, Lina Wang
2023	J	`jnl`	GCN-based proximal unrolling matrix completion for piecewise smooth signal recovery. Signal Process. Jinling Liu, Jiming Lin, Wenhui Zhang, Liping Nong, Jie Peng, Junyi Wang
2023	J	`jnl`	Global Prescribed-Time Stabilization for a Class of Uncertain Feedforward Nonlinear Systems. IEEE Trans. Circuits Syst. II Express Briefs Wenhui Zhang, Fangzheng Gao, Jiacai Huang, Yuqiang Wu
2023	J	`jnl`	Graph learning for latent-variable Gaussian graphical models under laplacian constraints. Neurocomputing Ran Li, Jiming Lin, Hongbing Qiu, Wenhui Zhang, Junyi Wang
2023	J	`jnl`	Land Cover Changes of the Qilian Mountain National Park in Northwest China Based on Phenological Features and Sample Migration from 1990 to 2020. Remote. Sens. Yanyun Nian, Zeyu He, Wenhui Zhang, Long Chen
2023	—	`conf`	Research on Shape Adjustment Algorithm for FAST Reflective Panels. ICKII Longzhao Huang, Maoning Jia, Wenhui Zhang
2023	J	`jnl`	Self-guided Few-shot Semantic Segmentation for Remote Sensing Imagery Based on Large Vision Models. CoRR Xiyu Qi, Yifan Wu, Yongqiang Mao, Wenhui Zhang, Yidan Zhang
2023	J	`jnl`	SvTPM: SGX-Based Virtual Trusted Platform Modules for Cloud Computing. IEEE Trans. Cloud Comput. Juan Wang, Jie Wang, Chengyang Fan, Fei Yan, Yueqiang Cheng, Yinqian Zhang, Wenhui Zhang, Mengda Yang, Hongxin Hu
2022	B	`conf`	A Bounded Semantics for Improving the Efficiency of Bounded Model Checking. ICECCS Wenhui Zhang, Ya Gao
2022	—	`conf`	A Multi-Objective Topology Optimization Method Used in Simultaneous Constraints of Natural Frequency and Static Stiffness. CACML Wei Wang, Qingguo Tian, Fengbin Wang, Yesen Fan, Shikun Zheng, Wenhui Zhang
2022	—	`conf`	A Multimodal Fusion Network Based on Hypergraph for 3D Shape Retrieval. ICCT Xiaoting Huang, Liping Nong, Wenhui Zhang
2022	—	`conf`	Application of Formative Assessment Model in College English Course Assisted by Digital Platforms - Taking HFUT as an Example. ICWL Wenhui Zhang
2022	—	`conf`	Circular Interpolation Trajectory Control of Manipulator Based on LabVIEW. AIAM Wenhui Zhang, Jing Ma, Yangfan Ye, Shuhua Zhou, Xiaoping Ye, Zhangping You
2022	J	`jnl`	Cross-Frame Transformer-Based Spatio-Temporal Video Super-Resolution. IEEE Trans. Broadcast. Wenhui Zhang, Mingliang Zhou, Cheng Ji, Xiubao Sui, Junqi Bai
2022	J	`jnl`	Error model-oriented vibration suppression control of free-floating space robot with flexible joints based on adaptive neural network. Eng. Appl. Artif. Intell. Wenhui Zhang, Jinmiao Shen, Xiaoping Ye, Shuhua Zhou
2022	Misc	`conf`	On Verification of Smart Contracts via Model Checking. TASE Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao
2022	—	`conf`	Positioning and Posture Adjustment for a Rotational Cutting Biopsy Capsule. ICARM Wenjie Zhang, Paolo Dario, Wenhui Zhang, Zhibin Song
2022	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li
2022	J	`jnl`	S-Blocks: Lightweight and Trusted Virtual Security Function With SGX. IEEE Trans. Cloud Comput. Juan Wang, Shirong Hao, Hongxin Hu, Bo Zhao, Hongda Li, Wenhui Zhang, Jun Xu, Peng Liu, Jing Ma
2022	J	`jnl`	Semi-Blind Channel Estimation for RIS-Assisted MISO Systems Using Expectation Maximization. IEEE Trans. Veh. Technol. Chun Huang, Jindan Xu, Wenhui Zhang, Wei Xu, Derrick Wing Kwan Ng
2022	J	`jnl`	Worst-Case Design for RIS-Aided Over-the-Air Computation With Imperfect CSI. IEEE Commun. Lett. Wenhui Zhang, Jindan Xu, Wei Xu, Xiaohu You, Weijie Fu
2022	J	`jnl`	Worst-case Design for RIS-aided Over-the-air Computation with Imperfect CSI. CoRR Wenhui Zhang, Jindan Xu, Wei Xu, Xiaohu You, Weijie Fu
2021	J	`jnl`	A Hybrid Analysis-Based Approach to Android Malware Family Classification. Entropy Chao Ding, Nurbol Luktarhan, Bei Lu, Wenhui Zhang
2021	A	`conf`	Analyzing the Overhead of File Protection by Linux Security Modules. AsiaCCS Wenhui Zhang, Peng Liu, Trent Jaeger
2021	J	`jnl`	Analyzing the Overhead of Filesystem Protection Using Linux Security Modules. CoRR Wenhui Zhang, Trent Jaeger, Peng Liu
2021	J	`jnl`	Android Malware Detection Using TCN with Bytecode Image. Symmetry Wenhui Zhang, Nurbol Luktarhan, Chao Ding, Bei Lu
2021	J	`jnl`	Cascaded Channel Estimation for IRS-Assisted mmWave Multi-Antenna With Quantized Beamforming. IEEE Commun. Lett. Wenhui Zhang, Jindan Xu, Wei Xu, Derrick Wing Kwan Ng, Huan Sun
2021	—	`conf`	Charitable Donation System Based on Blockchain Technology. ICCIR Zhensheng Li, Wenhui Zhang, Hongye Qin, Hui Zhou
2021	J	`jnl`	Continuous-domain ant colony optimization algorithm based on reinforcement learning. Int. J. Wavelets Multiresolution Inf. Process. Wenhui Zhang, Chenyu Wang, Wenjie Lin, Jiming Lin
2021	Misc	`ed.`	Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings SETTA Shengchao Qin, Jim Woodcock, Wenhui Zhang
2021	J	`jnl`	Enhanced countering adversarial attacks via input denoising and feature restoring. CoRR Yanni Li, Wenhui Zhang, Jiawei Liu, Xiaoli Kou, Hui Li, Jiangtao Cui
2021	J	`jnl`	Examining the Concordance in the Documented Pressure Injury Site, Stage, and Count in Medical Information Mart for Intensive Care-III. Appl. Clin. Inform. Wenhui Zhang, Mani Sotoodeh, Joyce C. Ho, Roy L. Simpson, Vicki Stover Hertzberg
2021	J	`jnl`	Hypergraph wavelet neural networks for 3D object classification. Neurocomputing Liping Nong, Junyi Wang, Jiming Lin, Hongbing Qiu, Lin Zheng, Wenhui Zhang
2021	J	`jnl`	ICLSTM: Encrypted Traffic Service Identification Based on Inception-LSTM Neural Network. Symmetry Bei Lu, Nurbol Luktarhan, Chao Ding, Wenhui Zhang
2021	C	`conf`	Multi-Agent Automata and Its Application to LDLK Satisfiability Checking. QRS Ya Gao, Wenhui Zhang, Xue-Yang Zhu
2021	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Shengchao Qin, Wenhui Zhang
2021	J	`jnl`	Reconstruction Method for Binary Defocusing Technique Based on Complementary Decoding With Dual Projectors. IEEE Access Xuexing Li, Wenhui Zhang
2021	Misc	`conf`	VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques. TASE Wenhui Zhang, Xue-Yang Zhu, Yulong Bao
2020	J	`jnl`	Cascaded Channel Estimation for IRS-assisted Mmwave Multi-antenna with Quantized Beamforming. CoRR Wenhui Zhang, Jindan Xu, Wei Xu, Derrick Wing Kwan Ng, Huan Sun
2020	Misc	`conf`	Pressure Ulcer Injury in Unstructured Clinical Notes: Detection and Interpretation. AMIA Mani Sotoodeh, Zelalem Gero, Wenhui Zhang, Roy L. Simpson, Vicki Hertzberg, Joyce C. Ho
2020	J	`jnl`	Robust Visual Ship Tracking with an Ensemble Framework via Multi-View Learning and Wavelet Filter. Sensors Xinqiang Chen, Huixing Chen, Huafeng Wu, Yanguo Huang, Yongsheng Yang, Wenhui Zhang, Pengwen Xiong
2019	J	`jnl`	3D human pose estimation from range images with depth difference and geodesic distance. J. Vis. Commun. Image Represent. Wenhui Zhang, Dehui Kong, Shaofan Wang, Zhiyong Wang
2019	J	`jnl`	Balanced Homodyne Detector With Independent Phase Control and Noise Detection Branches. IEEE Access Jinrong Wang, Wenhui Zhang, Long Tian, Yajun Wang, Rongcao Yang, Jing Su, Yaohui Zheng
2019	B	`conf`	Checking Multi-Agent Systems Against Temporal-Epistemic Specifications. ICECCS Ran Chen, Wenhui Zhang
2019	C	`conf`	Correctness and Bounded Correctness [Keynote Address]. ICIS Wenhui Zhang
2019	—	`conf`	Energy distribution matters in greybox fuzzing. ICSE (Companion Volume) Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu
2019	—	`conf`	Q-Baskakov Bases and q-Baskakov Curves and Surfaces. CSAE Wenhui Zhang, Chong Zhao, Xiaoming Zeng
2019	J	`jnl`	Research on Mixed User Equilibrium Model Based on Mobile Internet Traffic Information Service. IEEE Access Qiang Luo, Jie Yuan, Xinqiang Chen, Junheng Yang, Wenhui Zhang, Jiansen Zhao
2019	—	`conf`	Signal decoupling in digital holography via compressive sensing. ISIE Wenhui Zhang, Liangcai Cao, Hua Zhang, Guofan Jin, David J. Brady
2019	A*	`conf`	Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. IJCAI Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang
2019	J	`jnl`	SvTPM: A Secure and Efficient vTPM in the Cloud. CoRR Juan Wang, Chengyang Fan, Jie Wang, Yueqiang Cheng, Yinqian Zhang, Wenhui Zhang, Peng Liu, Hongxin Hu
2019	—	`conf`	Time-Limited Tour Planning Based on Ant Colony Optimization Algorithm. DPTA Han Liu, Zhujun Yu, Wenhui Zhang, Zhihong Ma
2019	C	`conf`	Verification of CTL_BDI Properties by Symbolic Model Checking. APSEC Ran Chen, Wenhui Zhang
2018	J	`jnl`	Automatically Learning Topics and Difficulty Levels of Problems in Online Judge Systems. ACM Trans. Inf. Syst. Wayne Xin Zhao, Wenhui Zhang, Yulan He, Xing Xie, Ji-Rong Wen
2018	—	`ch.`	Characterization and Verification of Stuttering Equivalence. Symposium on Real-Time and Hybrid Systems Xinxin Liu, Wenhui Zhang
2018	J	`jnl`	End to End Video Segmentation for Driving : Lane Detection For Autonomous Car. CoRR Wenhui Zhang, Tejas Mahale
2018	J	`jnl`	Investigation on Tree Molecular Genome of Arabidopsis Thaliana for Internet of Things. IEEE Access Dan Mu, Yinghui Liang, Wenhui Zhang, Yucheng Wang
2018	J	`jnl`	Lane-changes prediction based on adaptive fuzzy neural network. Expert Syst. Appl. Jinjun Tang, Fang Liu, Wenhui Zhang, Ruimin Ke, Yajie Zou
2018	B	`conf`	Logics for Bisimulation and Divergence. FoSSaCS Xinxin Liu, Tingting Yu, Wenhui Zhang
2018	J	`jnl`	Medical Volume Reconstruction Techniques. CoRR Wenhui Zhang
2018	J	`jnl`	一种基于屏蔽码的ABAC静态策略冲突与冗余检测算法 (ABAC Static Policy Conflict and Redundancy Detection Algorithm Based on Mask Key). 计算机科学 Zetao Jiang, Zhen Xie, Qi Wang, Wenhui Zhang
2017	C	`conf`	A PageRank-improved ranking algorithm based on cheating similarity and cheating relevance. ICIS Ziqian Yuan, Wenhui Zhang, Huijuan Fu, Zhixiao Tu
2017	A*	`conf`	Analyzing divergence in bisimulation semantics. POPL Xinxin Liu, Tingting Yu, Wenhui Zhang
2017	C	`conf`	Audio retrieval based on wavelet transform. ICIS Deqin Chen, Wenhui Zhang, Zhibo Zhang, Wei Huang, Jia Ao
2017	—	`conf`	Bounded Correctness Checking of the Universal Fragment of eCTL. FSDM Fei Pu, Wenhui Zhang
2017	B	`conf`	Completeness of Hoare Logic Relative to the Standard Model. SOFSEM Zhaowei Xu, Wenhui Zhang, Yuefei Sui
2017	J	`jnl`	Completeness of Hoare Logic over Nonstandard Models. CoRR Zhaowei Xu, Yuefei Sui, Wenhui Zhang
2017	J	`jnl`	Linear templates of ACTL formulas with an application to SAT-based verification. Inf. Process. Lett. Zhaowei Xu, Wenhui Zhang
2017	J	`jnl`	On Completeness Results of Hoare Logic Relative to the Standard Model. CoRR Zhaowei Xu, Wenhui Zhang, Yuefei Sui
2016	J	`jnl`	A Probabilistic Lifestyle-Based Trajectory Model for Social Strength Inference from Human Trajectory Data. ACM Trans. Inf. Syst. Wayne Xin Zhao, Ningnan Zhou, Wenhui Zhang, Ji-Rong Wen, Shan Wang, Edward Y. Chang
2016	J	`jnl`	Characterizing the Deformation of the Polydimethylsiloxane (PDMS) Membrane for Microfluidic System through Image Processing. Micromachines Xiang Qian, Wenhui Zhang, Cheng Peng, Xingyang Liu, Quan Yu, Kai Ni, Xiaohao Wang
2016	J	`jnl`	Completeness of Hoare logic with inputs over the standard model. Theor. Comput. Sci. Zhaowei Xu, Yuefei Sui, Wenhui Zhang
2016	—	`conf`	OpenNetVM: A Platform for High Performance Network Service Chains. HotMiddlebox@SIGCOMM Wei Zhang, Guyue Liu, Wenhui Zhang, Neel Shah, Phil Lopreiato, Grégoire Todeschi, K. K. Ramakrishnan, Timothy Wood
2016	C	`conf`	OpenNetVM: Flexible, high performance NFV (Demo). LANMAN Wei Zhang, Guyue Liu, Wenhui Zhang, Neel Shah, Phil Lopreiato, Grégoire Todeschi, K. K. Ramakrishnan, Timothy Wood
2016	B	`conf`	OpenNetVM: Flexible, high performance NFV (Demo). NetSoft Wei Zhang, Guyue Liu, Wenhui Zhang, Neel Shah, Phil Lopreiato, Grégoire Todeschi, K. K. Ramakrishnan, Timothy Wood
2016	J	`jnl`	Termination analysis with recursive calling graphs. J. Netw. Comput. Appl. Teng Long, Wenhui Zhang
2016	J	`jnl`	Visual Analytics for Pattern Discovery in Home Care. Appl. Clin. Inform. Karen Monsen, Sung-Heui Bae, Wenhui Zhang, Kavita Radhakrishnan
2015	J	`jnl`	Bounded semantics. Theor. Comput. Sci. Wenhui Zhang
2015	J	`jnl`	Enhancing the Security of Protocols against Actor Key Compromise Problems. CoRR Jing Ma, Wenhui Zhang
2015	J	`jnl`	Real-Time Visual Animation of Explosions. J. Softw. Wenhui Zhang, Feng Guo, Zhian Lin, Yanhao Zhang, Jiming Lin, Xinxiang Wei
2015	B	`conf`	Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. FM Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang
2015	—	`conf`	Understanding User Behavior in Large Scale Internet Video Service. CyberC Yawei He, Anming Wei, Wenhui Zhang, Hui Xiao
2014	—	`conf`	A Symbolic Partial Order Method for Verifying SystemC. APSEC (1) Naiju Zeng, Wenhui Zhang
2014	B	`conf`	An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS. ICECCS Naiju Zeng, Wenhui Zhang
2014	A	`conf`	QBF Encoding of Temporal Properties and QBF-Based Verification. IJCAR Wenhui Zhang
2014	—	`conf`	Termination analysis with recursive calling graphs. ComComAP Teng Long, Wenhui Zhang
2013	—	`conf`	A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS. APSEC (1) Naiju Zeng, Wenhui Zhang
2012	J	`jnl`	A method for recognizing overlapping elliptical bubbles in bubble image. Pattern Recognit. Lett. Wenhui Zhang, Xiaoya Jiang, Yin-Mingzi Liu
2012	A	`conf`	Integrating computing into middle school disciplines through projects. SIGCSE Susan H. Rodger, Melissa Dalis, Chitra Gadwal, Jenna Hayes, Peggy Li, Francine Wolfe, Wenhui Zhang, Liz Liang
2012	C	`conf`	Proving Liveness Property under Fairness Requirements. APSEC Teng Long, Wenhui Zhang
2012	C	`conf`	Proving Liveness Property under Strengthened Compassion Requirements. TAMC Teng Long, Wenhui Zhang
2012	—	`conf`	Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition. FAW-AAIM Yanyan Xu, Wei Chen, Kaile Su, Wenhui Zhang
2011	J	`jnl`	Neural integrated control for a free-floating space robot with suddenly changing parameters. Sci. China Inf. Sci. Wenhui Zhang, Naiming Qi, Jing Ma, Ayang Xiao
2011	B	`conf`	Performance Evaluation of Beacon Congestion Control Algorithms for VANETs. GLOBECOM Long Le, Roberto Baldessari, Pablo Salvador, Andreas Festag, Wenhui Zhang
2010	B	`conf`	Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems. ATVA Teng Long, Wenhui Zhang
2010	B	`conf`	Experimental evaluation for IPv6 over VANET geographic routing. IWCMC Manabu Tsukada, Inès Ben Jemaa, Hamid Menouar, Wenhui Zhang, Maria Goleva, Thierry Ernst
2010	—	`conf`	Formula-Oriented Compositional Minimization in Model Checking. Asian Test Symposium Bowen Chen, Haihua Shen, Wenhui Zhang
2010	C	`conf`	Research about the entrepreneurial behavior "intermittent point" based on the entrepreneurial incubation chain: A theoretical analysis framework. ICIS Bei Hu, Wenhui Zhang, Rongzhi Liu
2009	J	`jnl`	A direct construction of polynomial-size OBDD proof of pigeon hole problem. Inf. Process. Lett. Wei Chen, Wenhui Zhang
2009	—	`conf`	Analysis of Packet Forwarding in VANETs Using Probabilistic Channel Model. VTC Spring Wenhui Zhang
2009	Misc	`conf`	Bounded Model Checking of ACTL Formulae. TASE Wei Chen, Wenhui Zhang
2009	C	`conf`	Bounded Semantics of CTL and SAT-Based Verification. ICFEM Wenhui Zhang
2009	J	`jnl`	Carbon Nanotubes as Active Components for Gas Sensors. J. Sensors Weide Zhang, Wenhui Zhang
2009	—	`conf`	Distributed rate control algorithm for VANETs (DRCV). Vehicular Ad Hoc Networks Michele Drigo, Wenhui Zhang, Roberto Baldessari, Long Le, Andreas Festag, Michele Zorzi
2009	J	`jnl`	Improved Bounded Model Checking for the Universal Fragment of CTL. J. Comput. Sci. Technol. Liang Xu, Wei Chen, Yanyan Xu, Wenhui Zhang
2009	J	`jnl`	Vehicular wireless short-range communication for improving intersection safety. IEEE Commun. Mag. Long Le, Andreas Festag, Roberto Baldessari, Wenhui Zhang
2008	Misc	`conf`	A MANET-centric solution for the application of NEMO in VANET using geographic routing. TRIDENTCOM Roberto Baldessari, Wenhui Zhang, Andreas Festag, Long Le
2008	J	`jnl`	Basic research in computer science and software engineering at SKLCS. Frontiers Comput. Sci. China Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu
2007	J	`jnl`	A polynomial dynamic system approach to software design for attractivity requirement. Inf. Sci. Xiang-Yun Wang, Wenhui Zhang, Yong-Chao Li, Kai-Yuan Cai
2007	J	`jnl`	Combining search space partition and abstraction for LTL model checking. Sci. China Ser. F Inf. Sci. Fei Pu, Wenhui Zhang
2007	—	`conf`	Efficient State Space Reduction for Automata by Fair Simulation. FSEN Jin Yi, Wenhui Zhang
2007	C	`conf`	Enhancing Simulation for Checking Language Containment. TAMC Jin Yi, Wenhui Zhang
2007	Misc	`conf`	Evaluation of SAT-based Bounded Model Checking of ACTL Properties. TASE Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang
2007	C	`conf`	Model Checking with SAT-Based Characterization of ACTL Formulas. ICFEM Wenhui Zhang
2007	Misc	`conf`	Partition Refinement in Abstract Model Checking. TASE Fei Pu, Wenhui Zhang
2007	—	`conf`	Verification of ACTL Properties by Bounded Model Checking. EUROCAST Wenhui Zhang
2006	B	`ed.`	Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. ATVA Susanne Graf, Wenhui Zhang
2006	—	`conf`	LTL Model Checking via Search Space Partition. QSIC Fei Pu, Wenhui Zhang
2006	—	`conf`	SAT-Based Verification of LTL Formulas. FMICS/PDMC Wenhui Zhang
2006	J	`jnl`	Structure of proofs and the complexity of cut elimination. Theor. Comput. Sci. Wenhui Zhang
2005	—	`conf`	An Improved Case-Based Approach to LTL Model Checking. RISE Fei Pu, Wenhui Zhang, Shaochun Wang
2004	B	`conf`	Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity. ATVA Bai Su, Wenhui Zhang
2003	J	`jnl`	Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking. J. Comput. Sci. Technol. Wenhui Zhang
2003	—	`conf`	Modeling of WLAN Beacon Signal Strength Measured in an Indoor Environment. International Conference on Wireless Networks Wenhui Zhang
2002	B	`conf`	A Strategy for Improving the Efficiency of Procedure Verification. SAFECOMP Wenhui Zhang
2002	B	`conf`	Combining Graphical and Formal Development of Open Distributed Systems. IFM Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
2002	B	`conf`	Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances. PRICAI Wenhui Zhang, Zhuo Huang, Jian Zhang
2001	—	`conf`	Applying SDL Specifications and Tools to the Verification of Procedures. SDL Forum Wenhui Zhang
2001	—	`conf`	Integrating UML and OUN for Specification of Open Distributed Systems. HCC Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo
2001	C	`conf`	Specification of Distributed Systems with a Combination of Graphica and Formal Languages. APSEC Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
2000	B	`conf`	Validation of Control System Specifications with Abstract Plant Models. SAFECOMP Wenhui Zhang
1999	—	`conf`	Model Checking Operator Procedures. SPIN Wenhui Zhang
1996	J	`jnl`	Number of Models and Satisfiability of Sets of Clauses. Theor. Comput. Sci. Wenhui Zhang
1994	J	`jnl`	Depth of Proofs, Depth of Cut-Formulas and Complexity of Cut Formulas. Theor. Comput. Sci. Wenhui Zhang
1993	J	`jnl`	An introduction to INCAPS system. J. Comput. Sci. Technol. Renwei Li, Pei He, Wenhui Zhang
1993	J	`jnl`	Cut-Formulas in Propositional Logic. Theor. Comput. Sci. Wenhui Zhang
1992	—	`conf`	Theory and Practice for XYZ/VERI System. IWAR Pei He, Renwei Li, Wenhui Zhang
1991	J	`jnl`	Cut Elimination and Automatic Proof Procedures. Theor. Comput. Sci. Wenhui Zhang