Miaomiao Zhang

From MaRDI portal
Person:1793124

Available identifiers

zbMath Open zhang.miaomiaoMaRDI QIDQ1793124

List of research outcomes

PublicationDate of PublicationType
Some new quantum codes from constacyclic codes2024-01-25Paper
Index estimates for free boundary \(f\)-minimal hypersurfaces2023-10-24Paper
harmonic 1-forms on hypersurfaces with finite index2023-08-16Paper
Human-cyber-physical automata and their synthesis2023-07-28Paper
An optimal control problem for a biological population model with diffusion and infectious disease2023-07-21Paper
Learning deterministic one-clock timed automata via mutation testing2023-06-02Paper
Learning One-Clock Timed Automata2022-10-13Paper
Ordering results of extreme order statistics from dependent and heterogeneous modified proportional (reversed) hazard variables2022-04-26Paper
Accelerating noise-tolerant zeroing neural network with fixed-time convergence to solve the time-varying Sylvester equation2021-12-14Paper
Inferring switched nonlinear dynamical systems2021-08-30Paper
Low-dimensional shape analysis in the space of diffeomorphisms2020-11-12Paper
Fast diffeomorphic image registration via Fourier-approximated Lie algebras2020-08-20Paper
https://portal.mardi4nfdi.de/entity/Q33065012020-08-12Paper
https://portal.mardi4nfdi.de/entity/Q52099662020-01-22Paper
Model Checking Bounded Continuous-time Extended Linear Duration Invariants2018-12-06Paper
Safety verification of interconnected hybrid systems using barrier certificates2018-10-12Paper
https://portal.mardi4nfdi.de/entity/Q31313422018-01-29Paper
Bounded model-checking of discrete duration calculus2017-05-16Paper
Bayesian Statistical Shape Analysis on the Manifold of Diffeomorphisms2017-01-12Paper
https://portal.mardi4nfdi.de/entity/Q31809362017-01-06Paper
Probabilistic Geodesic Models for Regression and Dimensionality Reduction on Riemannian Manifolds2016-05-19Paper
https://portal.mardi4nfdi.de/entity/Q52573172015-06-29Paper
Model Checking Linear Duration Invariants of Networks of Automata2010-01-28Paper
Optimize method of minimizing fuzzy finite automata2009-10-12Paper
Design and Verification of Fault-Tolerant Components2009-04-24Paper
Verification of Linear Duration Invariants by Model Checking CTL Properties2009-01-27Paper
Correct Hardware Design and Verification Methods2006-10-20Paper
https://portal.mardi4nfdi.de/entity/Q27251552001-07-12Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Miaomiao Zhang