Miaomiao Zhang

Available identifiers

zbMath Open zhang.miaomiaoMaRDI QIDQ1793124

List of research outcomes

Publication	Date of Publication	Type
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
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
https://portal.mardi4nfdi.de/entity/Q2725155	2001-07-12	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: Miaomiao Zhang