| Publication | Date of Publication | Type |
|---|
Formalization of the inverse kinematics of three-fingered dexterous hand
Journal of Logical and Algebraic Methods in Programming | 2023-06-19 | Paper |
Reasoning about iteration and recursion uniformly based on big-step semantics
(available as arXiv preprint) | 2022-07-13 | Paper |
Tiler: An Autonomous Region-Based Scheme for SMR Storage
IEEE Transactions on Computers | 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
Journal of Automated Reasoning | 2021-06-09 | Paper |
Formalization of camera pose estimation algorithm based on Rodrigues formula
Formal Aspects of Computing | 2021-01-04 | Paper |
| Formalization of complex analysis and matrix theory | 2020-09-03 | Paper |
Formalization of function matrix theory in HOL
Journal of Applied Mathematics | 2020-02-10 | Paper |
Formalization of geometric algebra in HOL Light
Journal of Automated Reasoning | 2019-09-02 | Paper |
Formalization of functional variation in HOL Light
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
Formal analysis of the kinematic Jacobian in screw theory
Formal Aspects of Computing | 2018-11-16 | Paper |
Formal kinematic analysis of a general 6R manipulator using the screw theory
Mathematical Problems in Engineering | 2018-08-27 | Paper |
Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment
Mathematical Problems in Engineering | 2018-08-27 | Paper |
The formalization of discrete Fourier transform in HOL
Mathematical Problems in Engineering | 2018-08-27 | Paper |
A New Type of Seiberg–Witten Map and Its Application
Communications in Theoretical Physics | 2018-08-03 | Paper |
A Block-Level Log-Block Management Scheme for MLC NAND Flash Memory Storage Systems
IEEE Transactions on Computers | 2018-06-27 | Paper |
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm
Advances in Applied Clifford Algebras | 2017-06-29 | Paper |
On-Demand Block-Level Address Mapping in Large-Scale NAND Flash Storage Systems
IEEE Transactions on Computers | 2017-05-16 | Paper |
Formalization of geometric algebra theories in higher-order logic
Journal of Software | 2016-10-06 | Paper |
Multiple parallel cracks in a magnetoelectroelastic strip under in-plane magnetic/electric field and clamping-induced antiplane pre-deformation
Acta Mechanica | 2016-09-08 | Paper |
Energy-aware assignment and scheduling for hybrid main memory in embedded systems
Computing | 2016-03-10 | Paper |
Verifiable computation with reduced informational costs and computational costs
Computer Security - ESORICS 2014 | 2015-07-24 | Paper |
Delegation of computation with verification outsourcing: curious verifiers
Proceedings of the 2013 ACM symposium on Principles of distributed computing | 2015-03-02 | Paper |
Formalization of linear space theory in the higher-order logic proving system
Journal of Applied Mathematics | 2013-06-14 | Paper |
The gauge integral theory in HOL4
Journal of Applied Mathematics | 2013-06-14 | Paper |
Component-based formal modeling of PLC systems
Journal of Applied Mathematics | 2013-06-14 | Paper |
An automatic, time-based, secure pairing protocol for passive RFID
RFID. Security and Privacy | 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
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering | 2010-04-24 | Paper |
DEFORMED BOSON ALGEBRA AND PROJECTION OPERATOR OF VACUUM IN NONCOMMUTATIVE PHASE SPACE
Modern Physics Letters A | 2009-09-25 | Paper |
| IMinpert: An incomplete minimum perturbation algorithm for large unsymmetric linear systems | 2009-03-06 | Paper |
