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
Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment	2018-08-27	Paper
The formalization of discrete Fourier transform in HOL	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
Formalization of geometric algebra theories in higher-order logic	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: curious verifiers	2015-03-02	Paper
Formalization of linear space theory in the higher-order logic proving system	2013-06-14	Paper
The gauge integral theory in HOL4	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
A robust front-end for speech recognition based on computational auditory scene analysis and speaker model	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
IMinpert: An incomplete minimum perturbation algorithm for large unsymmetric linear systems	2009-03-06	Paper

Research outcomes over time

This page was built for person: Yong Guan