| Publication | Date of Publication | Type |
|---|
Optimal scheduling model of WDM/OTN network transmission line based on machine learning
Journal of Control Science and Engineering | 2023-05-03 | Paper |
scientific article; zbMATH DE number 7578744 (Why is no real title available?)
| 2022-08-31 | Paper |
Stepwise local influence in generalized autoregressive conditional heteroskedasticity models
Journal of Applied Statistics | 2020-11-04 | Paper |
Separable two-dimensional linear discriminant analysis
Proceedings of COMPSTAT'2010 | 2020-07-14 | Paper |
Automatically analyzing inductive properties for recursive data structures
| 2019-02-22 | Paper |
Automated learning of factor analysis with complete and incomplete data
Computational Statistics and Data Analysis | 2018-11-23 | Paper |
Mixture model selection via hierarchical BIC
Computational Statistics and Data Analysis | 2018-08-21 | Paper |
Case deletion diagnostics for GMM estimation
Computational Statistics and Data Analysis | 2018-08-15 | Paper |
Verification of concrete programs with respect to abstract programs
| 2018-01-29 | Paper |
scientific article; zbMATH DE number 6672503 (Why is no real title available?)
| 2017-01-06 | Paper |
A note on variational Bayesian factor analysis
Neural Networks | 2016-05-10 | Paper |
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata
Formal Methods in System Design | 2014-12-05 | Paper |
Separable linear discriminant analysis
Computational Statistics and Data Analysis | 2012-12-30 | Paper |
Partial order path technique for checking parallel timed automata
Lecture Notes in Computer Science | 2011-04-08 | Paper |
Fuzzy chance-constrained programming for lot sizing production planning
| 2010-07-08 | Paper |
Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming
Lecture Notes in Computer Science | 2010-01-14 | Paper |
A quadratic-time DBM-based successor algorithm for checking timed automata
Information Processing Letters | 2009-12-18 | Paper |
Fuzzy supply chain problem for lot sizing production planning
| 2009-03-06 | Paper |
Remove irrelevant atomic formulas for timed automaton model checking
Journal of Computer Science and Technology | 2006-10-12 | Paper |
scientific article; zbMATH DE number 5048336 (Why is no real title available?)
| 2006-08-23 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-01-10 | Paper |
scientific article; zbMATH DE number 2214510 (Why is no real title available?)
| 2005-10-17 | Paper |
Duration-constrained regular expressions
Formal Aspects of Computing | 2004-10-01 | Paper |
scientific article; zbMATH DE number 2006479 (Why is no real title available?)
| 2003-11-20 | Paper |
Positive loop-closed automata: A decidable class of hybrid systems
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
scientific article; zbMATH DE number 1852175 (Why is no real title available?)
| 2003-01-09 | Paper |
Checking timed automata for linear duration properties
Journal of Computer Science and Technology | 2000-11-20 | Paper |
scientific article; zbMATH DE number 930120 (Why is no real title available?)
| 1997-11-27 | Paper |
