Simplifying von Plato's Axiomatization of Constructive Apartness Geometry. - Dafa Li; Peifa Jia; Xinxin Li (Ann. Pure Appl. Log., 2000)

Using the prover ANDP to simplify orthogonality. - Dafa Li (Ann. Pure Appl. Log., 2003)

Is DNA computing viable for 3-SAT problems? - Dafa Li (Theor. Comput. Sci., 2003)

The equality axioms are not independent. - Dafa Li (SIGACT News, 2004)

Quantum fixed-point search algorithm with general phase shifts. - Dafa Li (Frontiers Comput. Sci. China, 2008)

Resolution with Limited Factoring. - Dafa Li (AICI, 2009)

Slocc classification for nine families of four-qubits. - Dafa Li; Xiangrong Li; Hongtao Huang; Xinxin Li (Quantum Inf. Comput., 2009)

The n-tangle of odd n qubits. - Dafa Li (Quantum Inf. Process., 2012)

SLOCC classification of n qubits invoking the proportional relationships for spectrums and standard Jordan normal forms. - Dafa Li (Quantum Inf. Process., 2018)

Stochastic local operations and classical communication (SLOCC) and local unitary operations (LU) classifications of n qubits via ranks and singular values of the spin-flipping matrices. - Dafa Li (Quantum Inf. Process., 2018)

Detection of genuine n-qubit entanglement via the proportionality of two vectors. - Dafa Li (Quantum Inf. Process., 2019)

Entanglement classification via integer partitions. - Dafa Li (Quantum Inf. Process., 2020)

Research on power coupling characteristics and acceleration strategy of electro-hydrostatic hydraulic hybrid power system. - Huanlong Liu; Dafa Li; Guanpeng Chen; Chixin Xie; Jiawei Wang; Lei Feng (J. Syst. Control. Eng., 2021)

Reducing the detection of genuine entanglement of n qubits to two qubits. - Dafa Li (Quantum Inf. Process., 2021)

Simplifying the axiomatization for the order affine geometry. - Dafa Li (CoRR, 2022)

MGBM-YOLO: a Faster Light-Weight Object Detection Model for Robotic Grasping of Bolster Spring Based on Image-Based Visual Servoing. - Huanlong Liu; Dafa Li; Bin Jiang; Jianyi Zhou; Tao Wei; Xinliang Yao (J. Intell. Robotic Syst., 2022)

Partition GHZ SLOCC class of three qubits into ten families under LU. - Dafa Li (Quantum Inf. Comput., 2023)

A relation among tangle, 3-tangle, and von Neumann entropy of entanglement for three qubits. - Dafa Li; Maggie Xiaoyan Cheng; Xiangrong Li; Shuwang Li (Quantum Inf. Process., 2023)

Classification of large black holes. - Dafa Li; Maggie Xiaoyan Cheng; Xiongrong Li; Shuwany Li (Quantum Inf. Comput., 2024)

The necessary and sufficient condition for the uniqueness of Schmidt decomposition and the necessary condition for the maximal von Neumann entanglement entropy. - Dafa Li; Maggie Xiaoyan Cheng; Xiangrong Li; Shuwany Li (Quantum Inf. Comput., 2024)