2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LO2026
Automatic constraint satisfaction problem
Andrei Bulatov, Xiaoyang Gong, Bakh Khoussainov +1
We study constraint satisfaction problems (CSPs) where the constraint languages are defined by finite automata, giving rise to automata-based CSPs. The key notion is the concept of…
cs.CR2021
CryptoEmu: An Instruction Set Emulator for Computation Over Ciphers
Xiaoyang Gong, Dan Negrut
Fully homomorphic encryption (FHE) allows computations over encrypted data. This technique makes privacy-preserving cloud computing a reality. Users can send their encrypted sensit…
quant-ph2017★ 2 cited
Equivalence of Local Complementation and Euler Decomposition in the Qutrit ZX-calculus
Xiaoyan Gong, Quanlong Wang
In this paper, we give a modified version of the qutrit ZX-calculus, by which we represent qutrit graph states as diagrams and prove that the qutrit version of local complementatio…