Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jianhua Zhao
@article{DBLP:journals/ijmic/ChenZWZD24,
author = {Liwen Chen and
Jianhua Zhao and
Xiaochen Wu and
Jisheng Zhao and
Jia Deng},
title = {Simulation and parametric optimal design of active radial magnetic
fluid bearing},
journal = {Int. J. Model. Identif. Control.},
volume = {44},
number = {1},
pages = {77--87},
year = {2024},
url = {https://doi.org/10.1504/IJMIC.2024.135543},
doi = {10.1504/IJMIC.2024.135543},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijmic/ChenZWZD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ZhaoLLYW24,
author = {Jianhua Zhao and
Haiye Liang and
Shulan Li and
Zhiji Yang and
Zhen Wang},
title = {Matrix-based vs. vector-based linear discriminant analysis: {A} comparison
of regularized variants on multivariate time series data},
journal = {Inf. Sci.},
volume = {654},
pages = {119872},
year = {2024},
url = {https://doi.org/10.1016/j.ins.2023.119872},
doi = {10.1016/J.INS.2023.119872},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/ZhaoLLYW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-02203,
author = {Xuan Ma and
Jianhua Zhao and
Changchun Shang and
Fen Jiang and
Philip L. H. Yu},
title = {Robust bilinear factor analysis based on the matrix-variate t distribution},
journal = {CoRR},
volume = {abs/2401.02203},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.02203},
doi = {10.48550/ARXIV.2401.02203},
eprinttype = {arXiv},
eprint = {2401.02203},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-02203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-01769,
author = {Zhiji Yang and
Wanyi Chen and
Huan Zhang and
Yitian Xu and
Lei Shi and
Jianhua Zhao},
title = {A Safe Screening Rule with Bi-level Optimization of {\(\nu\)} Support
Vector Machine},
journal = {CoRR},
volume = {abs/2403.01769},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.01769},
doi = {10.48550/ARXIV.2403.01769},
eprinttype = {arXiv},
eprint = {2403.01769},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-01769.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LiuZ23,
author = {Ning Liu and
Jianhua Zhao},
title = {Recommendation System Based on Deep Sentiment Analysis and Matrix
Factorization},
journal = {{IEEE} Access},
volume = {11},
pages = {16994--17001},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3246060},
doi = {10.1109/ACCESS.2023.3246060},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/LiuZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/JiangYZ23,
author = {Renxue Jiang and
Zhiji Yang and
Jianhua Zhao},
title = {A Complete Deep Support Vector Data Description for One Class Learning},
journal = {{IEEE} Access},
volume = {11},
pages = {117494--117507},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3325734},
doi = {10.1109/ACCESS.2023.3325734},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/JiangYZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LiuZ23d,
author = {Ning Liu and
Jianhua Zhao},
title = {Streaming Data Classification Based on Hierarchical Concept Drift
and Online Ensemble},
journal = {{IEEE} Access},
volume = {11},
pages = {126040--126051},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3327637},
doi = {10.1109/ACCESS.2023.3327637},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/LiuZ23d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/YanDLZ23,
author = {Zhang Yan and
Hongle Du and
Lin Zhang and
Jianhua Zhao},
title = {Personalization exercise recommendation framework based on knowledge
concept graph},
journal = {Comput. Sci. Inf. Syst.},
volume = {20},
number = {2},
pages = {857--878},
year = {2023},
url = {https://doi.org/10.2298/csis220706024y},
doi = {10.2298/CSIS220706024Y},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/YanDLZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/MaZWSJ23,
author = {Xuan Ma and
Jianhua Zhao and
Yue Wang and
Changchun Shang and
Fen Jiang},
title = {Robust factored principal component analysis for matrix-valued outlier
accommodation and detection},
journal = {Comput. Stat. Data Anal.},
volume = {179},
pages = {107657},
year = {2023},
url = {https://doi.org/10.1016/j.csda.2022.107657},
doi = {10.1016/J.CSDA.2022.107657},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csda/MaZWSJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/LiuZ23,
author = {Ning Liu and
Jianhua Zhao},
title = {Deep recommendation system based on knowledge graph and review text},
journal = {J. Intell. Fuzzy Syst.},
volume = {45},
number = {5},
pages = {7661--7673},
year = {2023},
url = {https://doi.org/10.3233/jifs-230584},
doi = {10.3233/JIFS-230584},
timestamp = {Mon, 18 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jifs/LiuZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnn/ZhaoMSW23,
author = {Jianhua Zhao and
Xuan Ma and
Lei Shi and
Zhen Wang},
title = {Robust Bilinear Probabilistic {PCA} Using a Matrix Variate t Distribution},
journal = {{IEEE} Trans. Neural Networks Learn. Syst.},
volume = {34},
number = {12},
pages = {10683--10697},
year = {2023},
url = {https://doi.org/10.1109/TNNLS.2022.3170797},
doi = {10.1109/TNNLS.2022.3170797},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tnn/ZhaoMSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccde/ZhaoY23,
author = {Jianhua Zhao and
Tao Yan},
title = {Research on the Prediction Method of Rural Industry Integration Based
on Improved {RBF} Neural Network Model},
booktitle = {Proceedings of the 9th International Conference on Computing and Data
Engineering, {ICCDE} 2023, Haikou, China, January 6-8, 2023},
pages = {41--47},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589845.3589856},
doi = {10.1145/3589845.3589856},
timestamp = {Mon, 15 Apr 2024 11:27:43 +0200},
biburl = {https://dblp.org/rec/conf/iccde/ZhaoY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WangZBZ23,
author = {Xizao Wang and
Zhiqiang Zuo and
Lei Bu and
Jianhua Zhao},
title = {DStream: {A} Streaming-Based Highly Parallel {IFDS} Framework},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {2488--2500},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00208},
doi = {10.1109/ICSE48619.2023.00208},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WangZBZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-17869,
author = {Yu Wang and
Fengjuan Gao and
Linzhang Wang and
Tingting Yu and
Ke Wang and
Jianhua Zhao and
Xuandong Li},
title = {Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven
Embedded Software},
journal = {CoRR},
volume = {abs/2305.17869},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.17869},
doi = {10.48550/ARXIV.2305.17869},
eprinttype = {arXiv},
eprint = {2305.17869},
timestamp = {Mon, 14 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-17869.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcat/ChenGZZ22,
author = {Liwen Chen and
Dianrong Gao and
Jianhua Zhao and
Jisheng Zhao},
title = {Study on the law of the structure parameters influence on thermal
deformation of magnetic poles of magnetic-liquid double suspension
bearing},
journal = {Int. J. Comput. Appl. Technol.},
volume = {69},
number = {3},
pages = {253--262},
year = {2022},
url = {https://doi.org/10.1504/IJCAT.2022.10052758},
doi = {10.1504/IJCAT.2022.10052758},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcat/ChenGZZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WangGWYZL22,
author = {Yu Wang and
Fengjuan Gao and
Linzhang Wang and
Tingting Yu and
Jianhua Zhao and
Xuandong Li},
title = {Automatic Detection, Validation, and Repair of Race Conditions in
Interrupt-Driven Embedded Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {2},
pages = {346--363},
year = {2022},
url = {https://doi.org/10.1109/TSE.2020.2989171},
doi = {10.1109/TSE.2020.2989171},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WangGWYZL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbl/Zhao22,
author = {Jianhua Zhao},
editor = {Richard Chen Li and
Simon K. S. Cheung and
Peter H. F. Ng and
Leung{-}Pun Wong and
Fu Lee Wang},
title = {Future Education and Talents Cultivation: {A} Knowledge Building Approach},
booktitle = {Blended Learning: Engaging Students in the New Normal Era - 15th International
Conference, {ICBL} 2022, Hong Kong, China, July 19-22, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13357},
pages = {35--47},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08939-8\_4},
doi = {10.1007/978-3-031-08939-8\_4},
timestamp = {Tue, 21 Jun 2022 15:31:22 +0200},
biburl = {https://dblp.org/rec/conf/icbl/Zhao22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ZhaoYLHZ22,
author = {Yuan Zhao and
Gaolei Yi and
Fan Liu and
Zhanwei Hui and
Jianhua Zhao},
title = {A Framework for Scanning Privacy Information based on Static Analysis},
booktitle = {22nd {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2022, Guangzhou, China, December 5-9, 2022},
pages = {1135--1145},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/QRS57517.2022.00116},
doi = {10.1109/QRS57517.2022.00116},
timestamp = {Tue, 28 Mar 2023 19:49:47 +0200},
biburl = {https://dblp.org/rec/conf/qrs/ZhaoYLHZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BuXLLGZL22,
author = {Lei Bu and
Zhunyi Xie and
Lecheng Lyu and
Yichao Li and
Xiao Guo and
Jianhua Zhao and
Xuandong Li},
editor = {Dana Fisman and
Grigore Rosu},
title = {{BRICK:} Path Enumeration Based Bounded Reachability Checking of {C}
Program (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {408--412},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_22},
doi = {10.1007/978-3-030-99527-0\_22},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BuXLLGZL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13188,
author = {Jianhua Zhao and
Haiye Liang and
Shulan Li and
Zhiji Yang and
Zhen Wang},
title = {Regularized Bilinear Discriminant Analysis for Multivariate Time Series
Data},
journal = {CoRR},
volume = {abs/2202.13188},
year = {2022},
url = {https://arxiv.org/abs/2202.13188},
eprinttype = {arXiv},
eprint = {2202.13188},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-09086,
author = {Jianhua Zhao and
Changchun Shang and
Shulan Li and
Ling Xin and
Philip L. H. Yu},
title = {Choosing the number of factors in factor analysis with incomplete
data via a hierarchical Bayesian information criterion},
journal = {CoRR},
volume = {abs/2204.09086},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.09086},
doi = {10.48550/ARXIV.2204.09086},
eprinttype = {arXiv},
eprint = {2204.09086},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-09086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ZhaoSLMLH21,
author = {Jianhua Zhao and
Feng Sun and
Haiye Liang and
Xuan Ma and
Xingxu Li and
Jun He},
title = {Pseudo Bidirectional Linear Discriminant Analysis for Multivariate
Time Series Classification},
journal = {{IEEE} Access},
volume = {9},
pages = {88674--88684},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3089839},
doi = {10.1109/ACCESS.2021.3089839},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/ZhaoSLMLH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmic/ChenGZZ21,
author = {Liwen Chen and
Dianrong Gao and
Jianhua Zhao and
Jisheng Zhao},
title = {Study on temperature rise and thermal deformation of rotor caused
by eddy current loss of magnetic-liquid double suspension bearing},
journal = {Int. J. Model. Identif. Control.},
volume = {37},
number = {3/4},
pages = {267--274},
year = {2021},
url = {https://doi.org/10.1504/IJMIC.2021.121796},
doi = {10.1504/IJMIC.2021.121796},
timestamp = {Fri, 15 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmic/ChenGZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/npl/ZhaoL21,
author = {Jianhua Zhao and
Ning Liu},
title = {A Safe Semi-supervised Classification Algorithm Using Multiple Classifiers
Ensemble},
journal = {Neural Process. Lett.},
volume = {53},
number = {4},
pages = {2603--2616},
year = {2021},
url = {https://doi.org/10.1007/s11063-020-10191-1},
doi = {10.1007/S11063-020-10191-1},
timestamp = {Fri, 30 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/npl/ZhaoL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitee/HaiYZZY21,
author = {Shifang Hai and
Pengpeng Yu and
Shuhua Zhou and
Jianhua Zhao and
Jinshi Yang},
title = {Construction and Debugging of High Gain Zero Current Input Ripple
Converter},
booktitle = {{ICITEE} 2021: The 4th International Conference on Information Technologies
and Electrical Engineering, Changde, Hunan, China, October 29 - 31,
2021},
pages = {25:1--25:5},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3513142.3513168},
doi = {10.1145/3513142.3513168},
timestamp = {Wed, 20 Apr 2022 15:53:57 +0200},
biburl = {https://dblp.org/rec/conf/icitee/HaiYZZY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitee/HaiYZZY21a,
author = {Shifang Hai and
Pengpeng Yu and
Shuhua Zhou and
Jianhua Zhao and
Jinshi Yang},
title = {Design and Simulation of Adjustable {DC} Regulated Power Supply Based
on {LM317}},
booktitle = {{ICITEE} 2021: The 4th International Conference on Information Technologies
and Electrical Engineering, Changde, Hunan, China, October 29 - 31,
2021},
pages = {33:1--33:4},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3513142.3513176},
doi = {10.1145/3513142.3513176},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icitee/HaiYZZY21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-06760,
author = {Xuan Ma and
Jianhua Zhao and
Yue Wang},
title = {Robust factored principal component analysis for matrix-valued outlier
accommodation and detection},
journal = {CoRR},
volume = {abs/2112.06760},
year = {2021},
url = {https://arxiv.org/abs/2112.06760},
eprinttype = {arXiv},
eprint = {2112.06760},
timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-06760.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijprai/HuoCWFNZ20,
author = {Wenjun Huo and
Peng Chu and
Kai Wang and
Liangting Fu and
Zhigang Niu and
Jianhua Zhao},
title = {Weak Transient Electromagnetic Radiation Signal Detection Method Considering
the New Watershed Image Segmentation Algorithm},
journal = {Int. J. Pattern Recognit. Artif. Intell.},
volume = {34},
number = {3},
pages = {2054009:1--2054009:15},
year = {2020},
url = {https://doi.org/10.1142/S0218001420540099},
doi = {10.1142/S0218001420540099},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijprai/HuoCWFNZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnse/ShiSSWZLB20,
author = {Lei Shi and
Chen Shen and
Qi Shi and
Zhen Wang and
Jianhua Zhao and
Xuelong Li and
Stefano Boccaletti},
title = {Recovering Network Structures Based on Evolutionary Game Dynamics
via Secure Dimensional Reduction},
journal = {{IEEE} Trans. Netw. Sci. Eng.},
volume = {7},
number = {3},
pages = {2027--2036},
year = {2020},
url = {https://doi.org/10.1109/TNSE.2020.2970997},
doi = {10.1109/TNSE.2020.2970997},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tnse/ShiSSWZLB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaci/LiangKFZ20,
author = {Tingting Liang and
Lina Ke and
Jianchao Fan and
Jianhua Zhao},
title = {Green Tide Information Extraction Based on Multi-source Remote Sensing
Data},
booktitle = {12th International Conference on Advanced Computational Intelligence,
{ICACI} 2020, Dali, China, August 14-16, 2020},
pages = {460--465},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICACI49185.2020.9177676},
doi = {10.1109/ICACI49185.2020.9177676},
timestamp = {Mon, 21 Sep 2020 15:39:32 +0200},
biburl = {https://dblp.org/rec/conf/icaci/LiangKFZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fi/YuanLJXGZZGS19,
author = {Baoxi Yuan and
Yang Li and
Fan Jiang and
Xiaojie Xu and
Yingxia Guo and
Jianhua Zhao and
Deyue Zhang and
Jianxin Guo and
Xiaoli Shen},
title = {{MU} {R-CNN:} {A} Two-Dimensional Code Instance Segmentation Network
Based on Deep Learning},
journal = {Future Internet},
volume = {11},
number = {9},
pages = {197},
year = {2019},
url = {https://doi.org/10.3390/fi11090197},
doi = {10.3390/FI11090197},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fi/YuanLJXGZZGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgi/YangZSZ19,
author = {Jing Yang and
Jie Zhu and
Yizhong Sun and
Jianhua Zhao},
title = {Delimitating Urban Commercial Central Districts by Combining Kernel
Density Estimation and Road Intersections: {A} Case Study in Nanjing
City, China},
journal = {{ISPRS} Int. J. Geo Inf.},
volume = {8},
number = {2},
pages = {93},
year = {2019},
url = {https://doi.org/10.3390/ijgi8020093},
doi = {10.3390/IJGI8020093},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijgi/YangZSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lgrs/FanWWZL19,
author = {Jianchao Fan and
Xiang Wang and
Xinxin Wang and
Jianhua Zhao and
Xiaoxin Liu},
title = {Incremental Wishart Broad Learning System for Fast PolSAR Image Classification},
journal = {{IEEE} Geosci. Remote. Sens. Lett.},
volume = {16},
number = {12},
pages = {1854--1858},
year = {2019},
url = {https://doi.org/10.1109/LGRS.2019.2913999},
doi = {10.1109/LGRS.2019.2913999},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lgrs/FanWWZL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/staeors/FanZAH19,
author = {Jianchao Fan and
Jianhua Zhao and
Wentao An and
Yuanyuan Hu},
title = {Marine Floating Raft Aquaculture Detection of {GF-3} PolSAR Images
Based on Collective Multikernel Fuzzy Clustering},
journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
volume = {12},
number = {8},
pages = {2741--2754},
year = {2019},
url = {https://doi.org/10.1109/JSTARS.2019.2910786},
doi = {10.1109/JSTARS.2019.2910786},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/staeors/FanZAH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpsr/YuanLJXZZGWZ19,
author = {Baoxi Yuan and
Yang Li and
Fan Jiang and
Xiaojie Xu and
Jianhua Zhao and
Deyue Zhang and
Jianxin Guo and
Yuqian Wang and
Shanwen Zhang},
title = {Fast {QR} code detection based on {BING} and AdaBoost-SVM},
booktitle = {20th {IEEE} International Conference on High Performance Switching
and Routing, {HPSR} 2019, Xi'an, China, May 26-29, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/HPSR.2019.8808000},
doi = {10.1109/HPSR.2019.8808000},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpsr/YuanLJXZZGWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/ChuCZW19,
author = {Jialan Chu and
Yanlong Chen and
Jianhua Zhao and
Fei Wang},
title = {Evaluation on {BJ-2} Image Fusion Algorithms for Satellite Images
of Coastal Aquaculture Sea Areas},
booktitle = {2019 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2019, Yokohama, Japan, July 28 - August 2, 2019},
pages = {2826--2829},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IGARSS.2019.8898091},
doi = {10.1109/IGARSS.2019.8898091},
timestamp = {Wed, 20 Nov 2019 17:11:08 +0100},
biburl = {https://dblp.org/rec/conf/igarss/ChuCZW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/ChenWZZYWL19,
author = {Yanlong Chen and
Jianhua Wan and
Jie Zhang and
Jianhua Zhao and
Feng Ye and
Zizhu Wang and
Shanwei Liu},
title = {Automatic Extraction Method of Sargassum Based on Spectral-Texture
Features of Remote Sensing Images},
booktitle = {2019 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2019, Yokohama, Japan, July 28 - August 2, 2019},
pages = {3705--3707},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IGARSS.2019.8898131},
doi = {10.1109/IGARSS.2019.8898131},
timestamp = {Thu, 21 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/igarss/ChenWZZYWL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iske/YanWFZ19,
author = {Xiaojing Yan and
Huawei Wang and
Qiang Fu and
Jianhua Zhao},
editor = {Li Zou and
Lingling Fang and
Bo Fu and
Panpan Niu},
title = {Civil Aviation Safety Risk Assessment for Rare Events},
booktitle = {14th {IEEE} International Conference on Intelligent Systems and Knowledge
Engineering, {ISKE} 2019, Dalian, China, November 14-16, 2019},
pages = {898--906},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISKE47853.2019.9170344},
doi = {10.1109/ISKE47853.2019.9170344},
timestamp = {Fri, 01 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iske/YanWFZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejivp/SuoMLWLZ18,
author = {Anning Suo and
Hongwei Ma and
Fang Li and
Baoquan Wei and
Yong Lin and
Jianhua Zhao},
title = {Coastline carrying capacity monitoring and assessment based on {GF-1}
satellite remote sensing images},
journal = {{EURASIP} J. Image Video Process.},
volume = {2018},
pages = {84},
year = {2018},
url = {https://doi.org/10.1186/s13640-018-0325-3},
doi = {10.1186/S13640-018-0325-3},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejivp/SuoMLWLZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/ZhaoLM18,
author = {Jianhua Zhao and
Ning Liu and
A. Malov},
title = {Safe semi-supervised classification algorithm combined with active
learning sampling strategy},
journal = {J. Intell. Fuzzy Syst.},
volume = {35},
number = {4},
pages = {4001--4010},
year = {2018},
url = {https://doi.org/10.3233/JIFS-169722},
doi = {10.3233/JIFS-169722},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/ZhaoLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/ZhouCZZSL18,
author = {Chao Zhou and
Shengbo Chen and
Yuanzhi Zhang and
Jianhua Zhao and
Derui Song and
Dawei Liu},
title = {Evaluating Metal Effects on the Reflectance Spectra of Plant Leaves
during Different Seasons in Post-Mining Areas, China},
journal = {Remote. Sens.},
volume = {10},
number = {8},
pages = {1211},
year = {2018},
url = {https://doi.org/10.3390/rs10081211},
doi = {10.3390/RS10081211},
timestamp = {Fri, 23 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/ZhouCZZSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BuZCWZL18,
author = {Lei Bu and
Tian Zhang and
Xin Chen and
Linzhang Wang and
Jianhua Zhao and
Xuandong Li},
title = {Model-based Construction and Verification of Cyber-Physical Systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {3},
pages = {6--10},
year = {2018},
url = {https://doi.org/10.1145/3229783.3229793},
doi = {10.1145/3229783.3229793},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BuZCWZL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agro-geoinformatics/FanZSWWS18,
author = {Jianchao Fan and
Jianhua Zhao and
Derui Song and
Xinxin Wang and
Xiang Wang and
Xiu Su},
title = {Marine Floating Raft Aquaculture Dynamic Monitoring Based on Multi-source
{GF} Imagery},
booktitle = {2018 7th International Conference on Agro-geoinformatics (Agro-geoinformatics),
Hangzhou, China, August 6-9, 2018},
pages = {1--4},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Agro-Geoinformatics.2018.8476085},
doi = {10.1109/AGRO-GEOINFORMATICS.2018.8476085},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/agro-geoinformatics/FanZSWWS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agro-geoinformatics/ZhangZZS18,
author = {Yun Zhang and
Jianhua Zhao and
Jianli Zhang and
Derui Song},
title = {Land Use Pattern Evolution and Trend Simulation in Nansi Lake},
booktitle = {2018 7th International Conference on Agro-geoinformatics (Agro-geoinformatics),
Hangzhou, China, August 6-9, 2018},
pages = {1--5},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Agro-Geoinformatics.2018.8476075},
doi = {10.1109/AGRO-GEOINFORMATICS.2018.8476075},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agro-geoinformatics/ZhangZZS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agro-geoinformatics/ZhouCZSF18,
author = {Chao Zhou and
Shengbo Chen and
Jianhua Zhao and
Derui Song and
Xianchuang Fan},
title = {Detection of Alone Stress and Combined Stress by {CU} and {NI} in
Wheat Using Visible to Near-Infrared Spectroscopy},
booktitle = {2018 7th International Conference on Agro-geoinformatics (Agro-geoinformatics),
Hangzhou, China, August 6-9, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Agro-Geoinformatics.2018.8476047},
doi = {10.1109/AGRO-GEOINFORMATICS.2018.8476047},
timestamp = {Fri, 23 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agro-geoinformatics/ZhouCZSF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/internetware/WangGSW0LZL18,
author = {Yu Wang and
Fengjuan Gao and
Lingyun Situ and
Lingzhang Wang and
Bihuan Chen and
Yang Liu and
Jianhua Zhao and
Xuandong Li},
title = {DangDone: Eliminating Dangling Pointers via Intermediate Pointers},
booktitle = {Proceedings of the Tenth Asia-Pacific Symposium on Internetware, Internetware
2018, Beijing, China, September 16-16, 2018},
pages = {6:1--6:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3275219.3275231},
doi = {10.1145/3275219.3275231},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/internetware/WangGSW0LZL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isnn/FanZHWL18,
author = {Jianchao Fan and
Jianhua Zhao and
Min Han and
Xinxin Wang and
Bingnan Li},
editor = {Tingwen Huang and
Jiancheng Lv and
Changyin Sun and
Alexander V. Tuzikov},
title = {Marine Aquaculture Targets Automatic Recognition Based on {GF-3} PolSAR
Imagery},
booktitle = {Advances in Neural Networks - {ISNN} 2018 - 15th International Symposium
on Neural Networks, {ISNN} 2018, Minsk, Belarus, June 25-28, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10878},
pages = {451--458},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92537-0\_52},
doi = {10.1007/978-3-319-92537-0\_52},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isnn/FanZHWL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TangZPAM0Z18,
author = {Zhenhao Tang and
Juan Zhai and
Minxue Pan and
Yousra Aafer and
Shiqing Ma and
Xiangyu Zhang and
Jianhua Zhao},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {Dual-force: understanding WebView malware via cross-language forced
execution},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {714--725},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3238221},
doi = {10.1145/3238147.3238221},
timestamp = {Thu, 23 Jun 2022 19:54:17 +0200},
biburl = {https://dblp.org/rec/conf/kbse/TangZPAM0Z18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LiZTTZ17,
author = {Bin Li and
Juan Zhai and
Zhenhao Tang and
Enyi Tang and
Jianhua Zhao},
editor = {Jian Lv and
He Jason Zhang and
Mike Hinchey and
Xiao Liu},
title = {A Framework for Array Invariants Synthesis in Induction-Loop Programs},
booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing,
China, December 4-8, 2017},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/APSEC.2017.8},
doi = {10.1109/APSEC.2017.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/LiZTTZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/FanZWWCL17,
author = {Jianchao Fan and
Jianhua Zhao and
Xinxin Wang and
Xiang Wang and
Jialan Chu and
Bingnan Li},
title = {Marine reclamation feature analysis based on {GF-3} {SAR} remote sensing
imagery},
booktitle = {2017 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2017, Fort Worth, TX, USA, July 23-28, 2017},
pages = {1974--1977},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IGARSS.2017.8127367},
doi = {10.1109/IGARSS.2017.8127367},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/igarss/FanZWWCL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/WangWZFSZ17,
author = {Xiang Wang and
Xinxin Wang and
Jianhua Zhao and
Jianchao Fan and
Xiu Su and
Dejun Zou},
title = {Monitoring the thermal discharge of hongyanhe nuclear power plant
with aerial remote sensing technology using a {UAV} platform},
booktitle = {2017 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2017, Fort Worth, TX, USA, July 23-28, 2017},
pages = {2958--2961},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IGARSS.2017.8127619},
doi = {10.1109/IGARSS.2017.8127619},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/igarss/WangWZFSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/WangZLWZYWH17,
author = {Sheng Wang and
Qiang Zhang and
Yaohui Li and
Lijuan Wang and
Jianhua Zhao and
Ping Yue and
Xing Wang and
Xiaocui Hao},
title = {Study on dew characteristics in Loess Plateau, China},
booktitle = {2017 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2017, Fort Worth, TX, USA, July 23-28, 2017},
pages = {4688--4691},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IGARSS.2017.8128048},
doi = {10.1109/IGARSS.2017.8128048},
timestamp = {Fri, 22 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/igarss/WangZLWZYWH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WangWYZL17,
author = {Yu Wang and
Linzhang Wang and
Tingting Yu and
Jianhua Zhao and
Xuandong Li},
editor = {Tevfik Bultan and
Koushik Sen},
title = {Automatic detection and validation of race conditions in interrupt-driven
embedded software},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
pages = {113--124},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703.3092724},
doi = {10.1145/3092703.3092724},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/WangWYZL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/TangZLZ17,
author = {Zhenhao Tang and
Juan Zhai and
Bin Li and
Jianhua Zhao},
title = {Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java},
booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2017, Prague, Czech Republic, July 25-29, 2017},
pages = {208--215},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/QRS.2017.31},
doi = {10.1109/QRS.2017.31},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/TangZLZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/ShiLZC16,
author = {Lei Shi and
Jun Lu and
Jianhua Zhao and
Gemai Chen},
title = {Case deletion diagnostics for {GMM} estimation},
journal = {Comput. Stat. Data Anal.},
volume = {95},
pages = {176--191},
year = {2016},
url = {https://doi.org/10.1016/j.csda.2015.10.003},
doi = {10.1016/J.CSDA.2015.10.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csda/ShiLZC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/ZhaoL16,
author = {Jianhua Zhao and
Xuandong Li},
title = {Formal Verification of 'Programming to Interfaces' Programs},
journal = {Int. J. Softw. Informatics},
volume = {10},
number = {4},
year = {2016},
url = {http://www.ijsi.org/ijsi/article/abstract/i234},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijsi/ZhaoL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhaiHMZTZQ16,
author = {Juan Zhai and
Jianjun Huang and
Shiqing Ma and
Xiangyu Zhang and
Lin Tan and
Jianhua Zhao and
Feng Qin},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Automatic model generation from documentation for Java {API} functions},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {380--391},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884881},
doi = {10.1145/2884781.2884881},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhaiHMZTZQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/WenLWWWZ16,
author = {Shiyong Wen and
Yongjian Liu and
Zizhu Wang and
Xinxin Wang and
Xiang Wang and
Jianhua Zhao},
title = {Coupling effects of nutrients and temperature for the hazard degree
dynamic assessment of Karenia mikimotoi red tide disasters in the
Wenzhou coastal waters},
booktitle = {2016 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2016, Beijing, China, July 10-15, 2016},
pages = {4203--4206},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IGARSS.2016.7730095},
doi = {10.1109/IGARSS.2016.7730095},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/igarss/WenLWWWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/XuLZW16,
author = {Jingping Xu and
Fang Li and
Jianhua Zhao and
Shiyong Wen},
title = {Geomorphic zones mapping and development status monitoring of coral
reefs in Xisha, China},
booktitle = {2016 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2016, Beijing, China, July 10-15, 2016},
pages = {4588--4591},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IGARSS.2016.7730197},
doi = {10.1109/IGARSS.2016.7730197},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/igarss/XuLZW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/WangWFWZS16,
author = {Xiang Wang and
Xinxin Wang and
Jianchao Fan and
Shiyong Wen and
Jianhua Zhao and
Xiu Su},
title = {Comparison of different spatial resolution thermal infrared data in
monitoring thermal plume from the Hongyanhe nuclear power plant},
booktitle = {2016 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2016, Beijing, China, July 10-15, 2016},
pages = {4649--4652},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IGARSS.2016.7730213},
doi = {10.1109/IGARSS.2016.7730213},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/igarss/WangWFWZS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/internetware/SituWGWBZL16,
author = {Lingyun Situ and
Yu Wang and
Fengjuan Gao and
Linzhang Wang and
Lei Bu and
Jianhua Zhao and
Xuandong Li},
editor = {Hong Mei and
Jian Lv and
Zhi Jin and
Xuandong Li},
title = {ACSPChecker: an {ASP} based {CSP} model checking tool},
booktitle = {Proceedings of the 8th Asia-Pacific Symposium on Internetware, Internetware
2016, Beijing, China, September 18, 2016},
pages = {99--102},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2993717.2993730},
doi = {10.1145/2993717.2993730},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/internetware/SituWGWBZL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/LiTZZ16,
author = {Bin Li and
Zhenhao Tang and
Juan Zhai and
Jianhua Zhao},
title = {Automatic Invariant Synthesis for Arrays in Simple Programs},
booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2016, Vienna, Austria, August 1-3, 2016},
pages = {108--119},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/QRS.2016.23},
doi = {10.1109/QRS.2016.23},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/LiTZZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ZhaiLTZL16,
author = {Juan Zhai and
Bin Li and
Zhenhao Tang and
Jianhua Zhao and
Xuandong Li},
title = {Precondition Calculation for Loops Iterating over Data Structures},
booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2016, Vienna, Austria, August 1-3, 2016},
pages = {132--143},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/QRS.2016.25},
doi = {10.1109/QRS.2016.25},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/ZhaiLTZL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/ZhaoJS15,
author = {Jianhua Zhao and
Libin Jin and
Lei Shi},
title = {Mixture model selection via hierarchical {BIC}},
journal = {Comput. Stat. Data Anal.},
volume = {88},
pages = {139--153},
year = {2015},
url = {https://doi.org/10.1016/j.csda.2015.01.019},
doi = {10.1016/J.CSDA.2015.01.019},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csda/ZhaoJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/DongWZ15,
author = {Yuchen Dong and
Hanfei Wang and
Jianhua Zhao},
title = {{\unicode{22522}}{\unicode{20110}}{\unicode{25968}}{\unicode{25454}}{\unicode{27969}}{\unicode{20998}}{\unicode{26512}}{\unicode{30340}}{\unicode{21333}}{\unicode{38142}}{\unicode{34920}}{\unicode{21487}}{\unicode{36798}}{\unicode{24615}}{\unicode{33258}}{\unicode{21160}}{\unicode{21270}}{\unicode{39564}}{\unicode{35777}}
(Automatic Verification of Singly Linked List Pointer's Reachability
Property Using Data-flow Analysis Method)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {42},
number = {12},
pages = {47--51},
year = {2015},
url = {http://www.jsjkx.com/CN/Y2015/V42/I12/47},
doi = {Y2015/V42/I12/47},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsjkx/DongWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/ZhangZZZL15,
author = {Tian Zhang and
Xiaomei Zheng and
Yan Zhang and
Jianhua Zhao and
Xuandong Li},
title = {A declarative approach for Java code instrumentation},
journal = {Softw. Qual. J.},
volume = {23},
number = {1},
pages = {143--170},
year = {2015},
url = {https://doi.org/10.1007/s11219-013-9220-4},
doi = {10.1007/S11219-013-9220-4},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/ZhangZZZL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnn/ZhaoSZ15,
author = {Jianhua Zhao and
Lei Shi and
Ji Zhu},
title = {Two-Stage Regularized Linear Discriminant Analysis for 2-D Data},
journal = {{IEEE} Trans. Neural Networks Learn. Syst.},
volume = {26},
number = {8},
pages = {1669--1681},
year = {2015},
url = {https://doi.org/10.1109/TNNLS.2014.2350993},
doi = {10.1109/TNNLS.2014.2350993},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnn/ZhaoSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/internetware/LiTZ15,
author = {Bin Li and
Zhenhao Tang and
Jianhua Zhao},
editor = {Hong Mei and
Jian L{\"{u}} and
Xiaoxing Ma and
Qianxiang Wang and
Gang Yin and
Xiaofei Liao},
title = {Invariant Synthesis for Programs Manipulating Arrays with Unbounded
Data},
booktitle = {Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware
2015, Wuhan, China, November 6, 2015},
pages = {195--198},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2875913.2875942},
doi = {10.1145/2875913.2875942},
timestamp = {Tue, 09 May 2023 08:00:06 +0200},
biburl = {https://dblp.org/rec/conf/internetware/LiTZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/internetware/WangSWZL15,
author = {Yu Wang and
Junjing Shi and
Linzhang Wang and
Jianhua Zhao and
Xuandong Li},
editor = {Hong Mei and
Jian L{\"{u}} and
Xiaoxing Ma and
Qianxiang Wang and
Gang Yin and
Xiaofei Liao},
title = {Detecting Data Races in Interrupt-Driven Programs based on Static
Analysis and Dynamic Simulation},
booktitle = {Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware
2015, Wuhan, China, November 6, 2015},
pages = {199--202},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2875913.2875943},
doi = {10.1145/2875913.2875943},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/internetware/WangSWZL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/internetware/TangWLZZL15,
author = {Zhenhao Tang and
Hanfei Wang and
Bin Li and
Juan Zhai and
Jianhua Zhao and
Xuandong Li},
editor = {Hong Mei and
Jian L{\"{u}} and
Xiaoxing Ma and
Qianxiang Wang and
Gang Yin and
Xiaofei Liao},
title = {Analyzing Inductively Defined Properties for Recursive Data Structures},
booktitle = {Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware
2015, Wuhan, China, November 6, 2015},
pages = {221--228},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2875913.2875930},
doi = {10.1145/2875913.2875930},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/internetware/TangWLZZL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/TangWLZZL15,
author = {Zhenhao Tang and
Hanfei Wang and
Bin Li and
Juan Zhai and
Jianhua Zhao and
Xuandong Li},
title = {Node-Set Analysis for Linked Recursive Data Structures},
booktitle = {2015 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2015, Vancouver, BC, Canada, August 3-5, 2015},
pages = {59--64},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/QRS.2015.19},
doi = {10.1109/QRS.2015.19},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/TangWLZZL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/LiLZ15,
author = {Bin Li and
Jun Liu and
Jianhua Zhao},
title = {Code Generation for Abstract Data Types Based on Program Analysis},
booktitle = {2015 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2015, Companion, Vancouver, BC, Canada, August
3-5, 2015},
pages = {153--160},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/QRS-C.2015.42},
doi = {10.1109/QRS-C.2015.42},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/LiLZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ZhouWZ15,
author = {Xiaoli Zhou and
Hanfei Wang and
Jianhua Zhao},
title = {A Fault-Localization Approach Based on the Coincidental Correctness
Probability},
booktitle = {2015 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2015, Vancouver, BC, Canada, August 3-5, 2015},
pages = {292--297},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/QRS.2015.48},
doi = {10.1109/QRS.2015.48},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/ZhouWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhaiWZ15,
author = {Juan Zhai and
Hanfei Wang and
Jianhua Zhao},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Assertion-Directed Precondition Synthesis for Loops over Data Structures},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {258--274},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_17},
doi = {10.1007/978-3-319-25942-0\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/setta/ZhaiWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/ZhaoS14,
author = {Jianhua Zhao and
Lei Shi},
title = {Automated learning of factor analysis with complete and incomplete
data},
journal = {Comput. Stat. Data Anal.},
volume = {72},
pages = {205--218},
year = {2014},
url = {https://doi.org/10.1016/j.csda.2013.11.008},
doi = {10.1016/J.CSDA.2013.11.008},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csda/ZhaoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/XieBZL14,
author = {Dingbao Xie and
Lei Bu and
Jianhua Zhao and
Xuandong Li},
title = {{SAT-LP-IIS} joint-directed path-oriented bounded reachability analysis
of linear hybrid automata},
journal = {Formal Methods Syst. Des.},
volume = {45},
number = {1},
pages = {42--62},
year = {2014},
url = {https://doi.org/10.1007/s10703-014-0210-3},
doi = {10.1007/S10703-014-0210-3},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/XieBZL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/ZhangPCZZH14,
author = {Xiaoping Zhang and
Delu Pan and
Jianyu Chen and
Jianhua Zhao and
Qiankun Zhu and
Haiqing Huang},
title = {Evaluation of Coastline Changes under Human Intervention Using Multi-Temporal
High-Resolution Images: {A} Case Study of the Zhoushan Islands, China},
journal = {Remote. Sens.},
volume = {6},
number = {10},
pages = {9930--9950},
year = {2014},
url = {https://doi.org/10.3390/rs6109930},
doi = {10.3390/RS6109930},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/ZhangPCZZH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcyb/Zhao14,
author = {Jianhua Zhao},
title = {Efficient Model Selection for Mixtures of Probabilistic {PCA} Via
Hierarchical {BIC}},
journal = {{IEEE} Trans. Cybern.},
volume = {44},
number = {10},
pages = {1871--1883},
year = {2014},
url = {https://doi.org/10.1109/TCYB.2014.2298401},
doi = {10.1109/TCYB.2014.2298401},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcyb/Zhao14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/MaYGZ14,
author = {Hui Ma and
Hang Yin and
Hongfei Guo and
Jianhua Zhao},
title = {A Novel Single-Carrier Digital Broadcasting System Based on {LDPC}
Codes in Shortwave},
booktitle = {14th {IEEE} International Conference on Computer and Information Technology,
{CIT} 2014, Xi'an, China, September 11-13, 2014},
pages = {689--693},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CIT.2014.66},
doi = {10.1109/CIT.2014.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcit/MaYGZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhouWLZ14,
author = {Xiaoli Zhou and
Linzhang Wang and
Xuandong Li and
Jianhua Zhao},
editor = {Marek Z. Reformat},
title = {An Empirical Study on the Test Adequacy Criterion Based on Coincidental
Correctness Probability},
booktitle = {The 26th International Conference on Software Engineering and Knowledge
Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013},
pages = {632--635},
publisher = {Knowledge Systems Institute Graduate School},
year = {2014},
timestamp = {Thu, 06 Oct 2022 12:30:17 +0200},
biburl = {https://dblp.org/rec/conf/seke/ZhouWLZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ZhaiWZ14,
author = {Juan Zhai and
Hanfei Wang and
Jianhua Zhao},
title = {Post-condition-Directed Invariant Inference for Loops over Data Structures},
booktitle = {{IEEE} Eighth International Conference on Software Security and Reliability,
{SERE} 2014, San Francisco, CA, USA, June 30 - July 2, 2014 - Companion
Volume},
pages = {204--212},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SERE-C.2014.40},
doi = {10.1109/SERE-C.2014.40},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/ZhaiWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/CuiWLBZL13,
author = {Zhanqi Cui and
Linzhang Wang and
Xi Liu and
Lei Bu and
Jianhua Zhao and
Xuandong Li},
title = {Verifying Aspect-Oriented Models against Crosscutting Properties},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {23},
number = {5},
pages = {655--676},
year = {2013},
url = {https://doi.org/10.1142/S0218194013400123},
doi = {10.1142/S0218194013400123},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijseke/CuiWLBZL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/MansoorZTZC13,
author = {Hadi Mansoor and
Haishan Zeng and
Isabella T. Tai and
Jianhua Zhao and
Mu Chiao},
title = {A Handheld Electromagnetically Actuated Fiber Optic Raster Scanner
for Reflectance Confocal Imaging of Biological Tissues},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {60},
number = {5},
pages = {1431--1438},
year = {2013},
url = {https://doi.org/10.1109/TBME.2012.2236326},
doi = {10.1109/TBME.2012.2236326},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tbe/MansoorZTZC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichl/JiangZ13,
author = {Yinjian Jiang and
Jianhua Zhao},
editor = {Simon K. S. Cheung and
Joseph Fong and
Wilfred Fong and
Fu Lee Wang and
Lam For Kwok},
title = {Research on Application of Collaborative Knowledge Building in Blended
Language Classroom Teaching},
booktitle = {Hybrid Learning and Continuing Education - 6th International Conference,
{ICHL} 2013, Toronto, ON, Canada, August 12-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8038},
pages = {45--56},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39750-9\_5},
doi = {10.1007/978-3-642-39750-9\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ichl/JiangZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichl/ZhaoJ13,
author = {Jianhua Zhao and
Yinjian Jiang},
editor = {Simon K. S. Cheung and
Joseph Fong and
Wilfred Fong and
Fu Lee Wang and
Lam For Kwok},
title = {Developing an Indicator System of {ICT} in Education: From Conceptual
Model to Items Extraction},
booktitle = {Hybrid Learning and Continuing Education - 6th International Conference,
{ICHL} 2013, Toronto, ON, Canada, August 12-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8038},
pages = {110--121},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39750-9\_11},
doi = {10.1007/978-3-642-39750-9\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ichl/ZhaoJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ZhaoL13,
author = {Jianhua Zhao and
Xuandong Li},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Scope Logic: An Extension to Hoare Logic for Pointers and Recursive
Data Structures},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8049},
pages = {409--426},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39718-9\_24},
doi = {10.1007/978-3-642-39718-9\_24},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/ZhaoL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/HeWZ13,
author = {Jiantao He and
Linzhang Wang and
Jianhua Zhao},
title = {Supporting Automatic Code Review via Design},
booktitle = {Seventh International Conference on Software Security and Reliability,
{SERE} 2012, Gaithersburg, Maryland, USA, 18-20 June 2013 - Companion
Volume},
pages = {211--218},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SERE-C.2013.37},
doi = {10.1109/SERE-C.2013.37},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/HeWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZhaoL13a,
author = {Jianhua Zhao and
Xuandong Li},
title = {Formal Verification of 'Programming to Interfaces' Programs},
journal = {CoRR},
volume = {abs/1311.7181},
year = {2013},
url = {http://arxiv.org/abs/1311.7181},
eprinttype = {arXiv},
eprint = {1311.7181},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZhaoL13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csda/ZhaoYSL12,
author = {Jianhua Zhao and
Philip L. H. Yu and
Lei Shi and
Shulan Li},
title = {Separable linear discriminant analysis},
journal = {Comput. Stat. Data Anal.},
volume = {56},
number = {12},
pages = {4290--4300},
year = {2012},
url = {https://doi.org/10.1016/j.csda.2012.04.003},
doi = {10.1016/J.CSDA.2012.04.003},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csda/ZhaoYSL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/LiPBWZ12,
author = {Xuandong Li and
Minxue Pan and
Lei Bu and
Linzhang Wang and
Jianhua Zhao},
title = {Timing analysis of scenario-based specifications using linear programming},
journal = {Softw. Test. Verification Reliab.},
volume = {22},
number = {2},
pages = {121--143},
year = {2012},
url = {https://doi.org/10.1002/stv.434},
doi = {10.1002/STV.434},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/LiPBWZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnn/ZhaoYK12,
author = {Jianhua Zhao and
Philip L. H. Yu and
James T. Kwok},
title = {Bilinear Probabilistic Principal Component Analysis},
journal = {{IEEE} Trans. Neural Networks Learn. Syst.},
volume = {23},
number = {3},
pages = {492--503},
year = {2012},
url = {https://doi.org/10.1109/TNNLS.2012.2183006},
doi = {10.1109/TNNLS.2012.2183006},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnn/ZhaoYK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ZhangBWZL12,
author = {Fengling Zhang and
Lei Bu and
Linzhang Wang and
Jianhua Zhao and
Xuandong Li},
title = {Poster Abstract: Numerical Analysis of {WSN} Protocol Using Probabilistic
Timed Automata},
booktitle = {2012 {IEEE/ACM} Third International Conference on Cyber-Physical Systems,
{ICCPS} 2012, Beijing, China, April 17-19, 2012},
pages = {237},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICCPS.2012.57},
doi = {10.1109/ICCPS.2012.57},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/ZhangBWZL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/TangWZL12,
author = {Enyi Tang and
Linzhang Wang and
Jianhua Zhao and
Xuandong Li},
title = {Time-leverage point detection for time sensitive software maintenance},
booktitle = {28th {IEEE} International Conference on Software Maintenance, {ICSM}
2012, Trento, Italy, September 23-28, 2012},
pages = {567--570},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSM.2012.6405322},
doi = {10.1109/ICSM.2012.6405322},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/TangWZL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isctcs/XingWZ12,
author = {Yuchen Xing and
Hanfei Wang and
Jianhua Zhao},
editor = {Yuyu Yuan and
Xu Wu and
Yueming Lu},
title = {An Integration of Several Different Data Flow Analysis Techniques},
booktitle = {Trustworthy Computing and Services - International Conference, {ISCTCS}
2012, Beijing, China, May 28 - June 2, 2012, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {320},
pages = {458--465},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35795-4\_58},
doi = {10.1007/978-3-642-35795-4\_58},
timestamp = {Fri, 29 Jun 2018 13:46:09 +0200},
biburl = {https://dblp.org/rec/conf/isctcs/XingWZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isctcs/ZhouZ12,
author = {Xiaoyu Zhou and
Jianhua Zhao},
editor = {Yuyu Yuan and
Xu Wu and
Yueming Lu},
title = {An Overtime-Detection Model-Checking Technique for Interrupt Processing
Systems},
booktitle = {Trustworthy Computing and Services - International Conference, {ISCTCS}
2012, Beijing, China, May 28 - June 2, 2012, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {320},
pages = {482--489},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35795-4\_61},
doi = {10.1007/978-3-642-35795-4\_61},
timestamp = {Fri, 29 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isctcs/ZhouZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CuiWLBZL12,
author = {Zhanqi Cui and
Linzhang Wang and
Xi Liu and
Lei Bu and
Jianhua Zhao and
Xuandong Li},
title = {Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties
with Petri Net Analyzer},
booktitle = {Proceedings of the 24th International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood
City, San Francisco Bay, {USA} July 1-3, 2012},
pages = {369--374},
publisher = {Knowledge Systems Institute Graduate School},
year = {2012},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/CuiWLBZL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ZhouLZ12,
author = {Xiaoyu Zhou and
Qian Li and
Jianhua Zhao},
title = {A New Approach of Partial Order Reduction Technique for Parallel Timed
Automata Model Checking},
booktitle = {Sixth International Conference on Software Security and Reliability,
{SERE} 2012, Gaithersburg, Maryland, USA, 20-22 June 2012 - Companion
Volume},
pages = {158--167},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SERE-C.2012.45},
doi = {10.1109/SERE-C.2012.45},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/ZhouLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/BuWCWZZL11,
author = {Lei Bu and
Qixin Wang and
Xin Chen and
Linzhang Wang and
Tian Zhang and
Jianhua Zhao and
Xuandong Li},
title = {Toward online hybrid systems model checking of cyber-physical systems'
time-bounded short-run behavior},
journal = {{SIGBED} Rev.},
volume = {8},
number = {2},
pages = {7--10},
year = {2011},
url = {https://doi.org/10.1145/2000367.2000368},
doi = {10.1145/2000367.2000368},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/BuWCWZZL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscl/ChaiZM11,
author = {Shaoming Chai and
Jianhua Zhao and
Su Mu},
title = {Discourse analysis of collaborative meaning making in {CSCL}},
booktitle = {Proceedings of the 9th International Conference on Computer Supported
Collaborative Learning, {CSCL} 2011, Hong Kong, July 4-8, 2011},
publisher = {International Society of the Learning Sciences},
year = {2011},
url = {https://repository.isls.org/handle/1/2582},
timestamp = {Wed, 28 Apr 2021 17:11:51 +0200},
biburl = {https://dblp.org/rec/conf/cscl/ChaiZM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscl/ZhaoLCWGYCYLZXC11,
author = {Jianhua Zhao and
Kedong Li and
Shaoming Chai and
Lu Wang and
Shaoqing Guo and
Shengquan Yu and
Gang Cheng and
Xianmin Yang and
Yanyan Li and
Hui Xu and
Xidiao Chen and
Xiaoqing Gu and
Jian Zhao and
Xianqing Bao and
Kangli Li and
Jim Slotta and
Nancy Law},
title = {Introducing China: Expanding the {CSCL} Research Community},
booktitle = {Proceedings of the 9th International Conference on Computer Supported
Collaborative Learning, {CSCL} 2011, Hong Kong, July 4-8, 2011},
publisher = {International Society of the Learning Sciences},
year = {2011},
url = {https://repository.isls.org/handle/1/2405},
timestamp = {Fri, 30 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cscl/ZhaoLCWGYCYLZXC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/CaiZLGDHW11,
author = {Dihua Cai and
Jianhua Zhao and
Yaohui Li and
Ni Guo and
Haixia Duan and
Hui Han and
Jing Wang},
title = {Influence of changes of underlying surface on the output of sand-dust
model},
booktitle = {2011 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2011, Vancouver, BC, Canada, July 24-29, 2011},
pages = {720--723},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/IGARSS.2011.6049231},
doi = {10.1109/IGARSS.2011.6049231},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/igarss/CaiZLGDHW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/ZhouYXZZ10,
author = {Xiuyi Zhou and
Jun Yang and
Yi Xu and
Youtao Zhang and
Jianhua Zhao},
title = {Thermal-Aware Task Scheduling for 3D Multicore Processors},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {21},
number = {1},
pages = {60--71},
year = {2010},
url = {https://doi.org/10.1109/TPDS.2009.27},
doi = {10.1109/TPDS.2009.27},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/ZhouYXZZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compstat/ZhaoYL10,
author = {Jianhua Zhao and
Philip L. H. Yu and
Shulan Li},
editor = {Yves Lechevallier and
Gilbert Saporta},
title = {Separable Two-Dimensional Linear Discriminant Analysis},
booktitle = {19th International Conference on Computational Statistics, {COMPSTAT}
2010, Paris, France, August 22-27, 2010 - Keynote, Invited and Contributed
Papers},
pages = {597--604},
publisher = {Physica-Verlag},
year = {2010},
url = {https://doi.org/10.1007/978-3-7908-2604-3\_62},
doi = {10.1007/978-3-7908-2604-3\_62},
timestamp = {Fri, 24 Apr 2020 12:30:55 +0200},
biburl = {https://dblp.org/rec/conf/compstat/ZhaoYL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LiZYZ10,
author = {Lin Li and
Youtao Zhang and
Jun Yang and
Jianhua Zhao},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Proactive {NBTI} mitigation for busy functional units in out-of-order
microprocessors},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {411--416},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5457170},
doi = {10.1109/DATE.2010.5457170},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/LiZYZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/YangYTWZL10,
author = {Lu Yang and
Liqian Yu and
Jianwen Tang and
Linzhang Wang and
Jianhua Zhao and
Xuandong Li},
editor = {Radu Calinescu and
Richard F. Paige and
Marta Z. Kwiatkowska},
title = {McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance
in C++/Java},
booktitle = {15th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
pages = {255--256},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICECCS.2010.37},
doi = {10.1109/ICECCS.2010.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/YangYTWZL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichl/ZhaoJ10,
author = {Jianhua Zhao and
Yinjian Jiang},
editor = {Philip M. Tsang and
Simon K. S. Cheung and
Victor S. K. Lee and
Ronghuai Huang},
title = {Knowledge Construction through Discussion Forum in a Blended Learning
Environment},
booktitle = {Hybrid Learning, Third International Conference, {ICHL} 2010, Beijing,
China, August 16-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6248},
pages = {395--406},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14657-2\_36},
doi = {10.1007/978-3-642-14657-2\_36},
timestamp = {Sun, 02 Oct 2022 16:05:00 +0200},
biburl = {https://dblp.org/rec/conf/ichl/ZhaoJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/YangYTWZL10,
author = {Lu Yang and
Liqian Yu and
Jianwen Tang and
Linzhang Wang and
Jianhua Zhao and
Xuandong Li},
editor = {Victor Pankratius and
Michael Philippsen},
title = {Enabling multi-core based monitoring and fault tolerance in C++/Java},
booktitle = {Proceedings of the 3rd International Workshop on Multicore Software
Engineering, {IWMSE} '10, Cape Town, South Africa, May 1, 2010},
pages = {32--39},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808954.1808963},
doi = {10.1145/1808954.1808963},
timestamp = {Thu, 27 Jan 2022 11:00:59 +0100},
biburl = {https://dblp.org/rec/conf/icse/YangYTWZL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/internetware/ChenLZL10,
author = {Jie Chen and
Qian Li and
Jianhua Zhao and
Xuandong Li},
editor = {Hong Mei and
Jian Lv and
Xuandong Li and
Zhi Jin},
title = {Test adequacy criterion based on coincidental correctness probability},
booktitle = {Proceedings of the Second Asia-Pacific Symposium on Internetware,
Internetware 2010, Suzhou, China, November 3-4, 2010},
pages = {20},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2020723.2020743},
doi = {10.1145/2020723.2020743},
timestamp = {Tue, 09 May 2023 08:00:06 +0200},
biburl = {https://dblp.org/rec/conf/internetware/ChenLZL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/internetware/TanBZW10,
author = {Lin Tan and
Lei Bu and
Jianhua Zhao and
Linzhang Wang},
editor = {Hong Mei and
Jian Lv and
Xuandong Li and
Zhi Jin},
title = {Analyzing the robustness of {FTSP} with timed automata},
booktitle = {Proceedings of the Second Asia-Pacific Symposium on Internetware,
Internetware 2010, Suzhou, China, November 3-4, 2010},
pages = {21},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2020723.2020744},
doi = {10.1145/2020723.2020744},
timestamp = {Sun, 23 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/internetware/TanBZW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LiZL10,
author = {Qian Li and
Jianhua Zhao and
Xuandong Li},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method
Summarization and Cycle-Elimination},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6415},
pages = {564--578},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16558-0\_46},
doi = {10.1007/978-3-642-16558-0\_46},
timestamp = {Sun, 02 Jun 2019 21:11:28 +0200},
biburl = {https://dblp.org/rec/conf/isola/LiZL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/LiYBWZL10,
author = {You Li and
Lu Yang and
Lei Bu and
Linzhang Wang and
Jianhua Zhao and
Xuandong Li},
editor = {Alok Srivastava and
Jeff Boleng},
title = {Extending Ada to support multi-core based monitoring and fault tolerance},
booktitle = {Proceedings of the 2010 Annual {ACM} SIGAda International Conference
on Ada, Fairfax, Virginia, USA, October 24-28, 2010},
pages = {53--62},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879063.1879079},
doi = {10.1145/1879063.1879079},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/LiYBWZL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BuZL10,
author = {Lei Bu and
Jianhua Zhao and
Xuandong Li},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid
Automata Using Convex Programming},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {78--94},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_9},
doi = {10.1007/978-3-642-11319-2\_9},
timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BuZL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-2553,
author = {Jianhua Zhao and
Xuandong Li},
title = {Scope Logic with Local Reasoning and Pre/Post-State Properties},
journal = {CoRR},
volume = {abs/1012.2553},
year = {2010},
url = {http://arxiv.org/abs/1012.2553},
eprinttype = {arXiv},
eprint = {1012.2553},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-2553.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ChenQXWZL09,
author = {Mingsong Chen and
Xiaokang Qiu and
Wei Xu and
Linzhang Wang and
Jianhua Zhao and
Xuandong Li},
title = {{UML} Activity Diagram-Based Automatic Test Case Generation For Java
Programs},
journal = {Comput. J.},
volume = {52},
number = {5},
pages = {545--556},
year = {2009},
url = {https://doi.org/10.1093/comjnl/bxm057},
doi = {10.1093/COMJNL/BXM057},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/ChenQXWZL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ile/WangWZ09,
author = {Qiyun Wang and
Huay Lit Woo and
Jianhua Zhao},
title = {Investigating critical thinking and knowledge construction in an interactive
learning environment},
journal = {Interact. Learn. Environ.},
volume = {17},
number = {1},
pages = {95--104},
year = {2009},
url = {https://doi.org/10.1080/10494820701706320},
doi = {10.1080/10494820701706320},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ile/WangWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/ZhaoY09,
author = {Jianhua Zhao and
Philip L. H. Yu},
title = {A note on variational Bayesian factor analysis},
journal = {Neural Networks},
volume = {22},
number = {7},
pages = {988--997},
year = {2009},
url = {https://doi.org/10.1016/j.neunet.2008.11.002},
doi = {10.1016/J.NEUNET.2008.11.002},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nn/ZhaoY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ett/LiZF09,
author = {Xiaohua Li and
Jianhua Zhao and
Ligang Fan},
title = {A Discussion on the Training Mode of University Administrative Staffs
under the Specialization View},
booktitle = {{ETT} 2009, Second International Conference on Education Technology
and Training, 13-14 December 2009, Sanya, China},
pages = {146--149},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ETT.2009.37},
doi = {10.1109/ETT.2009.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ett/LiZF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ett/LiLZ09,
author = {Xiaohua Li and
Junshuan Liu and
Jianhua Zhao},
title = {The International Comparison of Professionalization of University
Administrators and the Related Apocalypse},
booktitle = {{ETT} 2009, Second International Conference on Education Technology
and Training, 13-14 December 2009, Sanya, China},
pages = {154--158},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ETT.2009.40},
doi = {10.1109/ETT.2009.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ett/LiLZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichl/ZhaoJ09,
author = {Jianhua Zhao and
Yinjian Jiang},
editor = {Fu Lee Wang and
Joseph Fong and
Liming Zhang and
Victor S. K. Lee},
title = {A Descriptive Method for Simulating a Group Knowledge Building Process},
booktitle = {Hybrid Learning and Education, Second International Conference, {ICHL}
2009, Macau, China, August 25-27, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5685},
pages = {249--259},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03697-2\_24},
doi = {10.1007/978-3-642-03697-2\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ichl/ZhaoJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/HanWYCZL09,
author = {Zhixiong Han and
Linzhang Wang and
Liqian Yu and
Xin Chen and
Jianhua Zhao and
Xuandong Li},
title = {Design pattern directed clustering for understanding open source code},
booktitle = {The 17th {IEEE} International Conference on Program Comprehension,
{ICPC} 2009, Vancouver, British Columbia, Canada, May 17-19, 2009},
pages = {295--296},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICPC.2009.5090065},
doi = {10.1109/ICPC.2009.5090065},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/HanWYCZL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/LiZ09,
author = {Xiaohua Li and
Jianhua Zhao},
title = {A Research on the Training Mode of University Administer},
booktitle = {Fifth International Conference on Semantics, Knowledge and Grid, {SKG}
2009, Zhuhai, China, October 12-14, 2009},
pages = {310--313},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SKG.2009.48},
doi = {10.1109/SKG.2009.48},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/skg/LiZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiuPSZ09,
author = {Yang Liu and
Jun Pang and
Jun Sun and
Jianhua Zhao},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {Verification of Population Ring Protocols in {PAT}},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {81--89},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.51},
doi = {10.1109/TASE.2009.51},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/LiuPSZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ttss/2008,
editor = {Jianhua Zhao and
Volker Stolz},
title = {Proceedings of the 2nd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2008, Istanbul, Turkey, August
30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {243},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/243/suppl/C},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ttss/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-4184,
author = {Jianhua Zhao and
Xuandong Li},
title = {Scope Logic: Extending Hoare Logic for Pointer Program Verification},
journal = {CoRR},
volume = {abs/0912.4184},
year = {2009},
url = {http://arxiv.org/abs/0912.4184},
eprinttype = {arXiv},
eprint = {0912.4184},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-4184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sac/ZhaoYJ08,
author = {Jianhua Zhao and
Philip L. H. Yu and
Qibao Jiang},
title = {{ML} estimation for factor analysis: {EM} or non-EM?},
journal = {Stat. Comput.},
volume = {18},
number = {2},
pages = {109--123},
year = {2008},
url = {https://doi.org/10.1007/s11222-007-9042-y},
doi = {10.1007/S11222-007-9042-Y},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sac/ZhaoYJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnn/ZhaoY08,
author = {Jianhua Zhao and
Philip L. H. Yu},
title = {Fast {ML} Estimation for the Mixture of Factor Analyzers via an {ECM}
Algorithm},
journal = {{IEEE} Trans. Neural Networks},
volume = {19},
number = {11},
pages = {1956--1961},
year = {2008},
url = {https://doi.org/10.1109/TNN.2008.2003467},
doi = {10.1109/TNN.2008.2003467},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnn/ZhaoY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csse/ZhaoLSS08,
author = {Jianhua Zhao and
Chaoying Liu and
Xueling Song and
Zheying Song},
title = {Discussion on Teamwork Construction in Teaching of Universities and
Colleges},
booktitle = {International Conference on Computer Science and Software Engineering,
{CSSE} 2008, Volume 5: E-learning and Knowledge Management / Socially
Informed and Instructinal Design / Learning Systems Platforms and
Architectures / Modeling and Representation / Other Applications ,
December 12-14, 2008, Wuhan, China},
pages = {5--8},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSSE.2008.104},
doi = {10.1109/CSSE.2008.104},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csse/ZhaoLSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csse/ZhaoM08,
author = {Jianhua Zhao and
David McConnell},
title = {Teachers' Conceptions of E-learning in Chinese Higher Education: Findings
of Phenomenographic Study},
booktitle = {International Conference on Computer Science and Software Engineering,
{CSSE} 2008, Volume 5: E-learning and Knowledge Management / Socially
Informed and Instructinal Design / Learning Systems Platforms and
Architectures / Modeling and Representation / Other Applications ,
December 12-14, 2008, Wuhan, China},
pages = {392--395},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSSE.2008.126},
doi = {10.1109/CSSE.2008.126},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csse/ZhaoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edutainment/Zhao08,
author = {Jianhua Zhao},
editor = {Zhigeng Pan and
Xiaopeng Zhang and
Abdennour El Rhalibi and
Woontack Woo and
Yi Li},
title = {An Examination of Students' Perception of Blended E-Learning in Chinese
Higher Education},
booktitle = {Technologies for E-Learning and Digital Entertainment, Third International
Conference, Edutainment 2008, Nanjing, China, June 25-27, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5093},
pages = {162--170},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69736-7\_18},
doi = {10.1007/978-3-540-69736-7\_18},
timestamp = {Wed, 22 Jul 2020 16:06:01 +0200},
biburl = {https://dblp.org/rec/conf/edutainment/Zhao08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ZhouWCCZ08,
author = {Zhou Zhou and
Linzhang Wang and
Zhanqi Cui and
Xin Chen and
Jianhua Zhao},
title = {Jasmine: {A} Tool for Model-Driven Runtime Verification with {UML}
Behavioral Models},
booktitle = {11th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2008,
Nanjing, China, December 3 - 5, 2008},
pages = {487--490},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HASE.2008.62},
doi = {10.1109/HASE.2008.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ZhouWCCZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/YangTZL08,
author = {Lu Yang and
Jianwen Tang and
Jianhua Zhao and
Xuandong Li},
editor = {Victor Pankratius and
Walter F. Tichy},
title = {A case study for monitoring-oriented programming in multi-core architecture},
booktitle = {Proceedings of the 1st International Workshop on Multicore Software
Engineering, {IWMSE} '08, Leipzig, Germany, May 11, 2008},
pages = {47--52},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370082.1370094},
doi = {10.1145/1370082.1370094},
timestamp = {Wed, 26 Jan 2022 16:17:17 +0100},
biburl = {https://dblp.org/rec/conf/icse/YangTZL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwl/Zhao08,
author = {Jianhua Zhao},
editor = {Frederick W. B. Li and
Jianmin Zhao and
Timothy K. Shih and
Rynson W. H. Lau and
Qing Li and
Dennis McLeod},
title = {A Sociogram Analysis on Group Interaction in an Online Discussion
Forum},
booktitle = {Advances in Web Based Learning - {ICWL} 2008, 7th International Conference,
Jinhua, China, August 20-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5145},
pages = {377--389},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85033-5\_37},
doi = {10.1007/978-3-540-85033-5\_37},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icwl/Zhao08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ZhaoWL08,
author = {Jianhua Zhao and
Linzhang Wang and
Xuandong Li},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Partial Order Reduction Technique for Parallel Timed Automaton Model
Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {262--276},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_19},
doi = {10.1007/978-3-540-88479-8\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ZhaoWL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhangJBZ08,
author = {Tian Zhang and
Fr{\'{e}}d{\'{e}}ric Jouault and
Jean B{\'{e}}zivin and
Jianhua Zhao},
title = {A {MDE} Based Approach for Bridging Formal Models},
booktitle = {Second {IEEE/IFIP} International Symposium on Theoretical Aspects
of Software Engineering, {TASE} 2008, June 17-19, 2008, Nanjing, China},
pages = {113--116},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TASE.2008.21},
doi = {10.1109/TASE.2008.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZhangJBZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhaoS09,
author = {Jianhua Zhao and
Volker Stolz},
editor = {Jianhua Zhao and
Volker Stolz},
title = {Preface},
booktitle = {Proceedings of the 2nd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2008, Istanbul, Turkey, August
30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {243},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.001},
doi = {10.1016/J.ENTCS.2009.07.001},
timestamp = {Thu, 09 Mar 2023 13:49:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZhaoS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/YuZZWHZL07,
author = {Xiaofeng Yu and
Yan Zhang and
Tian Zhang and
Linzhang Wang and
Jun Hu and
Jianhua Zhao and
Xuandong Li},
title = {A model-driven development framework for enterprise Web services},
journal = {Inf. Syst. Frontiers},
volume = {9},
number = {4},
pages = {391--409},
year = {2007},
url = {https://doi.org/10.1007/s10796-007-9042-7},
doi = {10.1007/S10796-007-9042-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isf/YuZZWHZL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/YuZZWZZL07,
author = {Xiaofeng Yu and
Yan Zhang and
Tian Zhang and
Linzhang Wang and
Jianhua Zhao and
Guoliang Zheng and
Xuandong Li},
editor = {David H. Akehurst and
R{\'{e}}gis Vogel and
Richard F. Paige},
title = {Towards a Model Driven Approach to Automatic {BPEL} Generation},
booktitle = {Model Driven Architecture - Foundations and Applications, 3rd European
Conference, {ECMDA-FA} 2007, Haifa, Israel, June 11-15, 2007, Proccedings},
series = {Lecture Notes in Computer Science},
volume = {4530},
pages = {204--218},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72901-3\_16},
doi = {10.1007/978-3-540-72901-3\_16},
timestamp = {Wed, 24 Jun 2020 12:15:03 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/YuZZWZZL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/ZhaoJ06,
author = {Jianhua Zhao and
Qibao Jiang},
title = {Probabilistic {PCA} for t distributions},
journal = {Neurocomputing},
volume = {69},
number = {16-18},
pages = {2217--2226},
year = {2006},
url = {https://doi.org/10.1016/j.neucom.2005.07.011},
doi = {10.1016/J.NEUCOM.2005.07.011},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijon/ZhaoJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/ZhaoLZZ06,
author = {Jianhua Zhao and
Xuandong Li and
Tao Zheng and
Guoliang Zheng},
title = {Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking},
journal = {J. Comput. Sci. Technol.},
volume = {21},
number = {1},
pages = {41--51},
year = {2006},
url = {https://doi.org/10.1007/s11390-006-0041-9},
doi = {10.1007/S11390-006-0041-9},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/ZhaoLZZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/LiWQLYZZ06,
author = {Xuandong Li and
Linzhang Wang and
Xiaokang Qiu and
Bin Lei and
Jiesong Yuan and
Jianhua Zhao and
Guoliang Zheng},
editor = {Lu{\'{\i}}s Miguel Pinho and
Michael Gonz{\'{a}}lez Harbour},
title = {Runtime Verification of Java Programs for Scenario-Based Specifications},
booktitle = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
International Conference on Reliable Software Technologies, Porto,
Portugal, June 5-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4006},
pages = {94--105},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767077\_8},
doi = {10.1007/11767077\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/LiWQLYZZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/YuHZZWZL06,
author = {Xiaofeng Yu and
Jun Hu and
Yan Zhang and
Tian Zhang and
Linzhang Wang and
Jianhua Zhao and
Xuandong Li},
title = {A Model Driven Development Framework for Enterprise Web Services},
booktitle = {Tenth {IEEE} International Enterprise Distributed Object Computing
Conference {(EDOC} 2006), 16-20 October 2006, Hong Kong, China},
pages = {75--84},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/EDOC.2006.9},
doi = {10.1109/EDOC.2006.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/YuHZZWZL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LiLJZZZ06,
author = {Xuandong Li and
Lei Bu and
Jun Hu and
Jianhua Zhao and
Tao Zhang and
Guoliang Zheng},
editor = {Elie Najm and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
V{\'{e}}ronique Donzeau{-}Gouge},
title = {Scenario-Based Timing Consistency Checking for Time Petri Nets},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
September 26-29, 2006},
series = {Lecture Notes in Computer Science},
volume = {4229},
pages = {388--403},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11888116\_28},
doi = {10.1007/11888116\_28},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/LiLJZZZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce/ZhaoM06,
author = {Jianhua Zhao and
David McConnell},
editor = {Riichiro Mizoguchi and
Pierre Dillenbourg and
Zhiting Zhu},
title = {Students' Understandings and Attitudes toward Group learning: An Empirical
Study},
booktitle = {Learning by Effective Utilization of Technologies: Facilitating Intercultural
Understanding, Proceeding of the 14th International Conference on
Computers in Education, {ICCE} 2006, November 30 - December 4, 2006,
Beijing, China},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {151},
pages = {205--208},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=2264},
timestamp = {Wed, 14 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icce/ZhaoM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ZhaoLLZ06,
author = {Jianhua Zhao and
Bin Lei and
Xuandong Li and
Guoliang Zheng},
title = {Improve Model Checking Efficiency Using Specific Knowledge about the
System},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {392--396},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.28},
doi = {10.1109/ISOLA.2006.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/ZhaoLLZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ZhaoLZ05,
author = {Jianhua Zhao and
Xuandong Li and
Guoliang Zheng},
title = {A quadratic-time DBM-based successor algorithm for checking timed
automata},
journal = {Inf. Process. Lett.},
volume = {96},
number = {3},
pages = {101--105},
year = {2005},
url = {https://doi.org/10.1016/j.ipl.2005.05.027},
doi = {10.1016/J.IPL.2005.05.027},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ZhaoLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fskd/YanZC05,
author = {Weizhen Yan and
Jianhua Zhao and
Zhe Cao},
editor = {Lipo Wang and
Yaochu Jin},
title = {Fuzzy Programming Model for Lot Sizing Production Planning Problem},
booktitle = {Fuzzy Systems and Knowledge Discovery, Second International Conference,
{FSKD} 2005, Changsha, China, August 27-29, 2005, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {3613},
pages = {285--294},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539506\_36},
doi = {10.1007/11539506\_36},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fskd/YanZC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fskd/GaoZJ05,
author = {Jinwu Gao and
Jianhua Zhao and
Xiaoyu Ji},
editor = {Lipo Wang and
Yaochu Jin},
title = {Fuzzy Chance-Constrained Programming for Capital Budgeting Problem
with Fuzzy Decisions},
booktitle = {Fuzzy Systems and Knowledge Discovery, Second International Conference,
{FSKD} 2005, Changsha, China, August 27-29, 2005, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {3613},
pages = {304--311},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539506\_38},
doi = {10.1007/11539506\_38},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fskd/GaoZJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ZhaoZLZ05,
author = {Jianhua Zhao and
Xiuyi Zhou and
Xuandong Li and
Guoliang Zheng},
title = {Compatibility Between Shared Variable Valuations in Timed Automaton
Network Model-Checking},
booktitle = {19th International Parallel and Distributed Processing Symposium {(IPDPS}
2005), {CD-ROM} / Abstracts Proceedings, 4-8 April 2005, Denver, CO,
{USA}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/IPDPS.2005.146},
doi = {10.1109/IPDPS.2005.146},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/ZhaoZLZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/LiHBZZ05,
author = {Xuandong Li and
Jun Hu and
Lei Bu and
Jianhua Zhao and
Guoliang Zheng},
editor = {Andreas Prinz and
Rick Reed and
Jeanne Reed},
title = {Consistency Checking of Concurrent Models for Scenario-Based Specifications},
booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad,
Norway, June 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3530},
pages = {298--312},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11506843\_21},
doi = {10.1007/11506843\_21},
timestamp = {Wed, 25 Sep 2019 18:02:25 +0200},
biburl = {https://dblp.org/rec/conf/sdl/LiHBZZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LiZZLZ04,
author = {Xuandong Li and
Jianhua Zhao and
Tao Zheng and
Yong Li and
Guoliang Zheng},
title = {Duration-constrained regular expressions},
journal = {Formal Aspects Comput.},
volume = {16},
number = {2},
pages = {155--163},
year = {2004},
url = {https://doi.org/10.1007/s00165-004-0033-x},
doi = {10.1007/S00165-004-0033-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LiZZLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/LiZJYZ04,
author = {Xuandong Li and
Jianhua Zhao and
Gong Jiayu and
Shi Yaoxin and
Guoliang Zheng},
title = {Verifying Compositional Designs for Scenario-Based Timing Specifications},
booktitle = {7th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2004), 12-14 May 2004, Vienna, Austria},
pages = {253--256},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ISORC.2004.1300367},
doi = {10.1109/ISORC.2004.1300367},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/LiZJYZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ZhaoLZZ03,
author = {Jianhua Zhao and
Xuandong Li and
Tao Zheng and
Guoliang Zheng},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently},
booktitle = {Formal Modeling and Analysis of Timed Systems: First International
Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2791},
pages = {34--45},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_4},
doi = {10.1007/978-3-540-40903-8\_4},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/ZhaoLZZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LiZPLZZ02,
author = {Xuandong Li and
Jianhua Zhao and
Yu Pei and
Yong Li and
Tao Zheng and
Guoliang Zheng},
title = {Positive loop-closed automata: a decidable class of hybrid systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {52-53},
pages = {79--108},
year = {2002},
url = {https://doi.org/10.1016/S1567-8326(02)00024-3},
doi = {10.1016/S1567-8326(02)00024-3},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LiZPLZZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ZhaoXXTG02,
author = {Jianhua Zhao and
He Xu and
Xuandong Li and
Tao Zheng and
Guoliang Zheng},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Partial Order Path Technique for Checking Parallel Timed Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {417--432},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_24},
doi = {10.1007/3-540-45739-9\_24},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/ZhaoXXTG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce/ZhaoMLA02,
author = {Jianhua Zhao and
David McConnell and
Kedong Li and
Kanji Akahori},
title = {{STAD} Modeling Method for Computer Supported Group Learning},
booktitle = {International Conference on Computers in Education, {ICCE} 2002, Auckland,
New Zealand, December 3-6, 2002, Volume 1},
pages = {344--348},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CIE.2002.1185942},
doi = {10.1109/CIE.2002.1185942},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icce/ZhaoMLA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/XuandongYJYTG01,
author = {Xuandong Li and
Yu Pei and
Jianhua Zhao and
Yong Li and
Tao Zheng and
Guoliang Zheng},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Efficient Verification of a Class of Linear Hybrid Automata Using
Linear Programming},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {465--480},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_35},
doi = {10.1007/3-540-44798-9\_35},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/XuandongYJYTG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/XuandongMYJG01,
author = {Xuandong Li and
Cui Meng and
Yu Pei and
Jianhua Zhao and
Guoliang Zheng},
editor = {Martin Gogolla and
Cris Kobryn},
title = {Timing Analysis of {UML} Activity Diagrams},
booktitle = {{\guillemotleft}UML{\guillemotright} 2001 - The Unified Modeling Language,
Modeling Languages, Concepts, and Tools, 4th International Conference,
Toronto, Canada, October 1-5, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2185},
pages = {62--75},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45441-1\_6},
doi = {10.1007/3-540-45441-1\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/XuandongMYJG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/ZhaoH00,
author = {Jianhua Zhao and
Dang Van Hung},
title = {Checking Timed Automata for Linear Duration Properties},
journal = {J. Comput. Sci. Technol.},
volume = {15},
number = {5},
pages = {423--429},
year = {2000},
url = {https://doi.org/10.1007/BF02950405},
doi = {10.1007/BF02950405},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/ZhaoH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JianhuaH98,
author = {Jianhua Zhao and
Dang Van Hung},
editor = {Anders P. Ravn and
Hans Rischel},
title = {On Checking Parallel Real-Time Systems for Linear Duration Properties},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {241--250},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055351},
doi = {10.1007/BFB0055351},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JianhuaH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/XuandongTJJG98,
author = {Xuandong Li and
Tao Zheng and
Jianmin Hou and
Jianhua Zhao and
Guoliang Zheng},
editor = {Thomas A. Henzinger and
Shankar Sastry},
title = {Hybrid Regular Expressions},
booktitle = {Hybrid Systems: Computation and Control, First International Workshop,
HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1386},
pages = {384--399},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-64358-3\_53},
doi = {10.1007/3-540-64358-3\_53},
timestamp = {Mon, 25 Jul 2022 16:36:55 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/XuandongTJJG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/JianhuaJG97,
author = {Jianhua Zhao and
Jiajun Chen and
Guoliang Zheng},
title = {Message Conversion and {A} New Type System for {OO} Model},
journal = {{ACM} {SIGPLAN} Notices},
volume = {32},
number = {9},
pages = {61--67},
year = {1997},
url = {https://doi.org/10.1145/270507.270521},
doi = {10.1145/270507.270521},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/JianhuaJG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-16 20:26 CEST 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:
