


Остановите войну!
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
showing all ?? records
2020 – today
- 2023
- [j54]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) - [j53]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) - [j52]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) - [j51]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) - [j50]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) - [j49]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) - [j48]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) - [c71]Leiming Kang, Wenhui Zhang, Mengfan Guo:
A Study of Chinese-English Translation Teaching Based on Data Mining. NCAA (2) 2023: 505-515 - 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]