Jianhua Zhao - RankMe

189 papers A* 6A 5B 3C 28Misc 5Journal 83Unranked 58

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Designing A Principle-Based Knowledge Building Environment for Collaborative Inquiry and Process Documentation in STEM Learning. J. Comput. Assist. Learn. Jing Kong, Jialiang Liu, Gaowei Chen, Jianhua Zhao, Carol K. K. Chan
2026	J	`jnl`	Interpretable Maximum Margin Deep Anomaly Detection. CoRR Zhiji Yang, Mei Huang, Xinyu Li, Xianli Pan, Qi Wang, Jianhua Zhao
2026	J	`jnl`	Robust bilinear factor analysis based on the matrix-variate t distribution. J. Multivar. Anal. Xuan Ma, Jianhua Zhao, Changchun Shang, Fen Jiang, Philip L. H. Yu
2025	J	`jnl`	BlockSOP: A blockchain-based software management platform for open collaborative development. J. Syst. Softw. Shuoxiao Zhang, Enyi Tang, Haoliang Cheng, Xinyu Gao, An Guo, Jianhua Zhao, Xin Chen, Linzhang Wang, Na Meng, Xuandong Li
2025	A*	`conf`	Boosting Code-line-level Defect Prediction with Spectrum Information and Causality Analysis. ICSE Shiyu Sun, Yanhui Li, Lin Chen, Yuming Zhou, Jianhua Zhao
2025	J	`jnl`	Choosing the number of factors in factor analysis with incomplete data via a novel hierarchical Bayesian information criterion. Adv. Data Anal. Classif. Jianhua Zhao, Changchun Shang, Shulan Li, Ling Xin, Philip L. H. Yu
2025	J	`jnl`	Exploring the Effectiveness of Open-Source Donation Platform: An Empirical Study on Opencollective. J. Softw. Evol. Process. Shuoxiao Zhang, Enyi Tang, Xinyu Gao, Zhekai Zhang, Yixiao Shan, Haofeng Zhang, Ziyang He, Jianhua Zhao, Xuandong Li
2025	A*	`conf`	GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors. ICSE Heng Yong, Zhong Li, Minxue Pan, Tian Zhang, Jianhua Zhao, Xuandong Li
2025	A*	`conf`	Incremental Program Analysis in the Wild: An Empirical Study on Real-World Program Changes. ASE Xizao Wang, Xiangrong Bin, Lanxin Huang, Shangqing Liu, Jianhua Zhao, Lei Bu
2025	—	`conf`	Learning Accurate, Efficient, and Interpretable MLPs on Multiplex Graphs via Node-Wise Multi-view Ensemble Distillation. DASFAA (3) Yunhui Liu, Zhen Tao, Xiang Zhao, Jianhua Zhao, Tao Zheng, Tieke He
2025	J	`jnl`	Learning Accurate, Efficient, and Interpretable MLPs on Multiplex Graphs via Node-wise Multi-View Ensemble Distillation. CoRR Yunhui Liu, Zhen Tao, Xiang Zhao, Jianhua Zhao, Tao Zheng, Tieke He
2025	J	`jnl`	Negative-Free Self-Supervised Gaussian Embedding of Graphs. Neural Networks Yunhui Liu, Tieke He, Tao Zheng, Jianhua Zhao
2025	J	`jnl`	Teaching MLPs to Master Heterogeneous Graph-Structured Knowledge for Efficient and Accurate Inference. IEEE Trans. Knowl. Data Eng. Yunhui Liu, Xinyi Gao, Tieke He, Jianhua Zhao, Hongzhi Yin
2025	J	`jnl`	Unpacking the synergistic relationship between the digital environment, administrative support, and pedagogical application in fostering teachers' digital competence. Educ. Inf. Technol. Jialiang Liu, Gaowei Chen, Jianhua Zhao
2024	J	`jnl`	A Novel YOLOv5s-Based Lightweight Model for Detecting Fish's Unhealthy States in Aquaculture. Comput. Mater. Continua Bing Shi, Jianhua Zhao, Bin Ma, Juan Huan, Yueping Sun
2024	J	`jnl`	A Safe Screening Rule with Bi-level Optimization of ν Support Vector Machine. CoRR Zhiji Yang, Wanyi Chen, Huan Zhang, Yitian Xu, Lei Shi, Jianhua Zhao
2024	J	`jnl`	A safe screening rule with bi-level optimization of ν support vector machine. Pattern Recognit. Zhiji Yang, Wanyi Chen, Huan Zhang, Yitian Xu, Lei Shi, Jianhua Zhao
2024	J	`jnl`	Bootstrap Latents of Nodes and Neighbors for Graph Self-Supervised Learning. CoRR Yunhui Liu, Huaisong Zhang, Tieke He, Tao Zheng, Jianhua Zhao
2024	—	`conf`	Bootstrap Latents of Nodes and Neighbors for Graph Self-supervised Learning. ECML/PKDD (3) Yunhui Liu, Huaisong Zhang, Tieke He, Tao Zheng, Jianhua Zhao
2024	—	`conf`	HFS-HNeRV: High-Frequency Spectrum Hybrid Neural Representation for Videos. MMAsia Jianhua Zhao, Xue Jun Li, Peter Han Joo Chong
2024	J	`jnl`	Matrix-based vs. vector-based linear discriminant analysis: A comparison of regularized variants on multivariate time series data. Inf. Sci. Jianhua Zhao, Haiye Liang, Shulan Li, Zhiji Yang, Zhen Wang
2024	J	`jnl`	Negative-Free Self-Supervised Gaussian Embedding of Graphs. CoRR Yunhui Liu, Tieke He, Tao Zheng, Jianhua Zhao
2024	—	`conf`	Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters. HSCC Xiao Guo, Jianhua Zhao, Lei Bu
2024	J	`jnl`	Region-aware Image-based Human Action Retrieval with Transformers. CoRR Hongsong Wang, Jianhua Zhao, Jie Gui
2024	J	`jnl`	Region-aware image-based human action retrieval with transformers. Comput. Vis. Image Underst. Hongsong Wang, Jianhua Zhao, Jie Gui
2024	J	`jnl`	Reliable Node Similarity Matrix Guided Contrastive Graph Clustering. CoRR Yunhui Liu, Xinyi Gao, Tieke He, Tao Zheng, Jianhua Zhao, Hongzhi Yin
2024	J	`jnl`	Reliable Node Similarity Matrix Guided Contrastive Graph Clustering. IEEE Trans. Knowl. Data Eng. Yunhui Liu, Xinyi Gao, Tieke He, Tao Zheng, Jianhua Zhao, Hongzhi Yin
2024	J	`jnl`	Robust bilinear factor analysis based on the matrix-variate t distribution. CoRR Xuan Ma, Jianhua Zhao, Changchun Shang, Fen Jiang, Philip L. H. Yu
2024	A	`conf`	Scalable and Adaptive Spectral Embedding for Attributed Graph Clustering. CIKM Yunhui Liu, Tieke He, Qing Wu, Tao Zheng, Jianhua Zhao
2024	J	`jnl`	Scalable and Adaptive Spectral Embedding for Attributed Graph Clustering. CoRR Yunhui Liu, Tieke He, Qing Wu, Tao Zheng, Jianhua Zhao
2024	J	`jnl`	Simulation and parametric optimal design of active radial magnetic fluid bearing. Int. J. Model. Identif. Control. Liwen Chen, Jianhua Zhao, Xiaochen Wu, Jisheng Zhao, Jia Deng
2024	J	`jnl`	Teaching MLPs to Master Heterogeneous Graph-Structured Knowledge for Efficient and Accurate Inference. CoRR Yunhui Liu, Xinyi Gao, Tieke He, Jianhua Zhao, Hongzhi Yin
2023	J	`jnl`	A Complete Deep Support Vector Data Description for One Class Learning. IEEE Access Renxue Jiang, Zhiji Yang, Jianhua Zhao
2023	J	`jnl`	Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software. CoRR Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li
2023	A*	`conf`	DStream: A Streaming-Based Highly Parallel IFDS Framework. ICSE Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao
2023	J	`jnl`	Deep recommendation system based on knowledge graph and review text. J. Intell. Fuzzy Syst. Ning Liu, Jianhua Zhao
2023	J	`jnl`	Personalization exercise recommendation framework based on knowledge concept graph. Comput. Sci. Inf. Syst. Zhang Yan, Hongle Du, Lin Zhang, Jianhua Zhao
2023	J	`jnl`	Recommendation System Based on Deep Sentiment Analysis and Matrix Factorization. IEEE Access Ning Liu, Jianhua Zhao
2023	—	`conf`	Research on the Prediction Method of Rural Industry Integration Based on Improved RBF Neural Network Model. ICCDE Jianhua Zhao, Tao Yan
2023	J	`jnl`	Robust Bilinear Probabilistic PCA Using a Matrix Variate t Distribution. IEEE Trans. Neural Networks Learn. Syst. Jianhua Zhao, Xuan Ma, Lei Shi, Zhen Wang
2023	J	`jnl`	Robust factored principal component analysis for matrix-valued outlier accommodation and detection. Comput. Stat. Data Anal. Xuan Ma, Jianhua Zhao, Yue Wang, Changchun Shang, Fen Jiang
2023	J	`jnl`	Streaming Data Classification Based on Hierarchical Concept Drift and Online Ensemble. IEEE Access Ning Liu, Jianhua Zhao
2022	C	`conf`	A Framework for Scanning Privacy Information based on Static Analysis. QRS Yuan Zhao, Gaolei Yi, Fan Liu, Zhanwei Hui, Jianhua Zhao
2022	J	`jnl`	Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software. IEEE Trans. Software Eng. Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
2022	—	`conf`	BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution). TACAS (2) Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li
2022	J	`jnl`	Choosing the number of factors in factor analysis with incomplete data via a hierarchical Bayesian information criterion. CoRR Jianhua Zhao, Changchun Shang, Shulan Li, Ling Xin, Philip L. H. Yu
2022	—	`conf`	Future Education and Talents Cultivation: A Knowledge Building Approach. ICBL Jianhua Zhao
2022	J	`jnl`	Regularized Bilinear Discriminant Analysis for Multivariate Time Series Data. CoRR Jianhua Zhao, Haiye Liang, Shulan Li, Zhiji Yang, Zhen Wang
2022	J	`jnl`	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. Liwen Chen, Dianrong Gao, Jianhua Zhao, Jisheng Zhao
2021	J	`jnl`	A Safe Semi-supervised Classification Algorithm Using Multiple Classifiers Ensemble. Neural Process. Lett. Jianhua Zhao, Ning Liu
2021	—	`conf`	Construction and Debugging of High Gain Zero Current Input Ripple Converter. ICITEE Shifang Hai, Pengpeng Yu, Shuhua Zhou, Jianhua Zhao, Jinshi Yang
2021	—	`conf`	Design and Simulation of Adjustable DC Regulated Power Supply Based on LM317. ICITEE Shifang Hai, Pengpeng Yu, Shuhua Zhou, Jianhua Zhao, Jinshi Yang
2021	J	`jnl`	Pseudo Bidirectional Linear Discriminant Analysis for Multivariate Time Series Classification. IEEE Access Jianhua Zhao, Feng Sun, Haiye Liang, Xuan Ma, Xingxu Li, Jun He
2021	J	`jnl`	Robust factored principal component analysis for matrix-valued outlier accommodation and detection. CoRR Xuan Ma, Jianhua Zhao, Yue Wang
2021	J	`jnl`	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. Liwen Chen, Dianrong Gao, Jianhua Zhao, Jisheng Zhao
2020	—	`conf`	Green Tide Information Extraction Based on Multi-source Remote Sensing Data. ICACI Tingting Liang, Lina Ke, Jianchao Fan, Jianhua Zhao
2020	J	`jnl`	Recovering Network Structures Based on Evolutionary Game Dynamics via Secure Dimensional Reduction. IEEE Trans. Netw. Sci. Eng. Lei Shi, Chen Shen, Qi Shi, Zhen Wang, Jianhua Zhao, Xuelong Li, Stefano Boccaletti
2020	J	`jnl`	Weak Transient Electromagnetic Radiation Signal Detection Method Considering the New Watershed Image Segmentation Algorithm. Int. J. Pattern Recognit. Artif. Intell. Wenjun Huo, Peng Chu, Kai Wang, Liangting Fu, Zhigang Niu, Jianhua Zhao
2019	C	`conf`	Automatic Extraction Method of Sargassum Based on Spectral-Texture Features of Remote Sensing Images. IGARSS Yanlong Chen, Jianhua Wan, Jie Zhang, Jianhua Zhao, Feng Ye, Zizhu Wang, Shanwei Liu
2019	Misc	`conf`	Civil Aviation Safety Risk Assessment for Rare Events. ISKE Xiaojing Yan, Huawei Wang, Qiang Fu, Jianhua Zhao
2019	J	`jnl`	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. Jing Yang, Jie Zhu, Yizhong Sun, Jianhua Zhao
2019	C	`conf`	Evaluation on BJ-2 Image Fusion Algorithms for Satellite Images of Coastal Aquaculture Sea Areas. IGARSS Jialan Chu, Yanlong Chen, Jianhua Zhao, Fei Wang
2019	C	`conf`	Fast QR code detection based on BING and AdaBoost-SVM. HPSR Baoxi Yuan, Yang Li, Fan Jiang, Xiaojie Xu, Jianhua Zhao, Deyue Zhang, Jianxin Guo, Yuqian Wang, Shanwen Zhang
2019	J	`jnl`	Incremental Wishart Broad Learning System for Fast PolSAR Image Classification. IEEE Geosci. Remote. Sens. Lett. Jianchao Fan, Xiang Wang, Xinxin Wang, Jianhua Zhao, Xiaoxin Liu
2019	J	`jnl`	MU R-CNN: A Two-Dimensional Code Instance Segmentation Network Based on Deep Learning. Future Internet Baoxi Yuan, Yang Li, Fan Jiang, Xiaojie Xu, Yingxia Guo, Jianhua Zhao, Deyue Zhang, Jianxin Guo, Xiaoli Shen
2019	J	`jnl`	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. Jianchao Fan, Jianhua Zhao, Wentao An, Yuanyuan Hu
2018	J	`jnl`	Coastline carrying capacity monitoring and assessment based on GF-1 satellite remote sensing images. EURASIP J. Image Video Process. Anning Suo, Hongwei Ma, Fang Li, Baoquan Wei, Yong Lin, Jianhua Zhao
2018	—	`conf`	DangDone: Eliminating Dangling Pointers via Intermediate Pointers. Internetware Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li
2018	—	`conf`	Detection of Alone Stress and Combined Stress by CU and NI in Wheat Using Visible to Near-Infrared Spectroscopy. Agro-Geoinformatics Chao Zhou, Shengbo Chen, Jianhua Zhao, Derui Song, Xianchuang Fan
2018	A*	`conf`	Dual-force: understanding WebView malware via cross-language forced execution. ASE Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, Jianhua Zhao
2018	J	`jnl`	Evaluating Metal Effects on the Reflectance Spectra of Plant Leaves during Different Seasons in Post-Mining Areas, China. Remote. Sens. Chao Zhou, Shengbo Chen, Yuanzhi Zhang, Jianhua Zhao, Derui Song, Dawei Liu
2018	—	`conf`	Land Use Pattern Evolution and Trend Simulation in Nansi Lake. Agro-Geoinformatics Yun Zhang, Jianhua Zhao, Jianli Zhang, Derui Song
2018	C	`conf`	Marine Aquaculture Targets Automatic Recognition Based on GF-3 PolSAR Imagery. ISNN Jianchao Fan, Jianhua Zhao, Min Han, Xinxin Wang, Bingnan Li
2018	—	`conf`	Marine Floating Raft Aquaculture Dynamic Monitoring Based on Multi-source GF Imagery. Agro-Geoinformatics Jianchao Fan, Jianhua Zhao, Derui Song, Xinxin Wang, Xiang Wang, Xiu Su
2018	J	`jnl`	Model-based Construction and Verification of Cyber-Physical Systems. ACM SIGSOFT Softw. Eng. Notes Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li
2018	J	`jnl`	Safe semi-supervised classification algorithm combined with active learning sampling strategy. J. Intell. Fuzzy Syst. Jianhua Zhao, Ning Liu, A. Malov
2017	C	`conf`	A Framework for Array Invariants Synthesis in Induction-Loop Programs. APSEC Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao
2017	C	`conf`	Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java. QRS Zhenhao Tang, Juan Zhai, Bin Li, Jianhua Zhao
2017	A	`conf`	Automatic detection and validation of race conditions in interrupt-driven embedded software. ISSTA Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
2017	C	`conf`	Marine reclamation feature analysis based on GF-3 SAR remote sensing imagery. IGARSS Jianchao Fan, Jianhua Zhao, Xinxin Wang, Xiang Wang, Jialan Chu, Bingnan Li
2017	C	`conf`	Monitoring the thermal discharge of hongyanhe nuclear power plant with aerial remote sensing technology using a UAV platform. IGARSS Xiang Wang, Xinxin Wang, Jianhua Zhao, Jianchao Fan, Xiu Su, Dejun Zou
2017	C	`conf`	Study on dew characteristics in Loess Plateau, China. IGARSS Sheng Wang, Qiang Zhang, Yaohui Li, Lijuan Wang, Jianhua Zhao, Ping Yue, Xing Wang, Xiaocui Hao
2016	—	`conf`	ACSPChecker: an ASP based CSP model checking tool. Internetware Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li
2016	C	`conf`	Automatic Invariant Synthesis for Arrays in Simple Programs. QRS Bin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao
2016	A*	`conf`	Automatic model generation from documentation for Java API functions. ICSE Juan Zhai, Jianjun Huang, Shiqing Ma, Xiangyu Zhang, Lin Tan, Jianhua Zhao, Feng Qin
2016	J	`jnl`	Case deletion diagnostics for GMM estimation. Comput. Stat. Data Anal. Lei Shi, Jun Lu, Jianhua Zhao, Gemai Chen
2016	C	`conf`	Comparison of different spatial resolution thermal infrared data in monitoring thermal plume from the Hongyanhe nuclear power plant. IGARSS Xiang Wang, Xinxin Wang, Jianchao Fan, Shiyong Wen, Jianhua Zhao, Xiu Su
2016	C	`conf`	Coupling effects of nutrients and temperature for the hazard degree dynamic assessment of Karenia mikimotoi red tide disasters in the Wenzhou coastal waters. IGARSS Shiyong Wen, Yongjian Liu, Zizhu Wang, Xinxin Wang, Xiang Wang, Jianhua Zhao
2016	J	`jnl`	Formal Verification of 'Programming to Interfaces' Programs. Int. J. Softw. Informatics Jianhua Zhao, Xuandong Li
2016	C	`conf`	Geomorphic zones mapping and development status monitoring of coral reefs in Xisha, China. IGARSS Jingping Xu, Fang Li, Jianhua Zhao, Shiyong Wen
2016	C	`conf`	Precondition Calculation for Loops Iterating over Data Structures. QRS Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li
2015	C	`conf`	A Fault-Localization Approach Based on the Coincidental Correctness Probability. QRS Xiaoli Zhou, Hanfei Wang, Jianhua Zhao
2015	J	`jnl`	A declarative approach for Java code instrumentation. Softw. Qual. J. Tian Zhang, Xiaomei Zheng, Yan Zhang, Jianhua Zhao, Xuandong Li
2015	—	`conf`	Analyzing Inductively Defined Properties for Recursive Data Structures. Internetware Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
2015	Misc	`conf`	Assertion-Directed Precondition Synthesis for Loops over Data Structures. SETTA Juan Zhai, Hanfei Wang, Jianhua Zhao
2015	—	`conf`	Code Generation for Abstract Data Types Based on Program Analysis. QRS Companion Bin Li, Jun Liu, Jianhua Zhao
2015	—	`conf`	Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation. Internetware Yu Wang, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li
2015	—	`conf`	Invariant Synthesis for Programs Manipulating Arrays with Unbounded Data. Internetware Bin Li, Zhenhao Tang, Jianhua Zhao
2015	J	`jnl`	Mixture model selection via hierarchical BIC. Comput. Stat. Data Anal. Jianhua Zhao, Libin Jin, Lei Shi
2015	C	`conf`	Node-Set Analysis for Linked Recursive Data Structures. QRS Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
2015	J	`jnl`	Two-Stage Regularized Linear Discriminant Analysis for 2-D Data. IEEE Trans. Neural Networks Learn. Syst. Jianhua Zhao, Lei Shi, Ji Zhu
2015	J	`jnl`	基于数据流分析的单链表可达性自动化验证 (Automatic Verification of Singly Linked List Pointer's Reachability Property Using Data-flow Analysis Method). 计算机科学 Yuchen Dong, Hanfei Wang, Jianhua Zhao
2014	C	`conf`	A Novel Single-Carrier Digital Broadcasting System Based on LDPC Codes in Shortwave. CIT Hui Ma, Hang Yin, Hongfei Guo, Jianhua Zhao
2014	C	`conf`	An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability. SEKE Xiaoli Zhou, Linzhang Wang, Xuandong Li, Jianhua Zhao
2014	J	`jnl`	Automated learning of factor analysis with complete and incomplete data. Comput. Stat. Data Anal. Jianhua Zhao, Lei Shi
2014	J	`jnl`	Efficient Model Selection for Mixtures of Probabilistic PCA Via Hierarchical BIC. IEEE Trans. Cybern. Jianhua Zhao
2014	J	`jnl`	Evaluation of Coastline Changes under Human Intervention Using Multi-Temporal High-Resolution Images: A Case Study of the Zhoushan Islands, China. Remote. Sens. Xiaoping Zhang, Delu Pan, Jianyu Chen, Jianhua Zhao, Qiankun Zhu, Haiqing Huang
2014	—	`conf`	Post-condition-Directed Invariant Inference for Loops over Data Structures. SERE (Companion) Juan Zhai, Hanfei Wang, Jianhua Zhao
2014	J	`jnl`	SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata. Formal Methods Syst. Des. Dingbao Xie, Lei Bu, Jianhua Zhao, Xuandong Li
2013	J	`jnl`	A Handheld Electromagnetically Actuated Fiber Optic Raster Scanner for Reflectance Confocal Imaging of Biological Tissues. IEEE Trans. Biomed. Eng. Hadi Mansoor, Haishan Zeng, Isabella T. Tai, Jianhua Zhao, Mu Chiao
2013	—	`conf`	Developing an Indicator System of ICT in Education: From Conceptual Model to Items Extraction. ICHL Jianhua Zhao, Yinjian Jiang
2013	J	`jnl`	Formal Verification of 'Programming to Interfaces' Programs. CoRR Jianhua Zhao, Xuandong Li
2013	—	`conf`	Research on Application of Collaborative Knowledge Building in Blended Language Classroom Teaching. ICHL Yinjian Jiang, Jianhua Zhao
2013	C	`conf`	Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures. ICTAC Jianhua Zhao, Xuandong Li
2013	—	`conf`	Supporting Automatic Code Review via Design. SERE (Companion) Jiantao He, Linzhang Wang, Jianhua Zhao
2013	J	`jnl`	Verifying Aspect-Oriented Models against Crosscutting Properties. Int. J. Softw. Eng. Knowl. Eng. Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li
2012	—	`conf`	A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking. SERE (Companion) Xiaoyu Zhou, Qian Li, Jianhua Zhao
2012	—	`conf`	An Integration of Several Different Data Flow Analysis Techniques. ISCTCS Yuchen Xing, Hanfei Wang, Jianhua Zhao
2012	—	`conf`	An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems. ISCTCS Xiaoyu Zhou, Jianhua Zhao
2012	J	`jnl`	Bilinear Probabilistic Principal Component Analysis. IEEE Trans. Neural Networks Learn. Syst. Jianhua Zhao, Philip L. H. Yu, James T. Kwok
2012	—	`conf`	Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata. ICCPS Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li
2012	J	`jnl`	Separable linear discriminant analysis. Comput. Stat. Data Anal. Jianhua Zhao, Philip L. H. Yu, Lei Shi, Shulan Li
2012	—	`conf`	Time-leverage point detection for time sensitive software maintenance. ICSM Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li
2012	J	`jnl`	Timing analysis of scenario-based specifications using linear programming. Softw. Test. Verification Reliab. Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao
2012	C	`conf`	Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. SEKE Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li
2011	—	`conf`	Discourse analysis of collaborative meaning making in CSCL. CSCL Shaoming Chai, Jianhua Zhao, Su Mu
2011	C	`conf`	Influence of changes of underlying surface on the output of sand-dust model. IGARSS Dihua Cai, Jianhua Zhao, Yaohui Li, Ni Guo, Haixia Duan, Hui Han, Jing Wang
2011	—	`conf`	Introducing China: Expanding the CSCL Research Community. CSCL 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
2011	J	`jnl`	Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. SIGBED Rev. Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li
2010	—	`conf`	Analyzing the robustness of FTSP with timed automata. Internetware Lin Tan, Lei Bu, Jianhua Zhao, Linzhang Wang
2010	—	`conf`	Enabling multi-core based monitoring and fault tolerance in C++/Java. IWMSE@ICSE Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li
2010	—	`conf`	Extending Ada to support multi-core based monitoring and fault tolerance. SIGAda You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li
2010	—	`conf`	Knowledge Construction through Discussion Forum in a Blended Learning Environment. ICHL Jianhua Zhao, Yinjian Jiang
2010	B	`conf`	McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. ICECCS Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li
2010	—	`conf`	Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination. ISoLA (1) Qian Li, Jianhua Zhao, Xuandong Li
2010	B	`conf`	Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. VMCAI Lei Bu, Jianhua Zhao, Xuandong Li
2010	A	`conf`	Proactive NBTI mitigation for busy functional units in out-of-order microprocessors. DATE Lin Li, Youtao Zhang, Jun Yang, Jianhua Zhao
2010	J	`jnl`	Scope Logic with Local Reasoning and Pre/Post-State Properties CoRR Jianhua Zhao, Xuandong Li
2010	—	`conf`	Separable Two-Dimensional Linear Discriminant Analysis. COMPSTAT Jianhua Zhao, Philip L. H. Yu, Shulan Li
2010	—	`conf`	Test adequacy criterion based on coincidental correctness probability. Internetware Jie Chen, Qian Li, Jianhua Zhao, Xuandong Li
2010	J	`jnl`	Thermal-Aware Task Scheduling for 3D Multicore Processors. IEEE Trans. Parallel Distributed Syst. Xiuyi Zhou, Jun Yang, Yi Xu, Youtao Zhang, Jianhua Zhao
2009	—	`conf`	A Descriptive Method for Simulating a Group Knowledge Building Process. ICHL Jianhua Zhao, Yinjian Jiang
2009	—	`conf`	A Discussion on the Training Mode of University Administrative Staffs under the Specialization View. ETT Xiaohua Li, Jianhua Zhao, Ligang Fan
2009	—	`conf`	A Research on the Training Mode of University Administer. SKG Xiaohua Li, Jianhua Zhao
2009	J	`jnl`	A note on variational Bayesian factor analysis. Neural Networks Jianhua Zhao, Philip L. H. Yu
2009	A	`conf`	Design pattern directed clustering for understanding open source code. ICPC Zhixiong Han, Linzhang Wang, Liqian Yu, Xin Chen, Jianhua Zhao, Xuandong Li
2009	J	`jnl`	Investigating critical thinking and knowledge construction in an interactive learning environment. Interact. Learn. Environ. Qiyun Wang, Huay Lit Woo, Jianhua Zhao
2009	—	`ed.`	Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008 TTSS Jianhua Zhao, Volker Stolz
2009	J	`jnl`	Scope Logic: Extending Hoare Logic for Pointer Program Verification CoRR Jianhua Zhao, Xuandong Li
2009	—	`conf`	The International Comparison of Professionalization of University Administrators and the Related Apocalypse. ETT Xiaohua Li, Junshuan Liu, Jianhua Zhao
2009	J	`jnl`	UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. Comput. J. Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li
2009	Misc	`conf`	Verification of Population Ring Protocols in PAT. TASE Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao
2008	Misc	`conf`	A MDE Based Approach for Bridging Formal Models. TASE Tian Zhang, Frédéric Jouault, Jean Bézivin, Jianhua Zhao
2008	C	`conf`	A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA Jianhua Zhao, Linzhang Wang, Xuandong Li
2008	—	`conf`	A Sociogram Analysis on Group Interaction in an Online Discussion Forum. ICWL Jianhua Zhao
2008	—	`conf`	A case study for monitoring-oriented programming in multi-core architecture. IWMSE@ICSE Lu Yang, Jianwen Tang, Jianhua Zhao, Xuandong Li
2008	—	`conf`	An Examination of Students' Perception of Blended E-Learning in Chinese Higher Education. Edutainment Jianhua Zhao
2008	—	`conf`	Discussion on Teamwork Construction in Teaching of Universities and Colleges. CSSE (5) Jianhua Zhao, Chaoying Liu, Xueling Song, Zheying Song
2008	J	`jnl`	Fast ML Estimation for the Mixture of Factor Analyzers via an ECM Algorithm. IEEE Trans. Neural Networks Jianhua Zhao, Philip L. H. Yu
2008	—	`conf`	Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. HASE Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao
2008	J	`jnl`	ML estimation for factor analysis: EM or non-EM? Stat. Comput. Jianhua Zhao, Philip L. H. Yu, Qibao Jiang
2008	—	`conf`	Preface. TTSS Jianhua Zhao, Volker Stolz
2008	—	`conf`	Teachers' Conceptions of E-learning in Chinese Higher Education: Findings of Phenomenographic Study. CSSE (5) Jianhua Zhao, David McConnell
2007	J	`jnl`	A model-driven development framework for enterprise Web services. Inf. Syst. Frontiers Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li
2007	—	`conf`	Towards a Model Driven Approach to Automatic BPEL Generation. ECMDA-FA Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li
2006	B	`conf`	A Model Driven Development Framework for Enterprise Web Services. EDOC Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li
2006	C	`conf`	Improve Model Checking Efficiency Using Specific Knowledge about the System. ISoLA Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng
2006	J	`jnl`	Probabilistic PCA for t distributions. Neurocomputing Jianhua Zhao, Qibao Jiang
2006	J	`jnl`	Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. J. Comput. Sci. Technol. Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
2006	Misc	`conf`	Runtime Verification of Java Programs for Scenario-Based Specifications. Ada-Europe Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng
2006	C	`conf`	Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng
2006	C	`conf`	Students' Understandings and Attitudes toward Group learning: An Empirical Study. ICCE Jianhua Zhao, David McConnell
2005	J	`jnl`	A quadratic-time DBM-based successor algorithm for checking timed automata. Inf. Process. Lett. Jianhua Zhao, Xuandong Li, Guoliang Zheng
2005	A	`conf`	Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng
2005	—	`conf`	Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng
2005	—	`conf`	Fuzzy Chance-Constrained Programming for Capital Budgeting Problem with Fuzzy Decisions. FSKD (1) Jinwu Gao, Jianhua Zhao, Xiaoyu Ji
2005	—	`conf`	Fuzzy Programming Model for Lot Sizing Production Planning Problem. FSKD (1) Weizhen Yan, Jianhua Zhao, Zhe Cao
2004	J	`jnl`	Duration-constrained regular expressions. Formal Aspects Comput. Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng
2004	C	`conf`	Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng
2003	—	`conf`	Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
2002	—	`conf`	Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng
2002	J	`jnl`	Positive loop-closed automata: a decidable class of hybrid systems. J. Log. Algebraic Methods Program. Xuandong Li, Jianhua Zhao, Yu Pei, Yong Li, Tao Zheng, Guoliang Zheng
2002	C	`conf`	STAD Modeling Method for Computer Supported Group Learning. ICCE Jianhua Zhao, David McConnell, Kedong Li, Kanji Akahori
2001	—	`conf`	Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME Xuandong Li, Yu Pei, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng
2001	—	`conf`	Timing Analysis of UML Activity Diagrams. UML Xuandong Li, Cui Meng, Yu Pei, Jianhua Zhao, Guoliang Zheng
2000	J	`jnl`	Checking Timed Automata for Linear Duration Properties. J. Comput. Sci. Technol. Jianhua Zhao, Dang Van Hung
1998	—	`conf`	Hybrid Regular Expressions. HSCC Xuandong Li, Tao Zheng, Jianmin Hou, Jianhua Zhao, Guoliang Zheng
1998	—	`conf`	On Checking Parallel Real-Time Systems for Linear Duration Properties. FTRTFT Jianhua Zhao, Dang Van Hung
1997	J	`jnl`	Message Conversion and A New Type System for OO Model. ACM SIGPLAN Notices Jianhua Zhao, Jiajun Chen, Guoliang Zheng