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
https://portal.mardi4nfdi.de/entity/Q3306501	2020-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q5209966	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
https://portal.mardi4nfdi.de/entity/Q3131342	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
https://portal.mardi4nfdi.de/entity/Q3180936	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
https://portal.mardi4nfdi.de/entity/Q5257317	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