Login / Signup
Ming-Cui Li
Publication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 1
Top Topics
Mutual Exclusion
Storage Requirements
Temporal Logic
Bounded Model Checking
Top Venues
Inf. Sci.
J. Circuits Syst. Comput.
Quantum Inf. Process.
</>
Publications
</>
Ming-Cui Li
,
Ai-Xi Chen
Elementary quantum gates between long-distance qubits mediated by a resonator.
Quantum Inf. Process.
19 (10) (2020)
Ming-Cui Li
,
Ri-Gui Zhou
Novel Synthesis Methodology for Fault Tolerant Reversible Circuits by Bounded Model Checking for Linear Temporal Logic.
J. Circuits Syst. Comput.
24 (6) (2015)
Hai-Sheng Li
,
Qingxin Zhu
,
Ri-Gui Zhou
,
Ming-Cui Li
,
Lan Song
,
Hou Ian
Multidimensional color image storage, retrieval, and compression based on quantum amplitudes and phases.
Inf. Sci.
273 (2014)