Guo-hui Wang

Available identifiers

zbMath Open wang.guohuiMaRDI QIDQ1956042

List of research outcomes

Publication	Date of Publication	Type
Formalization of the inverse kinematics of three-fingered dexterous hand	2023-06-19	Paper
Some new constructions of optimal asymmetric quantum codes	2023-02-24	Paper
Some constructions of optimal subsystem codes derived from GRS codes	2022-12-06	Paper
Some entanglement-assisted quantum MDS codes with large minimum distance	2022-12-06	Paper
Application of GRS codes to some entanglement-assisted quantum MDS codes	2022-11-29	Paper
New constructions of optimal subsystem codes	2022-11-01	Paper
Reasoning about iteration and recursion uniformly based on big-step semantics	2022-07-13	Paper
Formal verification of atomicity requirements for smart contracts	2021-07-08	Paper
Formalization of Euler-Lagrange equation set based on variational calculus in HOL light	2021-06-09	Paper
Formalization of camera pose estimation algorithm based on Rodrigues formula	2021-01-04	Paper
A new Oren-Nayar shape-from-shading approach for 3D reconstruction using high-order Godunov-based scheme	2020-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q5196784	2019-09-20	Paper
Formalization of functional variation in HOL Light	2019-06-20	Paper
Permanence, stability, and coexistence of a diffusive predator-prey model with modified Leslie-Gower and B-D functional response	2019-01-28	Paper
A Block-Level Log-Block Management Scheme for MLC NAND Flash Memory Storage Systems	2018-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q2984705	2017-05-17	Paper
Energy-aware assignment and scheduling for hybrid main memory in embedded systems	2016-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q3461318	2016-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q3462830	2016-01-15	Paper
Positive solutions for three-point boundary value problem of fractional differential equation with \(p\)-Laplacian operator	2013-06-13	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: Guo-hui Wang