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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jian-hua Zhao