Hua Yan

Available identifiers

zbMath Open yan.huaMaRDI QIDQ2283247

List of research outcomes

Publication	Date of Publication	Type
Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis	2024-04-19	Paper
Steady-state relation of a two-level system strongly coupled to a many-body quantum chaotic environment	2023-06-19	Paper
Sliding mode switching observer-based actuator fault detection and isolation for a class of uncertain systems	2019-12-30	Paper
Reliability computing method combined with compressed storage and Krylov subspace for phased-mission system	2017-12-15	Paper
General anticipating response in coupled dynamical systems	2015-04-21	Paper
Numerical Method for Reliability Analysis of Phased-Mission System Using Markov Chains	2012-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q3512861	2008-08-06	Paper

Research outcomes over time

This page was built for person: Hua Yan