Dafa Li

Orcid: 0000-0003-4405-7095

According to our database1, Dafa Li authored at least 18 papers between 2000 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A relation among tangle, 3-tangle, and von Neumann entropy of entanglement for three qubits.
Quantum Inf. Process., 2023

Partition GHZ SLOCC class of three qubits into ten families under LU.
Quantum Inf. Comput., 2023

2022
MGBM-YOLO: a Faster Light-Weight Object Detection Model for Robotic Grasping of Bolster Spring Based on Image-Based Visual Servoing.
J. Intell. Robotic Syst., 2022

Simplifying the axiomatization for the order affine geometry.
CoRR, 2022

2021
Reducing the detection of genuine entanglement of n qubits to two qubits.
Quantum Inf. Process., 2021

Research on power coupling characteristics and acceleration strategy of electro-hydrostatic hydraulic hybrid power system.
J. Syst. Control. Eng., 2021

2020
Entanglement classification via integer partitions.
Quantum Inf. Process., 2020

2019
Detection of genuine <i>n</i>-qubit entanglement via the proportionality of two vectors.
Quantum Inf. Process., 2019

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.
Quantum Inf. Process., 2018

SLOCC classification of <i>n</i> qubits invoking the proportional relationships for spectrums and standard Jordan normal forms.
Quantum Inf. Process., 2018

2012
The <i>n</i>-tangle of odd <i>n</i> qubits.
Quantum Inf. Process., 2012

2009
Slocc classification for nine families of four-qubits.
Quantum Inf. Comput., 2009

Resolution with Limited Factoring.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2009

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

2004
The equality axioms are not independent.
SIGACT News, 2004

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

Using the prover ANDP to simplify orthogonality.
Ann. Pure Appl. Log., 2003

2000
Simplifying von Plato's Axiomatization of Constructive Apartness Geometry.
Ann. Pure Appl. Log., 2000


  Loading...