Miaomiao Zhang

Available identifiers

zbMath Open zhang.miaomiaoMaRDI QIDQ1793124

List of research outcomes

Publication	Date of Publication	Type
Learning assumptions for compositional verification of timed automata	2024-02-01	Paper
Some new quantum codes from constacyclic codes	2024-01-25	Paper
Index estimates for free boundary \(f\)-minimal hypersurfaces	2023-10-24	Paper
harmonic 1-forms on hypersurfaces with finite index	2023-08-16	Paper
Human-cyber-physical automata and their synthesis	2023-07-28	Paper
An optimal control problem for a biological population model with diffusion and infectious disease	2023-07-21	Paper
Learning deterministic one-clock timed automata via mutation testing	2023-06-02	Paper
Learning one-clock timed automata	2022-10-13	Paper
Ordering results of extreme order statistics from dependent and heterogeneous modified proportional (reversed) hazard variables	2022-04-26	Paper
Accelerating noise-tolerant zeroing neural network with fixed-time convergence to solve the time-varying Sylvester equation	2021-12-14	Paper
Inferring switched nonlinear dynamical systems	2021-08-30	Paper
Low-dimensional shape analysis in the space of diffeomorphisms	2020-11-12	Paper
Fast diffeomorphic image registration via Fourier-approximated Lie algebras	2020-08-20	Paper
Advances in model checking of extended linear duration invariants	2020-08-12	Paper
Verifying continuous-time duration calculus against real-time automaton	2020-01-22	Paper
Model checking bounded continuous-time extended linear duration invariants	2018-12-06	Paper
Safety verification of interconnected hybrid systems using barrier certificates	2018-10-12	Paper
The directed completion of ordered semigroup	2018-01-29	Paper
Bounded model-checking of discrete duration calculus	2017-05-16	Paper
Bayesian statistical shape analysis on the manifold of diffeomorphisms	2017-01-12	Paper
Continuous directed-complete ordered semigroups and their categorical properties	2017-01-06	Paper
Dynamic matchings in left vertex weighted convex bipartite graphs	2016-10-20	Paper
Probabilistic geodesic models for regression and dimensionality reduction on Riemannian manifolds	2016-05-19	Paper
Expressions of the group inverse of the linear combinations of \(k\)-idempotent matrices and the Moore-Penrose generalized inverse of the linear combinations of the hypergeneralized idempotent matrices	2015-06-29	Paper
Model checking linear duration invariants of networks of automata	2010-01-28	Paper
Optimize method of minimizing fuzzy finite automata	2009-10-12	Paper
Design and Verification of Fault-Tolerant Components	2009-04-24	Paper
Verification of Linear Duration Invariants by Model Checking CTL Properties	2009-01-27	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
The resource scheduling in \(M_1+ M_2/M/N/k\) system by the ordinal optimization algorithm	2001-07-12	Paper

Research outcomes over time

This page was built for person: Miaomiao Zhang