| Publication | Date of Publication | Type |
|---|
Linearized high-order and convergent scheme for the Kuramoto-Sivashinsky equation
Electronic Journal of Differential Equations (EJDE) | 2026-07-31 | Paper |
Formal reasoning about Bernstein-Vazirani algorithm
Journal of Logical and Algebraic Methods in Programming | 2026-03-09 | Paper |
Application of GRS codes to some optimal quantum convolutional codes
Quantum Information Processing | 2025-12-17 | Paper |
Formalization of robot collision detection method based on conformal geometric algebra
Formal Methods in System Design | 2025-12-09 | Paper |
Some quantum MDS codes from GRS codes
Linear and Multilinear Algebra | 2024-06-25 | Paper |
Formalization of the inverse kinematics of three-fingered dexterous hand
Journal of Logical and Algebraic Methods in Programming | 2023-06-19 | Paper |
Some new constructions of optimal asymmetric quantum codes
Quantum Information Processing | 2023-02-24 | Paper |
Some constructions of optimal subsystem codes derived from GRS codes
Quantum Information Processing | 2022-12-06 | Paper |
Some entanglement-assisted quantum MDS codes with large minimum distance
Quantum Information Processing | 2022-12-06 | Paper |
Application of GRS codes to some entanglement-assisted quantum MDS codes
Quantum Information Processing | 2022-11-29 | Paper |
New constructions of optimal subsystem codes
Computational and Applied Mathematics | 2022-11-01 | Paper |
Reasoning about iteration and recursion uniformly based on big-step semantics
(available as arXiv preprint) | 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
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 |
A new Oren-Nayar shape-from-shading approach for 3D reconstruction using high-order Godunov-based scheme
Algorithms | 2020-01-13 | Paper |
| Coexistence solution of a predator-prey system with B-D functional response and toxin effects | 2019-09-20 | Paper |
Formalization of functional variation in HOL Light
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
Permanence, stability, and coexistence of a diffusive predator-prey model with modified Leslie-Gower and B-D functional response
Advances in Difference Equations | 2019-01-28 | Paper |
A Block-Level Log-Block Management Scheme for MLC NAND Flash Memory Storage Systems
IEEE Transactions on Computers | 2018-06-27 | Paper |
| Linear complexity of balanced quaternary generalized cyclotomic sequences with period pq | 2017-05-17 | Paper |
Energy-aware assignment and scheduling for hybrid main memory in embedded systems
Computing | 2016-03-10 | Paper |
| scientific article; zbMATH DE number 6531917 (Why is no real title available?) | 2016-01-15 | Paper |
| scientific article; zbMATH DE number 6531273 (Why is no real title available?) | 2016-01-15 | Paper |
Positive solutions for three-point boundary value problem of fractional differential equation with p-Laplacian operator
Discrete Dynamics in Nature and Society | 2013-06-13 | Paper |
