Jian-hua Zhao

Available identifiers

zbMath Open zhao.jianhuaMaRDI QIDQ280413

List of research outcomes

Publication	Date of Publication	Type
Optimal scheduling model of WDM/OTN network transmission line based on machine learning	2023-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q5098993	2022-08-31	Paper
Stepwise local influence in generalized autoregressive conditional heteroskedasticity models	2020-11-04	Paper
Separable Two-Dimensional Linear Discriminant Analysis	2020-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4624672	2019-02-22	Paper
Automated learning of factor analysis with complete and incomplete data	2018-11-23	Paper
Mixture model selection via hierarchical BIC	2018-08-21	Paper
Case deletion diagnostics for GMM estimation	2018-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q3132070	2018-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q2951460	2017-01-06	Paper
A note on variational Bayesian factor analysis	2016-05-10	Paper
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata	2014-12-05	Paper
Separable linear discriminant analysis	2012-12-30	Paper
Partial Order Path Technique for Checking Parallel Timed Automata	2011-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q3572171	2010-07-08	Paper
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming	2010-01-14	Paper
A quadratic-time DBM-based successor algorithm for checking timed automata	2009-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q3614335	2009-03-06	Paper
Remove irrelevant atomic formulas for timed automaton model checking	2006-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5483614	2006-08-23	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5697135	2005-10-17	Paper
Duration-constrained regular expressions	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4435846	2003-11-20	Paper
Positive loop-closed automata: A decidable class of hybrid systems	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4787254	2003-01-09	Paper
Checking timed automata for linear duration properties	2000-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4894076	1997-11-27	Paper

Research outcomes over time

This page was built for person: Jian-hua Zhao