default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWenhui Zhang
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Other persons with the same name
- Wenhui Zhang 0001 — University of California, Irvine, USA
- Wenhui Zhang 0002 — Case Western Reserve University, USA
- Wenhui Zhang 0003 — University of Stuttgart, Germany
- Wenhui Zhang 0004
![[0000-0002-6202-8311]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-6202-8311")
(aka: Wen-Hui Zhang 0004) — Nankai University, School of Mathematical Sciences and LPMC, Tianjin, China - Wenhui Zhang 0005 — Huazhong University of Science and Technology, Wuhan National Laboratory for Optoelectronics, Key Laboratory of Information Storage System of Ministry of Education, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j63]Wenhui Zhang:
First order Büchi automata and their application to verification of LTL specifications. J. Log. Algebraic Methods Program. 142: 101021 (2025)- 2024
- [j62]Tingting Wu, Wenhui Zhang, Taishan Zeng:
A phase velocity preserving fourth-order finite difference scheme for the Helmholtz equation with variable wavenumber. Appl. Math. Lett. 154: 109105 (2024) - [j61]Joyce C. Ho, Mani Sotoodeh, Wenhui Zhang, Roy L. Simpson, Vicki Stover Hertzberg:
An AdaBoost-based algorithm to detect hospital-acquired pressure injury in the presence of conflicting annotations. Comput. Biol. Medicine 168: 107754 (2024) - [j60]Wenhui Zhang, Chaoda Peng, Yuan Yuan, Jinrong Cui, Long Qi:
A novel multi-objective evolutionary algorithm with a two-fold constraint-handling mechanism for multiple UAV path planning. Expert Syst. Appl. 238(Part D): 121862 (2024) - [j59]Pengzhi Cui, Xiangfu Meng, Wenhui Zhang:
Road Extraction From High-Resolution Remote Sensing Images of Open-Pit Mine Using D-SegNeXt. IEEE Geosci. Remote. Sens. Lett. 21: 1-5 (2024) - [j58]Xinying Yang, Cong Yue, Wenhui Zhang, Yang Liu, Beng Chin Ooi, Jianjun Chen:
SecuDB: An In-enclave Privacy-preserving and Tamper-resistant Relational Database. Proc. VLDB Endow. 17(12): 3906-3919 (2024) - [j57]Wenhui Zhang, Zhinong Zhong, Hao Chen, Ning Jing:
GeoViewMatch: A Multi-Scale Feature-Matching Network for Cross-View Geo-Localization Using Swin-Transformer and Contrastive Learning. Remote. Sens. 16(4): 678 (2024) - [j56]Wenhui Zhang, Yidan Zhang, Feilong Huang, Xiyu Qi, Lei Wang, Xiaoxuan Liu:
Negative-Core Sample Knowledge Distillation for Oriented Object Detection in Remote Sensing Image. IEEE Trans. Geosci. Remote. Sens. 62: 1-18 (2024) - [c86]Yanqing Lu, Pei Cao, Wenhui Zhang, Tengfei Li:
Fault Diagnosis Method for Temperature Rise of Tulip Contact in High Voltage Switchgear Based on Digital Twin Technology. CMLDS 2024: 31:1-31:6 - [c85]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:
Exploring Performance and Cost Optimization with ASIC-Based CXL Memory. EuroSys 2024: 818-833 - [c84]Wenhui Zhang, Xinkuang Geng, Qin Wang, Jie Han, Honglan Jiang:
A Low-Power and High-Accuracy Approximate Adder for Logarithmic Number System. ACM Great Lakes Symposium on VLSI 2024: 125-131 - [c83]Wenhui Zhang, Xin Wen, Kewei Zhang, Rui Cao, Baolu Gao:
BN-DTI: A deep learning based sequence feature incorporating method for predicting drug-target interaction. IJCB 2024: 1-9 - [c82]Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang:
Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain. ICECCS 2024: 179-198 - [c81]Weikun Li, Longzhao Huang, Xiaojie Chen, Maoning Jia, Wenhui Zhang:
Optimal Design of Heliostat Field Layout Based on Improved Sparrow Search Algorithm. ICIC (1) 2024: 408-417 - [c80]Wenhui Zhang, Jun Li, Hao Chen, Jiangjiang Wu:
MT-GEO: A Multi-Scale Feature Extraction Network for Cross-View Geo-Localization Between Street-View and Remote Sensing Imagery. IGARSS 2024: 6964-6968 - [c79]Xiyu Qi, Yifan Wu, Wenhui Zhang, Zhan Chen, Yidan Zhang, Lei Wang:
Advancing Few-Shot Instance Segmentation of Military Aircraft in Remote Sensing Imagery with Large Vision Models. IGARSS 2024: 9957-9960 - [c78]Siqi Cai, Yuzhou Chen, Wenhui Zhang, Zeyuan Jin, Gang Wang, Hao Chen, Guanghui He:
A High-Throughput Lossless Image Compression Engine Optimized for Compression Ratio. ISCAS 2024: 1-5 - [c77]Wenjian Chai, Rongjie Yan, Wenhui Zhang, Jian Zhang:
Slicing Assisted Program Verification: An Empirical Study. TASE 2024: 38-57 - [i14]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:
Evaluation of General Large Language Models in Contextually Assessing Semantic Concepts Extracted from Adult Critical Care Electronic Health Record Notes. CoRR abs/2401.13588 (2024) - [i13]Bertie Vidgen, Adarsh Agrawal, Ahmed M. Ahmed, Victor Akinwande, Namir Al-Nuaimi, Najla Alfaraj, Elie Alhajjar, Lora Aroyo, Trupti Bavalatti, Borhane Blili-Hamelin, Kurt D. 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 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:
Introducing v0.5 of the AI Safety Benchmark from MLCommons. CoRR abs/2404.12241 (2024) - [i12]Huiyu Xu, Wenhui Zhang, Zhibo Wang, Feng Xiao, Rui Zheng, Yunhe Feng, Zhongjie Ba, Kui Ren:
RedAgent: Red Teaming Large Language Models with Context-aware Autonomous Language Agent. CoRR abs/2407.16667 (2024) - 2023
- [j55]Hongxing Deng, Wen Wen, Wenhui Zhang:
Analysis of Road Networks Features of Urban Municipal District Based on Fractal Dimension. ISPRS Int. J. Geo Inf. 12(5): 188 (2023) - [j54]Ran Li, Jiming Lin, Hongbing Qiu, Wenhui Zhang, Junyi Wang:
Graph learning for latent-variable Gaussian graphical models under laplacian constraints. Neurocomputing 532: 67-76 (2023) - [j53]Yanyun Nian, Zeyu He, Wenhui Zhang, Long Chen:
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. 15(4): 1074 (2023) - [j52]Jinling Liu, Jiming Lin, Wenhui Zhang, Liping Nong, Jie Peng, Junyi Wang:
GCN-based proximal unrolling matrix completion for piecewise smooth signal recovery. Signal Process. 207: 108932 (2023) - [j51]Hongliang Zhang, Chaoqun Qin, Wenhui Zhang, Zhenxing Xu, Gongjie Xu, Zhenhua Gao:
Energy-Saving Scheduling for Flexible Job Shop Problem with AGV Transportation Considering Emergencies. Syst. 11(2): 103 (2023) - [j50]Wenhui Zhang, Fangzheng Gao, Jiacai Huang, Yuqiang Wu:
Global Prescribed-Time Stabilization for a Class of Uncertain Feedforward Nonlinear Systems. IEEE Trans. Circuits Syst. II Express Briefs 70(4): 1450-1454 (2023) - [j49]Juan Wang, Jie Wang, Chengyang Fan, Fei Yan, Yueqiang Cheng, Yinqian Zhang, Wenhui Zhang, Mengda Yang, Hongxin Hu:
SvTPM: SGX-Based Virtual Trusted Platform Modules for Cloud Computing. IEEE Trans. Cloud Comput. 11(3): 2936-2953 (2023) - [j48]Liping Nong, Jie Peng, Wenhui Zhang, Jiming Lin, Hongbing Qiu, Junyi Wang:
Adaptive Multi-Hypergraph Convolutional Networks for 3D Object Classification. IEEE Trans. Multim. 25: 4842-4855 (2023) - [c76]Longzhao Huang, Maoning Jia, Wenhui Zhang:
Research on Shape Adjustment Algorithm for FAST Reflective Panels. ICKII 2023: 594-598 - [c75]Qiuyang Wei, Xufeng Zhao, Xue-Yang Zhu, Wenhui Zhang:
Formal Analysis of IBC Protocol. ICNP 2023: 1-11 - [c74]Wenhui Zhang, Surajit Ray:
Deep Probability Contour Framework for Tumour Segmentation and Dose Painting in PET Images. MICCAI (4) 2023: 534-543 - [c73]Run Wang, Jixing Ren, Boheng Li, Tianyi She, Wenhui Zhang, Liming Fang, Jing Chen, Lina Wang:
Free Fine-tuning: A Plug-and-Play Watermarking Scheme for Deep Neural Networks. ACM Multimedia 2023: 8463-8474 - [c72]Leiming Kang, Wenhui Zhang, Mengfan Guo:
A Study of Chinese-English Translation Teaching Based on Data Mining. NCAA (2) 2023: 505-515 - [c71]Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang:
A Smart Contract Development Framework for Maritime Transportation Systems. QRS Companion 2023: 310-319 - [i11]Xiyu Qi, Yifan Wu, Yongqiang Mao, Wenhui Zhang, Yidan Zhang:
Self-guided Few-shot Semantic Segmentation for Remote Sensing Imagery Based on Large Vision Models. CoRR abs/2311.13200 (2023) - 2022
- [j47]Wenhui Zhang, Jinmiao Shen, Xiaoping Ye, Shuhua Zhou:
Error model-oriented vibration suppression control of free-floating space robot with flexible joints based on adaptive neural network. Eng. Appl. Artif. Intell. 114: 105028 (2022) - [j46]Wenhui Zhang, Jindan Xu, Wei Xu, Xiaohu You, Weijie Fu:
Worst-Case Design for RIS-Aided Over-the-Air Computation With Imperfect CSI. IEEE Commun. Lett. 26(9): 2136-2140 (2022) - [j45]Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li:
Preface. J. Comput. Sci. Technol. 37(1): 1-3 (2022) - [j44]Wenhui Zhang, Mingliang Zhou, Cheng Ji, Xiubao Sui, Junqi Bai:
Cross-Frame Transformer-Based Spatio-Temporal Video Super-Resolution. IEEE Trans. Broadcast. 68(2): 359-369 (2022) - [j43]Juan Wang, Shirong Hao, Hongxin Hu, Bo Zhao, Hongda Li, Wenhui Zhang, Jun Xu, Peng Liu, Jing Ma:
S-Blocks: Lightweight and Trusted Virtual Security Function With SGX. IEEE Trans. Cloud Comput. 10(2): 1082-1099 (2022) - [j42]Chun Huang, Jindan Xu, Wenhui Zhang, Wei Xu, Derrick Wing Kwan Ng:
Semi-Blind Channel Estimation for RIS-Assisted MISO Systems Using Expectation Maximization. IEEE Trans. Veh. Technol. 71(9): 10173-10178 (2022) - [c70]Wenhui Zhang, Jing Ma, Yangfan Ye, Shuhua Zhou, Xiaoping Ye, Zhangping You:
Circular Interpolation Trajectory Control of Manipulator Based on LabVIEW. AIAM 2022: 794-801 - [c69]Wei Wang, Qingguo Tian, Fengbin Wang, Yesen Fan, Shikun Zheng, Wenhui Zhang:
A Multi-Objective Topology Optimization Method Used in Simultaneous Constraints of Natural Frequency and Static Stiffness. CACML 2022: 7-12 - [c68]Wenjie Zhang, Paolo Dario, Wenhui Zhang, Zhibin Song:
Positioning and Posture Adjustment for a Rotational Cutting Biopsy Capsule. ICARM 2022: 82-86 - [c67]Xiaoting Huang, Liping Nong, Wenhui Zhang:
A Multimodal Fusion Network Based on Hypergraph for 3D Shape Retrieval. ICCT 2022: 1682-1687 - [c66]Wenhui Zhang, Ya Gao:
A Bounded Semantics for Improving the Efficiency of Bounded Model Checking. ICECCS 2022: 97-106 - [c65]Wenhui Zhang:
Application of Formative Assessment Model in College English Course Assisted by Digital Platforms - Taking HFUT as an Example. ICWL 2022: 502-512 - [c64]Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao:
On Verification of Smart Contracts via Model Checking. TASE 2022: 92-112 - [i10]Wenhui Zhang, Jindan Xu, Wei Xu, Xiaohu You, Weijie Fu:
Worst-case Design for RIS-aided Over-the-air Computation with Imperfect CSI. CoRR abs/2206.06936 (2022) - 2021
- [j41]Xuexing Li, Wenhui Zhang:
Reconstruction Method for Binary Defocusing Technique Based on Complementary Decoding With Dual Projectors. IEEE Access 9: 29200-29206 (2021) - [j40]Wenhui Zhang, Mani Sotoodeh, Joyce C. Ho, Roy L. Simpson, Vicki Stover Hertzberg:
Examining the Concordance in the Documented Pressure Injury Site, Stage, and Count in Medical Information Mart for Intensive Care-III. Appl. Clin. Inform. 12(4): 897-909 (2021) - [j39]Chao Ding, Nurbol Luktarhan, Bei Lu, Wenhui Zhang:
A Hybrid Analysis-Based Approach to Android Malware Family Classification. Entropy 23(8): 1009 (2021) - [j38]Wenhui Zhang, Jindan Xu, Wei Xu, Derrick Wing Kwan Ng, Huan Sun:
Cascaded Channel Estimation for IRS-Assisted mmWave Multi-Antenna With Quantized Beamforming. IEEE Commun. Lett. 25(2): 593-597 (2021) - [j37]Liping Nong, Junyi Wang, Jiming Lin, Hongbing Qiu, Lin Zheng, Wenhui Zhang:
Hypergraph wavelet neural networks for 3D object classification. Neurocomputing 463: 580-595 (2021) - [j36]Wenhui Zhang, Chenyu Wang, Wenjie Lin, Jiming Lin:
Continuous-domain ant colony optimization algorithm based on reinforcement learning. Int. J. Wavelets Multiresolution Inf. Process. 19(3): 2050084:1-2050084:18 (2021) - [j35]Tao Xie, Shengchao Qin, Wenhui Zhang:
Preface. J. Comput. Sci. Technol. 36(6): 1229-1230 (2021) - [j34]Bei Lu, Nurbol Luktarhan, Chao Ding, Wenhui Zhang:
ICLSTM: Encrypted Traffic Service Identification Based on Inception-LSTM Neural Network. Symmetry 13(6): 1080 (2021) - [j33]Wenhui Zhang, Nurbol Luktarhan, Chao Ding, Bei Lu:
Android Malware Detection Using TCN with Bytecode Image. Symmetry 13(7): 1107 (2021) - [c63]Wenhui Zhang, Peng Liu, Trent Jaeger:
Analyzing the Overhead of File Protection by Linux Security Modules. AsiaCCS 2021: 393-406 - [c62]Zhensheng Li, Wenhui Zhang, Hongye Qin, Hui Zhou:
Charitable Donation System Based on Blockchain Technology. ICCIR 2021: 92-96 - [c61]Ya Gao, Wenhui Zhang, Xue-Yang Zhu:
Multi-Agent Automata and Its Application to LDLK Satisfiability Checking. QRS 2021: 1024-1035 - [c60]Wenhui Zhang, Xue-Yang Zhu, Yulong Bao:
VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques. TASE 2021: 135-142 - [e2]Shengchao Qin, Jim Woodcock, Wenhui Zhang:
Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings. Lecture Notes in Computer Science 13071, Springer 2021, ISBN 978-3-030-91264-2 [contents] - [i9]Wenhui Zhang, Trent Jaeger, Peng Liu:
Analyzing the Overhead of Filesystem Protection Using Linux Security Modules. CoRR abs/2101.11611 (2021) - [i8]Yanni Li, Wenhui Zhang, Jiawei Liu, Xiaoli Kou, Hui Li, Jiangtao Cui:
Enhanced countering adversarial attacks via input denoising and feature restoring. CoRR abs/2111.10075 (2021) - 2020
- [j32]Xinqiang Chen, Huixing Chen, Huafeng Wu, Yanguo Huang, Yongsheng Yang, Wenhui Zhang, Pengwen Xiong:
Robust Visual Ship Tracking with an Ensemble Framework via Multi-View Learning and Wavelet Filter. Sensors 20(3): 932 (2020) - [c59]Mani Sotoodeh, Zelalem Gero, Wenhui Zhang, Roy L. Simpson, Vicki Hertzberg, Joyce C. Ho:
Pressure Ulcer Injury in Unstructured Clinical Notes: Detection and Interpretation. AMIA 2020 - [d1]Xiaoli Wu, Wenhui Zhang, Zhibo Fu, Roy T. H. Cheung, Rosa H. M. Chan:
Ear-EEG Recording for Brain Computer Interface of Motor Task. IEEE DataPort, 2020
- [i7]Wenhui Zhang, Jindan Xu, Wei Xu, Derrick Wing Kwan Ng, Huan Sun:
Cascaded Channel Estimation for IRS-assisted Mmwave Multi-antenna with Quantized Beamforming. CoRR abs/2010.00865 (2020)
2010 – 2019
- 2019
- [j31]Jinrong Wang, Wenhui Zhang, Long Tian, Yajun Wang, Rongcao Yang, Jing Su, Yaohui Zheng:
Balanced Homodyne Detector With Independent Phase Control and Noise Detection Branches. IEEE Access 7: 57054-57059 (2019) - [j30]Qiang Luo, Jie Yuan, Xinqiang Chen, Junheng Yang, Wenhui Zhang, Jiansen Zhao:
Research on Mixed User Equilibrium Model Based on Mobile Internet Traffic Information Service. IEEE Access 7: 164775-164791 (2019) - [j29]Wenhui Zhang, Dehui Kong, Shaofan Wang, Zhiyong Wang:
3D human pose estimation from range images with depth difference and geodesic distance. J. Vis. Commun. Image Represent. 59: 272-282 (2019) - [c58]Wenhui Zhang:
Correctness and Bounded Correctness [Keynote Address]. ICIS 2019: 2 - [c57]Ran Chen, Wenhui Zhang:
Verification of CTL_BDI Properties by Symbolic Model Checking. APSEC 2019: 102-109 - [c56]Wenhui Zhang, Chong Zhao, Xiaoming Zeng:
Q-Baskakov Bases and q-Baskakov Curves and Surfaces. CSAE 2019: 5:1-5:6 - [c55]Han Liu, Zhujun Yu, Wenhui Zhang, Zhihong Ma:
Time-Limited Tour Planning Based on Ant Colony Optimization Algorithm. DPTA 2019: 1155-1162 - [c54]Ran Chen, Wenhui Zhang:
Checking Multi-Agent Systems Against Temporal-Epistemic Specifications. ICECCS 2019: 21-30 - [c53]Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu:
Energy distribution matters in greybox fuzzing. ICSE (Companion Volume) 2019: 270-271 - [c52]Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang:
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. IJCAI 2019: 1093-1100 - [c51]Wenhui Zhang, Liangcai Cao, Hua Zhang, Guofan Jin, David J. Brady:
Signal decoupling in digital holography via compressive sensing. ISIE 2019: 2414-2418 - [i6]Juan Wang, Chengyang Fan, Jie Wang, Yueqiang Cheng, Yinqian Zhang, Wenhui Zhang, Peng Liu, Hongxin Hu:
SvTPM: A Secure and Efficient vTPM in the Cloud. CoRR abs/1905.08493 (2019) - 2018
- [j28]Dan Mu, Yinghui Liang, Wenhui Zhang, Yucheng Wang:
Investigation on Tree Molecular Genome of Arabidopsis Thaliana for Internet of Things. IEEE Access 6: 67688-67698 (2018) - [j27]Jinjun Tang, Fang Liu, Wenhui Zhang, Ruimin Ke, Yajie Zou:
Lane-changes prediction based on adaptive fuzzy neural network. Expert Syst. Appl. 91: 452-463 (2018) - [j26]Zetao Jiang, Zhen Xie, Qi Wang, Wenhui Zhang:
一种基于屏蔽码的ABAC静态策略冲突与冗余检测算法 (ABAC Static Policy Conflict and Redundancy Detection Algorithm Based on Mask Key). 计算机科学 45(2): 197-202 (2018) - [j25]Wayne Xin Zhao, Wenhui Zhang, Yulan He, Xing Xie, Ji-Rong Wen:
Automatically Learning Topics and Difficulty Levels of Problems in Online Judge Systems. ACM Trans. Inf. Syst. 36(3): 27:1-27:33 (2018) - [c50]Xinxin Liu, Tingting Yu, Wenhui Zhang:
Logics for Bisimulation and Divergence. FoSSaCS 2018: 221-237 - [p1]Xinxin Liu, Wenhui Zhang:
Characterization and Verification of Stuttering Equivalence. Symposium on Real-Time and Hybrid Systems 2018: 116-132 - [i5]Wenhui Zhang:
Medical Volume Reconstruction Techniques. CoRR abs/1802.07710 (2018) - [i4]Wenhui Zhang, Tejas Mahale:
End to End Video Segmentation for Driving : Lane Detection For Autonomous Car. CoRR abs/1812.05914 (2018) - 2017
- [j24]Zhaowei Xu, Wenhui Zhang:
Linear templates of ACTL formulas with an application to SAT-based verification. Inf. Process. Lett. 127: 6-16 (2017) - [c49]Ziqian Yuan, Wenhui Zhang, Huijuan Fu, Zhixiao Tu:
A PageRank-improved ranking algorithm based on cheating similarity and cheating relevance. ICIS 2017: 257-263 - [c48]Deqin Chen, Wenhui Zhang, Zhibo Zhang, Wei Huang, Jia Ao:
Audio retrieval based on wavelet transform. ICIS 2017: 531-534 - [c47]Fei Pu, Wenhui Zhang:
Bounded Correctness Checking of the Universal Fragment of eCTL. FSDM 2017: 326-333 - [c46]Xinxin Liu, Tingting Yu, Wenhui Zhang:
Analyzing divergence in bisimulation semantics. POPL 2017: 735-747 - [c45]Zhaowei Xu, Wenhui Zhang, Yuefei Sui:
Completeness of Hoare Logic Relative to the Standard Model. SOFSEM 2017: 119-131 - [i3]Zhaowei Xu, Wenhui Zhang, Yuefei Sui:
On Completeness Results of Hoare Logic Relative to the Standard Model. CoRR abs/1703.00237 (2017) - [i2]Zhaowei Xu, Yuefei Sui, Wenhui Zhang:
Completeness of Hoare Logic over Nonstandard Models. CoRR abs/1703.00240 (2017) - 2016
- [j23]Karen Monsen, Sung-Heui Bae, Wenhui Zhang, Kavita Radhakrishnan:
Visual Analytics for Pattern Discovery in Home Care. Appl. Clin. Inform. 07(03): 711-730 (2016) - [j22]Teng Long, Wenhui Zhang:
Termination analysis with recursive calling graphs. J. Netw. Comput. Appl. 59: 109-116 (2016) - [j21]Xiang Qian, Wenhui Zhang, Cheng Peng, Xingyang Liu, Quan Yu, Kai Ni, Xiaohao Wang:
Characterizing the Deformation of the Polydimethylsiloxane (PDMS) Membrane for Microfluidic System through Image Processing. Micromachines 7(5): 92 (2016) - [j20]Zhaowei Xu, Yuefei Sui, Wenhui Zhang:
Completeness of Hoare logic with inputs over the standard model. Theor. Comput. Sci. 612: 23-28 (2016) - [j19]Wayne Xin Zhao, Ningnan Zhou, Wenhui Zhang, Ji-Rong Wen, Shan Wang, Edward Y. Chang:
A Probabilistic Lifestyle-Based Trajectory Model for Social Strength Inference from Human Trajectory Data. ACM Trans. Inf. Syst. 35(1): 8:1-8:28 (2016) - [c44]Wei Zhang, Guyue Liu, Wenhui Zhang, Neel Shah, Phil Lopreiato, Grégoire Todeschi, K. K. Ramakrishnan, Timothy Wood:
OpenNetVM: Flexible, high performance NFV (Demo). LANMAN 2016: 1-2 - [c43]Wei Zhang, Guyue Liu, Wenhui Zhang, Neel Shah, Phil Lopreiato, Grégoire Todeschi, K. K. Ramakrishnan, Timothy Wood:
OpenNetVM: Flexible, high performance NFV (Demo). NetSoft 2016: 359-360 - [c42]Wei Zhang, Guyue Liu, Wenhui Zhang, Neel Shah, Phil Lopreiato, Grégoire Todeschi, K. K. Ramakrishnan, Timothy Wood:
OpenNetVM: A Platform for High Performance Network Service Chains. HotMiddlebox@SIGCOMM 2016: 26-31 - 2015
- [j18]Wenhui Zhang, Feng Guo, Zhian Lin, Yanhao Zhang, Jiming Lin, Xinxiang Wei:
Real-Time Visual Animation of Explosions. J. Softw. 10(3): 331-343 (2015) - [j17]Wenhui Zhang:
Bounded semantics. Theor. Comput. Sci. 564: 1-29 (2015) - [c41]