default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJianhua Zhao
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. 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
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j56]Hongsong Wang
, Jianhua Zhao, Jie Gui:
Region-aware image-based human action retrieval with transformers. Comput. Vis. Image Underst. 249: 104202 (2024)- [j55]Liwen Chen, Jianhua Zhao, Xiaochen Wu, Jisheng Zhao, Jia Deng:
Simulation and parametric optimal design of active radial magnetic fluid bearing. Int. J. Model. Identif. Control. 44(1): 77-87 (2024) - [j54]Jianhua Zhao, Haiye Liang, Shulan Li, Zhiji Yang, Zhen Wang:
Matrix-based vs. vector-based linear discriminant analysis: A comparison of regularized variants on multivariate time series data. Inf. Sci. 654: 119872 (2024) - [j53]Zhiji Yang, Wanyi Chen, Huan Zhang, Yitian Xu, Lei Shi, Jianhua Zhao:
A safe screening rule with bi-level optimization of ν support vector machine. Pattern Recognit. 155: 110644 (2024) - [c100]Yunhui Liu, Tieke He, Qing Wu, Tao Zheng, Jianhua Zhao:
Scalable and Adaptive Spectral Embedding for Attributed Graph Clustering. CIKM 2024: 3912-3916 - [c99]Xiao Guo, Jianhua Zhao, Lei Bu:
Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters. HSCC 2024: 3:1-3:12 - [c98]Yunhui Liu, Huaisong Zhang, Tieke He, Tao Zheng, Jianhua Zhao:
Bootstrap Latents of Nodes and Neighbors for Graph Self-supervised Learning. ECML/PKDD (3) 2024: 76-92 - [i13]Xuan Ma, Jianhua Zhao, Changchun Shang, Fen Jiang, Philip L. H. Yu:
Robust bilinear factor analysis based on the matrix-variate t distribution. CoRR abs/2401.02203 (2024) - [i12]Zhiji Yang, Wanyi Chen, Huan Zhang, Yitian Xu, Lei Shi, Jianhua Zhao:
A Safe Screening Rule with Bi-level Optimization of ν Support Vector Machine. CoRR abs/2403.01769 (2024) - [i11]Hongsong Wang, Jianhua Zhao, Jie Gui:
Region-aware Image-based Human Action Retrieval with Transformers. CoRR abs/2407.09924 (2024) - [i10]Yunhui Liu, Xinyi Gao, Tieke He, Tao Zheng, Jianhua Zhao, Hongzhi Yin:
Reliable Node Similarity Matrix Guided Contrastive Graph Clustering. CoRR abs/2408.03765 (2024) - [i9]Yunhui Liu, Huaisong Zhang, Tieke He, Tao Zheng, Jianhua Zhao:
Bootstrap Latents of Nodes and Neighbors for Graph Self-Supervised Learning. CoRR abs/2408.05087 (2024) - [i8]Yunhui Liu, Tieke He, Qing Wu, Tao Zheng, Jianhua Zhao:
Scalable and Adaptive Spectral Embedding for Attributed Graph Clustering. CoRR abs/2408.05765 (2024) - 2023
- [j52]Ning Liu, Jianhua Zhao:
Recommendation System Based on Deep Sentiment Analysis and Matrix Factorization. IEEE Access 11: 16994-17001 (2023) - [j51]Renxue Jiang, Zhiji Yang, Jianhua Zhao:
A Complete Deep Support Vector Data Description for One Class Learning. IEEE Access 11: 117494-117507 (2023) - [j50]Ning Liu, Jianhua Zhao:
Streaming Data Classification Based on Hierarchical Concept Drift and Online Ensemble. IEEE Access 11: 126040-126051 (2023) - [j49]Zhang Yan, Hongle Du, Lin Zhang, Jianhua Zhao:
Personalization exercise recommendation framework based on knowledge concept graph. Comput. Sci. Inf. Syst. 20(2): 857-878 (2023) - [j48]Xuan Ma, Jianhua Zhao, Yue Wang, Changchun Shang, Fen Jiang:
Robust factored principal component analysis for matrix-valued outlier accommodation and detection. Comput. Stat. Data Anal. 179: 107657 (2023) - [j47]Ning Liu, Jianhua Zhao:
Deep recommendation system based on knowledge graph and review text. J. Intell. Fuzzy Syst. 45(5): 7661-7673 (2023) - [j46]Jianhua Zhao, Xuan Ma, Lei Shi, Zhen Wang:
Robust Bilinear Probabilistic PCA Using a Matrix Variate t Distribution. IEEE Trans. Neural Networks Learn. Syst. 34(12): 10683-10697 (2023) - [c97]Jianhua Zhao, Tao Yan:
Research on the Prediction Method of Rural Industry Integration Based on Improved RBF Neural Network Model. ICCDE 2023: 41-47 - [c96]Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao:
DStream: A Streaming-Based Highly Parallel IFDS Framework. ICSE 2023: 2488-2500 - [i7]Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li:
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software. CoRR abs/2305.17869 (2023) - 2022
- [j45]Liwen Chen, Dianrong Gao, Jianhua Zhao, Jisheng Zhao:
Study on the law of the structure parameters influence on thermal deformation of magnetic poles of magnetic-liquid double suspension bearing. Int. J. Comput. Appl. Technol. 69(3): 253-262 (2022) - [j44]Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li:
Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software. IEEE Trans. Software Eng. 48(2): 346-363 (2022) - [c95]Jianhua Zhao:
Future Education and Talents Cultivation: A Knowledge Building Approach. ICBL 2022: 35-47 - [c94]Yuan Zhao, Gaolei Yi, Fan Liu, Zhanwei Hui, Jianhua Zhao:
A Framework for Scanning Privacy Information based on Static Analysis. QRS 2022: 1135-1145 - [c93]Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li:
BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution). TACAS (2) 2022: 408-412 - [i6]Jianhua Zhao, Haiye Liang, Shulan Li, Zhiji Yang, Zhen Wang:
Regularized Bilinear Discriminant Analysis for Multivariate Time Series Data. CoRR abs/2202.13188 (2022) - [i5]Jianhua Zhao, Changchun Shang, Shulan Li, Ling Xin, Philip L. H. Yu:
Choosing the number of factors in factor analysis with incomplete data via a hierarchical Bayesian information criterion. CoRR abs/2204.09086 (2022) - 2021
- [j43]Jianhua Zhao, Feng Sun, Haiye Liang, Xuan Ma, Xingxu Li, Jun He:
Pseudo Bidirectional Linear Discriminant Analysis for Multivariate Time Series Classification. IEEE Access 9: 88674-88684 (2021) - [j42]Liwen Chen, Dianrong Gao, Jianhua Zhao, Jisheng Zhao:
Study on temperature rise and thermal deformation of rotor caused by eddy current loss of magnetic-liquid double suspension bearing. Int. J. Model. Identif. Control. 37(3/4): 267-274 (2021) - [j41]Jianhua Zhao, Ning Liu:
A Safe Semi-supervised Classification Algorithm Using Multiple Classifiers Ensemble. Neural Process. Lett. 53(4): 2603-2616 (2021) - [c92]Shifang Hai, Pengpeng Yu, Shuhua Zhou, Jianhua Zhao, Jinshi Yang:
Construction and Debugging of High Gain Zero Current Input Ripple Converter. ICITEE 2021: 25:1-25:5 - [c91]Shifang Hai, Pengpeng Yu, Shuhua Zhou, Jianhua Zhao, Jinshi Yang:
Design and Simulation of Adjustable DC Regulated Power Supply Based on LM317. ICITEE 2021: 33:1-33:4 - [i4]Xuan Ma, Jianhua Zhao, Yue Wang:
Robust factored principal component analysis for matrix-valued outlier accommodation and detection. CoRR abs/2112.06760 (2021) - 2020
- [j40]Wenjun Huo, Peng Chu, Kai Wang, Liangting Fu, Zhigang Niu, Jianhua Zhao:
Weak Transient Electromagnetic Radiation Signal Detection Method Considering the New Watershed Image Segmentation Algorithm. Int. J. Pattern Recognit. Artif. Intell. 34(3): 2054009:1-2054009:15 (2020) - [j39]Lei Shi, Chen Shen, Qi Shi, Zhen Wang, Jianhua Zhao, Xuelong Li, Stefano Boccaletti:
Recovering Network Structures Based on Evolutionary Game Dynamics via Secure Dimensional Reduction. IEEE Trans. Netw. Sci. Eng. 7(3): 2027-2036 (2020) - [c90]Tingting Liang, Lina Ke, Jianchao Fan, Jianhua Zhao:
Green Tide Information Extraction Based on Multi-source Remote Sensing Data. ICACI 2020: 460-465
2010 – 2019
- 2019
- [j38]Baoxi Yuan, Yang Li, Fan Jiang, Xiaojie Xu, Yingxia Guo, Jianhua Zhao, Deyue Zhang, Jianxin Guo, Xiaoli Shen:
MU R-CNN: A Two-Dimensional Code Instance Segmentation Network Based on Deep Learning. Future Internet 11(9): 197 (2019) - [j37]Jing Yang, Jie Zhu, Yizhong Sun, Jianhua Zhao:
Delimitating Urban Commercial Central Districts by Combining Kernel Density Estimation and Road Intersections: A Case Study in Nanjing City, China. ISPRS Int. J. Geo Inf. 8(2): 93 (2019) - [j36]Jianchao Fan, Xiang Wang, Xinxin Wang, Jianhua Zhao, Xiaoxin Liu:
Incremental Wishart Broad Learning System for Fast PolSAR Image Classification. IEEE Geosci. Remote. Sens. Lett. 16(12): 1854-1858 (2019) - [j35]Jianchao Fan, Jianhua Zhao, Wentao An, Yuanyuan Hu:
Marine Floating Raft Aquaculture Detection of GF-3 PolSAR Images Based on Collective Multikernel Fuzzy Clustering. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 12(8): 2741-2754 (2019) - [c89]Baoxi Yuan, Yang Li, Fan Jiang, Xiaojie Xu, Jianhua Zhao, Deyue Zhang, Jianxin Guo, Yuqian Wang, Shanwen Zhang:
Fast QR code detection based on BING and AdaBoost-SVM. HPSR 2019: 1-6 - [c88]Jialan Chu, Yanlong Chen, Jianhua Zhao, Fei Wang:
Evaluation on BJ-2 Image Fusion Algorithms for Satellite Images of Coastal Aquaculture Sea Areas. IGARSS 2019: 2826-2829 - [c87]Yanlong Chen, Jianhua Wan, Jie Zhang, Jianhua Zhao, Feng Ye, Zizhu Wang, Shanwei Liu:
Automatic Extraction Method of Sargassum Based on Spectral-Texture Features of Remote Sensing Images. IGARSS 2019: 3705-3707 - [c86]Xiaojing Yan, Huawei Wang, Qiang Fu, Jianhua Zhao:
Civil Aviation Safety Risk Assessment for Rare Events. ISKE 2019: 898-906 - 2018
- [j34]Anning Suo, Hongwei Ma, Fang Li, Baoquan Wei, Yong Lin, Jianhua Zhao:
Coastline carrying capacity monitoring and assessment based on GF-1 satellite remote sensing images. EURASIP J. Image Video Process. 2018: 84 (2018) - [j33]Jianhua Zhao, Ning Liu, A. Malov:
Safe semi-supervised classification algorithm combined with active learning sampling strategy. J. Intell. Fuzzy Syst. 35(4): 4001-4010 (2018) - [j32]Chao Zhou, Shengbo Chen, Yuanzhi Zhang, Jianhua Zhao, Derui Song, Dawei Liu:
Evaluating Metal Effects on the Reflectance Spectra of Plant Leaves during Different Seasons in Post-Mining Areas, China. Remote. Sens. 10(8): 1211 (2018) - [j31]Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Model-based Construction and Verification of Cyber-Physical Systems. ACM SIGSOFT Softw. Eng. Notes 43(3): 6-10 (2018) - [c85]Jianchao Fan, Jianhua Zhao, Derui Song, Xinxin Wang, Xiang Wang, Xiu Su:
Marine Floating Raft Aquaculture Dynamic Monitoring Based on Multi-source GF Imagery. Agro-Geoinformatics 2018: 1-4 - [c84]Yun Zhang, Jianhua Zhao, Jianli Zhang, Derui Song:
Land Use Pattern Evolution and Trend Simulation in Nansi Lake. Agro-Geoinformatics 2018: 1-5 - [c83]Chao Zhou, Shengbo Chen, Jianhua Zhao, Derui Song, Xianchuang Fan:
Detection of Alone Stress and Combined Stress by CU and NI in Wheat Using Visible to Near-Infrared Spectroscopy. Agro-Geoinformatics 2018: 1-6 - [c82]Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li:
DangDone: Eliminating Dangling Pointers via Intermediate Pointers. Internetware 2018: 6:1-6:10 - [c81]Jianchao Fan, Jianhua Zhao, Min Han, Xinxin Wang, Bingnan Li:
Marine Aquaculture Targets Automatic Recognition Based on GF-3 PolSAR Imagery. ISNN 2018: 451-458 - [c80]Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, Jianhua Zhao:
Dual-force: understanding WebView malware via cross-language forced execution. ASE 2018: 714-725 - 2017
- [c79]Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao:
A Framework for Array Invariants Synthesis in Induction-Loop Programs. APSEC 2017: 21-30 - [c78]Jianchao Fan, Jianhua Zhao, Xinxin Wang, Xiang Wang, Jialan Chu, Bingnan Li:
Marine reclamation feature analysis based on GF-3 SAR remote sensing imagery. IGARSS 2017: 1974-1977 - [c77]Xiang Wang, Xinxin Wang, Jianhua Zhao, Jianchao Fan, Xiu Su, Dejun Zou:
Monitoring the thermal discharge of hongyanhe nuclear power plant with aerial remote sensing technology using a UAV platform. IGARSS 2017: 2958-2961 - [c76]Sheng Wang, Qiang Zhang, Yaohui Li, Lijuan Wang, Jianhua Zhao, Ping Yue, Xing Wang, Xiaocui Hao:
Study on dew characteristics in Loess Plateau, China. IGARSS 2017: 4688-4691 - [c75]Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li:
Automatic detection and validation of race conditions in interrupt-driven embedded software. ISSTA 2017: 113-124 - [c74]Zhenhao Tang, Juan Zhai, Bin Li, Jianhua Zhao:
Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java. QRS 2017: 208-215 - 2016
- [j30]Lei Shi, Jun Lu, Jianhua Zhao, Gemai Chen:
Case deletion diagnostics for GMM estimation. Comput. Stat. Data Anal. 95: 176-191 (2016) - [j29]Jianhua Zhao, Xuandong Li:
Formal Verification of 'Programming to Interfaces' Programs. Int. J. Softw. Informatics 10(4) (2016) - [c73]Juan Zhai, Jianjun Huang, Shiqing Ma, Xiangyu Zhang, Lin Tan, Jianhua Zhao, Feng Qin:
Automatic model generation from documentation for Java API functions. ICSE 2016: 380-391 - [c72]Shiyong Wen, Yongjian Liu, Zizhu Wang, Xinxin Wang, Xiang Wang, Jianhua Zhao:
Coupling effects of nutrients and temperature for the hazard degree dynamic assessment of Karenia mikimotoi red tide disasters in the Wenzhou coastal waters. IGARSS 2016: 4203-4206 - [c71]Jingping Xu, Fang Li, Jianhua Zhao, Shiyong Wen:
Geomorphic zones mapping and development status monitoring of coral reefs in Xisha, China. IGARSS 2016: 4588-4591 - [c70]Xiang Wang, Xinxin Wang, Jianchao Fan, Shiyong Wen, Jianhua Zhao, Xiu Su:
Comparison of different spatial resolution thermal infrared data in monitoring thermal plume from the Hongyanhe nuclear power plant. IGARSS 2016: 4649-4652 - [c69]Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li:
ACSPChecker: an ASP based CSP model checking tool. Internetware 2016: 99-102 - [c68]Bin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao:
Automatic Invariant Synthesis for Arrays in Simple Programs. QRS 2016: 108-119 - [c67]Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li:
Precondition Calculation for Loops Iterating over Data Structures. QRS 2016: 132-143 - 2015
- [j28]Jianhua Zhao, Libin Jin, Lei Shi:
Mixture model selection via hierarchical BIC. Comput. Stat. Data Anal. 88: 139-153 (2015) - [j27]Yuchen Dong, Hanfei Wang, Jianhua Zhao:
基于数据流分析的单链表可达性自动化验证 (Automatic Verification of Singly Linked List Pointer's Reachability Property Using Data-flow Analysis Method). 计算机科学 42(12): 47-51 (2015) - [j26]Tian Zhang, Xiaomei Zheng, Yan Zhang, Jianhua Zhao, Xuandong Li:
A declarative approach for Java code instrumentation. Softw. Qual. J. 23(1): 143-170 (2015) - [j25]Jianhua Zhao, Lei Shi, Ji Zhu:
Two-Stage Regularized Linear Discriminant Analysis for 2-D Data. IEEE Trans. Neural Networks Learn. Syst. 26(8): 1669-1681 (2015) - [c66]Bin Li, Zhenhao Tang, Jianhua Zhao:
Invariant Synthesis for Programs Manipulating Arrays with Unbounded Data. Internetware 2015: 195-198 - [c65]Yu Wang, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation. Internetware 2015: 199-202 - [c64]Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li:
Analyzing Inductively Defined Properties for Recursive Data Structures. Internetware 2015: 221-228 - [c63]Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li:
Node-Set Analysis for Linked Recursive Data Structures. QRS 2015: 59-64 - [c62]Bin Li, Jun Liu, Jianhua Zhao:
Code Generation for Abstract Data Types Based on Program Analysis. QRS Companion 2015: 153-160 - [c61]Xiaoli Zhou, Hanfei Wang, Jianhua Zhao:
A Fault-Localization Approach Based on the Coincidental Correctness Probability. QRS 2015: 292-297 - [c60]Juan Zhai, Hanfei Wang, Jianhua Zhao:
Assertion-Directed Precondition Synthesis for Loops over Data Structures. SETTA 2015: 258-274 - 2014
- [j24]Jianhua Zhao, Lei Shi:
Automated learning of factor analysis with complete and incomplete data. Comput. Stat. Data Anal. 72: 205-218 (2014) - [j23]Dingbao Xie, Lei Bu, Jianhua Zhao, Xuandong Li:
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata. Formal Methods Syst. Des. 45(1): 42-62 (2014) - [j22]Xiaoping Zhang, Delu Pan, Jianyu Chen, Jianhua Zhao, Qiankun Zhu, Haiqing Huang:
Evaluation of Coastline Changes under Human Intervention Using Multi-Temporal High-Resolution Images: A Case Study of the Zhoushan Islands, China. Remote. Sens. 6(10): 9930-9950 (2014) - [j21]Jianhua Zhao:
Efficient Model Selection for Mixtures of Probabilistic PCA Via Hierarchical BIC. IEEE Trans. Cybern. 44(10): 1871-1883 (2014) - [c59]Hui Ma, Hang Yin, Hongfei Guo, Jianhua Zhao:
A Novel Single-Carrier Digital Broadcasting System Based on LDPC Codes in Shortwave. CIT 2014: 689-693 - [c58]Xiaoli Zhou, Linzhang Wang, Xuandong Li, Jianhua Zhao:
An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability. SEKE 2014: 632-635 - [c57]Juan Zhai, Hanfei Wang, Jianhua Zhao:
Post-condition-Directed Invariant Inference for Loops over Data Structures. SERE (Companion) 2014: 204-212 - 2013
- [j20]Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li:
Verifying Aspect-Oriented Models against Crosscutting Properties. Int. J. Softw. Eng. Knowl. Eng. 23(5): 655-676 (2013) - [j19]Hadi Mansoor, Haishan Zeng, Isabella T. Tai, Jianhua Zhao, Mu Chiao:
A Handheld Electromagnetically Actuated Fiber Optic Raster Scanner for Reflectance Confocal Imaging of Biological Tissues. IEEE Trans. Biomed. Eng. 60(5): 1431-1438 (2013) - [c56]Yinjian Jiang, Jianhua Zhao:
Research on Application of Collaborative Knowledge Building in Blended Language Classroom Teaching. ICHL 2013: 45-56 - [c55]Jianhua Zhao, Yinjian Jiang:
Developing an Indicator System of ICT in Education: From Conceptual Model to Items Extraction. ICHL 2013: 110-121 - [c54]Jianhua Zhao, Xuandong Li:
Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures. ICTAC 2013: 409-426 - [c53]Jiantao He, Linzhang Wang, Jianhua Zhao:
Supporting Automatic Code Review via Design. SERE (Companion) 2013: 211-218 - [i3]Jianhua Zhao, Xuandong Li:
Formal Verification of 'Programming to Interfaces' Programs. CoRR abs/1311.7181 (2013) - 2012
- [j18]Jianhua Zhao, Philip L. H. Yu, Lei Shi, Shulan Li:
Separable linear discriminant analysis. Comput. Stat. Data Anal. 56(12): 4290-4300 (2012) - [j17]Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao:
Timing analysis of scenario-based specifications using linear programming. Softw. Test. Verification Reliab. 22(2): 121-143 (2012) - [j16]Jianhua Zhao, Philip L. H. Yu, James T. Kwok:
Bilinear Probabilistic Principal Component Analysis. IEEE Trans. Neural Networks Learn. Syst. 23(3): 492-503 (2012) - [c52]Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata. ICCPS 2012: 237 - [c51]Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Time-leverage point detection for time sensitive software maintenance. ICSM 2012: 567-570 - [c50]Yuchen Xing, Hanfei Wang, Jianhua Zhao:
An Integration of Several Different Data Flow Analysis Techniques. ISCTCS 2012: 458-465 - [c49]Xiaoyu Zhou, Jianhua Zhao:
An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems. ISCTCS 2012: 482-489 - [c48]Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li:
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. SEKE 2012: 369-374 - [c47]Xiaoyu Zhou, Qian Li, Jianhua Zhao:
A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking. SERE (Companion) 2012: 158-167 - 2011
- [j15]Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li:
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. SIGBED Rev. 8(2): 7-10 (2011) - [c46]Shaoming Chai, Jianhua Zhao, Su Mu:
Discourse analysis of collaborative meaning making in CSCL. CSCL 2011 - [c45]Jianhua Zhao, Kedong Li, Shaoming Chai, Lu Wang, Shaoqing Guo, Shengquan Yu, Gang Cheng, Xianmin Yang, Yanyan Li, Hui Xu, Xidiao Chen, Xiaoqing Gu, Jian Zhao, Xianqing Bao, Kangli Li, Jim Slotta, Nancy Law:
Introducing China: Expanding the CSCL Research Community. CSCL 2011 - [c44]Dihua Cai, Jianhua Zhao, Yaohui Li, Ni Guo, Haixia Duan, Hui Han, Jing Wang:
Influence of changes of underlying surface on the output of sand-dust model. IGARSS 2011: 720-723 - 2010
- [j14]Xiuyi Zhou, Jun Yang, Yi Xu, Youtao Zhang, Jianhua Zhao:
Thermal-Aware Task Scheduling for 3D Multicore Processors. IEEE Trans. Parallel Distributed Syst. 21(1): 60-71 (2010) - [c43]Jianhua Zhao, Philip L. H. Yu, Shulan Li:
Separable Two-Dimensional Linear Discriminant Analysis. COMPSTAT 2010: 597-604 - [c42]Lin Li, Youtao Zhang, Jun Yang, Jianhua Zhao:
Proactive NBTI mitigation for busy functional units in out-of-order microprocessors. DATE 2010: 411-416 - [c41]Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. ICECCS 2010: 255-256 - [c40]Jianhua Zhao, Yinjian Jiang:
Knowledge Construction through Discussion Forum in a Blended Learning Environment. ICHL 2010: 395-406 - [c39]Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Enabling multi-core based monitoring and fault tolerance in C++/Java. IWMSE@ICSE 2010: 32-39 - [c38]Jie Chen, Qian Li, Jianhua Zhao, Xuandong Li:
Test adequacy criterion based on coincidental correctness probability. Internetware 2010: 20 - [c37]Lin Tan, Lei Bu, Jianhua Zhao, Linzhang Wang:
Analyzing the robustness of FTSP with timed automata. Internetware 2010: 21 - [c36]Qian Li, Jianhua Zhao, Xuandong Li:
Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination. ISoLA (1) 2010: 564-578 - [c35]You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Extending Ada to support multi-core based monitoring and fault tolerance. SIGAda 2010: 53-62 - [c34]Lei Bu, Jianhua Zhao, Xuandong Li:
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. VMCAI 2010: 78-94 - [i2]Jianhua Zhao, Xuandong Li:
Scope Logic with Local Reasoning and Pre/Post-State Properties. CoRR abs/1012.2553 (2010)
2000 – 2009
- 2009
- [j13]Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li:
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. Comput. J. 52(5): 545-556 (2009) - [j12]Qiyun Wang, Huay Lit Woo, Jianhua Zhao:
Investigating critical thinking and knowledge construction in an interactive learning environment. Interact. Learn. Environ. 17(1): 95-104 (2009) - [j11]Jianhua Zhao, Philip L. H. Yu:
A note on variational Bayesian factor analysis. Neural Networks 22(7): 988-997 (2009) - [c33]Xiaohua Li, Jianhua Zhao, Ligang Fan:
A Discussion on the Training Mode of University Administrative Staffs under the Specialization View. ETT 2009: 146-149 - [c32]Xiaohua Li, Junshuan Liu, Jianhua Zhao:
The International Comparison of Professionalization of University Administrators and the Related Apocalypse. ETT 2009: 154-158 - [c31]Jianhua Zhao, Yinjian Jiang:
A Descriptive Method for Simulating a Group Knowledge Building Process. ICHL 2009: 249-259 - [c30]Zhixiong Han, Linzhang Wang, Liqian Yu, Xin Chen, Jianhua Zhao, Xuandong Li:
Design pattern directed clustering for understanding open source code. ICPC 2009: 295-296 - [c29]Xiaohua Li, Jianhua Zhao:
A Research on the Training Mode of University Administer. SKG 2009: 310-313 - [c28]Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao:
Verification of Population Ring Protocols in PAT. TASE 2009: 81-89 - [e1]Jianhua Zhao, Volker Stolz:
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008. Electronic Notes in Theoretical Computer Science 243, Elsevier 2009 [contents] - [i1]Jianhua Zhao, Xuandong Li:
Scope Logic: Extending Hoare Logic for Pointer Program Verification. CoRR abs/0912.4184 (2009) - 2008
- [j10]Jianhua Zhao, Philip L. H. Yu, Qibao Jiang:
ML estimation for factor analysis: EM or non-EM? Stat. Comput. 18(2): 109-123 (2008) - [j9]Jianhua Zhao, Philip L. H. Yu:
Fast ML Estimation for the Mixture of Factor Analyzers via an ECM Algorithm. IEEE Trans. Neural Networks 19(11): 1956-1961 (2008) - [c27]Jianhua Zhao, Chaoying Liu, Xueling Song, Zheying Song:
Discussion on Teamwork Construction in Teaching of Universities and Colleges. CSSE (5) 2008: 5-8 - [c26]Jianhua Zhao, David McConnell:
Teachers' Conceptions of E-learning in Chinese Higher Education: Findings of Phenomenographic Study. CSSE (5) 2008: 392-395 - [c25]Jianhua Zhao:
An Examination of Students' Perception of Blended E-Learning in Chinese Higher Education. Edutainment 2008: 162-170 - [c24]Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao:
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. HASE 2008: 487-490 - [c23]Lu Yang, Jianwen Tang, Jianhua Zhao, Xuandong Li:
A case study for monitoring-oriented programming in multi-core architecture. IWMSE@ICSE 2008: 47-52 - [c22]Jianhua Zhao:
A Sociogram Analysis on Group Interaction in an Online Discussion Forum. ICWL 2008: 377-389 - [c21]Jianhua Zhao, Linzhang Wang, Xuandong Li:
A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA 2008: 262-276 - [c20]Tian Zhang, Frédéric Jouault, Jean Bézivin, Jianhua Zhao:
A MDE Based Approach for Bridging Formal Models. TASE 2008: 113-116 - [c19]Jianhua Zhao, Volker Stolz:
Preface. TTSS 2008: 1-2 - 2007
- [j8]Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li:
A model-driven development framework for enterprise Web services. Inf. Syst. Frontiers 9(4): 391-409 (2007) - [c18]Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li:
Towards a Model Driven Approach to Automatic BPEL Generation. ECMDA-FA 2007: 204-218 - 2006
- [j7]Jianhua Zhao, Qibao Jiang:
Probabilistic PCA for t distributions. Neurocomputing 69(16-18): 2217-2226 (2006) - [j6]Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng:
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. J. Comput. Sci. Technol. 21(1): 41-51 (2006) - [c17]Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng:
Runtime Verification of Java Programs for Scenario-Based Specifications. Ada-Europe 2006: 94-105 - [c16]Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
A Model Driven Development Framework for Enterprise Web Services. EDOC 2006: 75-84 - [c15]Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng:
Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403 - [c14]Jianhua Zhao, David McConnell:
Students' Understandings and Attitudes toward Group learning: An Empirical Study. ICCE 2006: 205-208 - [c13]Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng:
Improve Model Checking Efficiency Using Specific Knowledge about the System. ISoLA 2006: 392-396 - 2005
- [j5]Jianhua Zhao, Xuandong Li, Guoliang Zheng:
A quadratic-time DBM-based successor algorithm for checking timed automata. Inf. Process. Lett. 96(3): 101-105 (2005) - [c12]Weizhen Yan, Jianhua Zhao, Zhe Cao:
Fuzzy Programming Model for Lot Sizing Production Planning Problem. FSKD (1) 2005: 285-294 - [c11]Jinwu Gao, Jianhua Zhao, Xiaoyu Ji:
Fuzzy Chance-Constrained Programming for Capital Budgeting Problem with Fuzzy Decisions. FSKD (1) 2005: 304-311 - [c10]Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng:
Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS 2005 - [c9]Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng:
Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum 2005: 298-312 - 2004
- [j4]Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng:
Duration-constrained regular expressions. Formal Aspects Comput. 16(2): 155-163 (2004) - [c8]Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng:
Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256 - 2003
- [c7]Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng:
Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45 - 2002
- [j3]Xuandong Li, Jianhua Zhao, Yu Pei, Yong Li, Tao Zheng, Guoliang Zheng:
Positive loop-closed automata: a decidable class of hybrid systems. J. Log. Algebraic Methods Program. 52-53: 79-108 (2002) - [c6]Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng:
Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432 - [c5]Jianhua Zhao, David McConnell, Kedong Li, Kanji Akahori:
STAD Modeling Method for Computer Supported Group Learning. ICCE 2002: 344-348 - 2001
- [c4]Xuandong Li, Yu Pei, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng:
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME 2001: 465-480 - [c3]Xuandong Li, Cui Meng, Yu Pei, Jianhua Zhao, Guoliang Zheng:
Timing Analysis of UML Activity Diagrams. UML 2001: 62-75 - 2000
- [j2]Jianhua Zhao, Dang Van Hung:
Checking Timed Automata for Linear Duration Properties. J. Comput. Sci. Technol. 15(5): 423-429 (2000)
1990 – 1999
- 1998
- [c2]Jianhua Zhao, Dang Van Hung:
On Checking Parallel Real-Time Systems for Linear Duration Properties. FTRTFT 1998: 241-250 - [c1]Xuandong Li, Tao Zheng, Jianmin Hou, Jianhua Zhao, Guoliang Zheng:
Hybrid Regular Expressions. HSCC 1998: 384-399 - 1997
- [j1]Jianhua Zhao, Jiajun Chen, Guoliang Zheng:
Message Conversion and A New Type System for OO Model. ACM SIGPLAN Notices 32(9): 61-67 (1997)
Coauthor Index
[i7] [j44] [c93] [j31] [c82] [c75] [j29] [c69] [c67] [j26] [c65] [c64] [c63] [j23] [c58] [j20] [c54] [i3] [j17] [c52] [c51] [c48] [j15] [c41] [c39] [c38] [c36] [c35] [c34] [i2] [j13] [c30] [i1] [c23] [c21] [j8] [c18] [j6] [c17] [c16] [c15] [c13] [j5] [c10] [c9] [j4] [c8] [c7] [j3] [c6] [c4] [c3] [c1]
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-11-15 19:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
