Yong Guan

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Formalization of the inverse kinematics of three-fingered dexterous hand	2023-06-19	Paper
Reasoning about iteration and recursion uniformly based on big-step semantics	2022-07-13	Paper
Tiler: An Autonomous Region-Based Scheme for SMR Storage	2022-03-23	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
Formalization of Complex Analysis and Matrix Theory	2020-09-03	Paper
Formalization of function matrix theory in HOL	2020-02-10	Paper
Formalization of geometric algebra in HOL Light	2019-09-02	Paper
Formalization of functional variation in HOL Light	2019-06-20	Paper
Formal analysis of the kinematic Jacobian in screw theory	2018-11-16	Paper
Formal kinematic analysis of a general 6R manipulator using the screw theory	2018-08-27	Paper
The formalization of discrete Fourier transform in HOL	2018-08-27	Paper
Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment	2018-08-27	Paper
A New Type of Seiberg–Witten Map and Its Application	2018-08-03	Paper
A Block-Level Log-Block Management Scheme for MLC NAND Flash Memory Storage Systems	2018-06-27	Paper
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm	2017-06-29	Paper
On-Demand Block-Level Address Mapping in Large-Scale NAND Flash Storage Systems	2017-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q2824411	2016-10-06	Paper
Multiple parallel cracks in a magnetoelectroelastic strip under in-plane magnetic/electric field and clamping-induced antiplane pre-deformation	2016-09-08	Paper
Energy-aware assignment and scheduling for hybrid main memory in embedded systems	2016-03-10	Paper
Verifiable Computation with Reduced Informational Costs and Computational Costs	2015-07-24	Paper
Delegation of computation with verification outsourcing	2015-03-02	Paper
The gauge integral theory in HOL4	2013-06-14	Paper
Formalization of linear space theory in the higher-order logic proving system	2013-06-14	Paper
Component-based formal modeling of PLC systems	2013-06-14	Paper
An Automatic, Time-Based, Secure Pairing Protocol for Passive RFID	2012-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q3572227	2010-07-08	Paper
A Novel Architecture for Secure and Scalable Multicast over IP Network	2010-04-24	Paper
DEFORMED BOSON ALGEBRA AND PROJECTION OPERATOR OF VACUUM IN NONCOMMUTATIVE PHASE SPACE	2009-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q3610107	2009-03-06	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: Yong Guan