Остановите войну!
for scientists:
default search action
Wenhui 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 (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
2020 – today
- 2024
- [j58]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) - [j57]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) - [j56]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) - [i12]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) - 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]Yawei He, Anming Wei, Wenhui Zhang, Hui Xiao:
Understanding User Behavior in Large Scale Internet Video Service. CyberC 2015: 261-267 - [c40]Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang:
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. FM 2015: 551-569 - [i1]Jing Ma, Wenhui Zhang:
Enhancing the Security of Protocols against Actor Key Compromise Problems. CoRR abs/1507.03109 (2015) - 2014
- [c39]Naiju Zeng, Wenhui Zhang:
A Symbolic Partial Order Method for Verifying SystemC. APSEC (1) 2014: 271-278 - [c38]Wenhui Zhang:
QBF Encoding of Temporal Properties and QBF-Based Verification. IJCAR 2014: 224-239 - [c37]Teng Long, Wenhui Zhang:
Termination analysis with recursive calling graphs. ComComAP 2014: 276-282 - [c36]Naiju Zeng, Wenhui Zhang:
An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS. ICECCS 2014: 198-201 - 2013
- [c35]Naiju Zeng, Wenhui Zhang:
A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS. APSEC (1) 2013: 371-379 - 2012
- [j16]Wenhui Zhang, Xiaoya Jiang, Yin-Mingzi Liu:
A method for recognizing overlapping elliptical bubbles in bubble image. Pattern Recognit. Lett. 33(12): 1543-1548 (2012) - [c34]Yanyan Xu, Wei Chen, Kaile Su, Wenhui Zhang:
Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition. FAW-AAIM 2012: 259-268 - [c33]Teng Long, Wenhui Zhang:
Proving Liveness Property under Fairness Requirements. APSEC 2012: 674-682 - [c32]Susan H. Rodger, Melissa Dalis, Chitra Gadwal, Jenna Hayes, Peggy Li, Francine Wolfe, Wenhui Zhang, Liz Liang:
Integrating computing into middle school disciplines through projects. SIGCSE 2012: 421-426 - [c31]Teng Long, Wenhui Zhang:
Proving Liveness Property under Strengthened Compassion Requirements. TAMC 2012: 498-508 - 2011
- [j15]Wenhui Zhang, Naiming Qi, Jing Ma, Ayang Xiao:
Neural integrated control for a free-floating space robot with suddenly changing parameters. Sci. China Inf. Sci. 54(10): 2091-2099 (2011) - [c30]Long Le, Roberto Baldessari, Pablo Salvador, Andreas Festag, Wenhui Zhang:
Performance Evaluation of Beacon Congestion Control Algorithms for VANETs. GLOBECOM 2011: 1-6 - 2010
- [c29]Bowen Chen, Haihua Shen, Wenhui Zhang:
Formula-Oriented Compositional Minimization in Model Checking. Asian Test Symposium 2010: 81-84 - [c28]Teng Long, Wenhui Zhang:
Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems. ATVA 2010: 276-290 - [c27]Bei Hu, Wenhui Zhang, Rongzhi Liu:
Research about the entrepreneurial behavior "intermittent point" based on the entrepreneurial incubation chain: A theoretical analysis framework. ICIS 2010: 148-151 - [c26]Manabu Tsukada, Inès Ben Jemaa, Hamid Menouar, Wenhui Zhang, Maria Goleva, Thierry Ernst:
Experimental evaluation for IPv6 over VANET geographic routing. IWCMC 2010: 736-741
2000 – 2009
- 2009
- [j14]Long Le, Andreas Festag, Roberto Baldessari, Wenhui Zhang:
Vehicular wireless short-range communication for improving intersection safety. IEEE Commun. Mag. 47(11): 104-110 (2009) - [j13]Wei Chen, Wenhui Zhang:
A direct construction of polynomial-size OBDD proof of pigeon hole problem. Inf. Process. Lett. 109(10): 472-477 (2009) - [j12]Liang Xu, Wei Chen, Yanyan Xu, Wenhui Zhang:
Improved Bounded Model Checking for the Universal Fragment of CTL. J. Comput. Sci. Technol. 24(1): 96-109 (2009) - [j11]Weide Zhang, Wenhui Zhang:
Carbon Nanotubes as Active Components for Gas Sensors. J. Sensors 2009: 160698:1-160698:16 (2009) - [c25]Wenhui Zhang:
Bounded Semantics of CTL and SAT-Based Verification. ICFEM 2009: 286-305 - [c24]Michele Drigo, Wenhui Zhang, Roberto Baldessari, Long Le, Andreas Festag, Michele Zorzi:
Distributed rate control algorithm for VANETs (DRCV). Vehicular Ad Hoc Networks 2009: 119-120 - [c23]Wei Chen, Wenhui Zhang:
Bounded Model Checking of ACTL Formulae. TASE 2009: 90-99 - [c22]Wenhui Zhang:
Analysis of Packet Forwarding in VANETs Using Probabilistic Channel Model. VTC Spring 2009 - 2008
- [j10]Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu:
Basic research in computer science and software engineering at SKLCS. Frontiers Comput. Sci. China 2(1): 1-11 (2008) - [c21]Roberto Baldessari, Wenhui Zhang, Andreas Festag, Long Le:
A MANET-centric solution for the application of NEMO in VANET using geographic routing. TRIDENTCOM 2008: 12 - 2007
- [j9]Fei Pu, Wenhui Zhang:
Combining search space partition and abstraction for LTL model checking. Sci. China Ser. F Inf. Sci. 50(6): 793-810 (2007) - [j8]Xiang-Yun Wang, Wenhui Zhang, Yong-Chao Li, Kai-Yuan Cai:
A polynomial dynamic system approach to software design for attractivity requirement. Inf. Sci. 177(13): 2712-2725 (2007) - [c20]Wenhui Zhang:
Verification of ACTL Properties by Bounded Model Checking. EUROCAST 2007: 556-563 - [c19]Jin Yi, Wenhui Zhang:
Efficient State Space Reduction for Automata by Fair Simulation. FSEN 2007: 380-387 - [c18]Wenhui Zhang:
Model Checking with SAT-Based Characterization of ACTL Formulas. ICFEM 2007: 191-211 - [c17]Jin Yi, Wenhui Zhang:
Enhancing Simulation for Checking Language Containment. TAMC 2007: 374-385 - [c16]Fei Pu, Wenhui Zhang:
Partition Refinement in Abstract Model Checking. TASE 2007: 209-218 - [c15]Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang:
Evaluation of SAT-based Bounded Model Checking of ACTL Properties. TASE 2007: 339-348 - 2006
- [j7]Wenhui Zhang:
Structure of proofs and the complexity of cut elimination. Theor. Comput. Sci. 353(1-3): 63-70 (2006) - [c14]Wenhui Zhang:
SAT-Based Verification of LTL Formulas. FMICS/PDMC 2006: 277-292 - [c13]Fei Pu, Wenhui Zhang:
LTL Model Checking via Search Space Partition. QSIC 2006: 418-428 - [e1]Susanne Graf, Wenhui Zhang:
Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Lecture Notes in Computer Science 4218, Springer 2006, ISBN 3-540-47237-1 [contents] - 2005
- [c12]Fei Pu, Wenhui Zhang, Shaochun Wang:
An Improved Case-Based Approach to LTL Model Checking. RISE 2005: 190-202 - 2004
- [c11]Bai Su, Wenhui Zhang:
Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity. ATVA 2004: 34-48 - 2003
- [j6]Wenhui Zhang:
Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking. J. Comput. Sci. Technol. 18(6): 762-770 (2003) - [c10]Wenhui Zhang:
Modeling of WLAN Beacon Signal Strength Measured in an Indoor Environment. International Conference on Wireless Networks 2003: 70-75 - 2002
- [c9]Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo:
Combining Graphical and Formal Development of Open Distributed Systems. IFM 2002: 319-338 - [c8]Wenhui Zhang, Zhuo Huang, Jian Zhang:
Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances. PRICAI 2002: 108-117 - [c7]Wenhui Zhang:
A Strategy for Improving the Efficiency of Procedure Verification. SAFECOMP 2002: 113-125 - 2001
- [c6]Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo:
Specification of Distributed Systems with a Combination of Graphica and Formal Languages. APSEC 2001: 105- - [c5]Wenhui Zhang:
Applying SDL Specifications and Tools to the Verification of Procedures. SDL Forum 2001: 421-438 - [c4]Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo:
Integrating UML and OUN for Specification of Open Distributed Systems. HCC 2001: 122- - 2000
- [c3]Wenhui Zhang:
Validation of Control System Specifications with Abstract Plant Models. SAFECOMP 2000: 53-62
1990 – 1999
- 1999
- [c2]Wenhui Zhang:
Model Checking Operator Procedures. SPIN 1999: 200-215 - 1996
- [j5]Wenhui Zhang:
Number of Models and Satisfiability of Sets of Clauses. Theor. Comput. Sci. 155(1): 277-288 (1996) - 1994
- [j4]Wenhui Zhang:
Depth of Proofs, Depth of Cut-Formulas and Complexity of Cut Formulas. Theor. Comput. Sci. 129(1): 193-206 (1994) - 1993
- [j3]Renwei Li, Pei He, Wenhui Zhang:
An introduction to INCAPS system. J. Comput. Sci. Technol. 8(1): 26-37 (1993) - [j2]Wenhui Zhang:
Cut-Formulas in Propositional Logic. Theor. Comput. Sci. 120(1): 157-168 (1993) - 1992
- [c1]Pei He, Renwei Li, Wenhui Zhang:
Theory and Practice for XYZ/VERI System. IWAR 1992: 239-248 - 1991
- [j1]Wenhui Zhang:
Cut Elimination and Automatic Proof Procedures. Theor. Comput. Sci. 91(2): 265-284 (1991)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-18 20:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint