( en | de | ru )

 

Disambiguation of "Luo, Jie"

Author of the publication

copydeleteadd this publication to your clipboard
An Algorithm to Compute Minimal Unsatisfiable Subsets for a Decidable Fragment of First-Order Formulas.

, and . ICTAI, page 444-451. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jie Luo

Zhou Jie

Yucheng Jie

Jia Luo

Yongxiang Luo

 

Other publications of authors with the same name

Retrieval of Crystallographically-Derived Molecular Geometry Information., , , , , , , , , and 1 other author(s). Journal of Chemical Information and Modeling, 44 (6): 2133-2144 (2004)A Bi-objective Optimization Model for Interactive Face Retrieval., , , , and . MMM (2), volume 6524 of Lecture Notes in Computer Science, page 393-400. Springer, (2011)On the throughput, capacity, and stability regions of random multiple access., and . IEEE Trans. Inf. Theory, 52 (6): 2593-2607 (2006)MI-VANET: A New Mobile Infrastructure Based VANET Architecture for Urban Environment., , , and . VTC Fall, page 1-5. IEEE, (2010)Time-wavelength-mode equalization by PSO for random fiber laser based FMF Raman amplifier., , , , , and . OFC, page 1-3. IEEE, (2020)Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?, , , , , , , , , and 1 other author(s). CoRR, (2020)A Prototype for Software Refactoring Recommendation System., , , , and . Int. J. Perform. Eng., 16 (7): 1095-1104 (2020)A decomposition based algorithm for maximal contractions., , , , and . Frontiers Comput. Sci., 7 (6): 801-811 (2013)Non-rigid registration of 3D ultrasound for neurosurgery using automatic feature detection and matching., , , , , , , , , and 4 other author(s). Int. J. Comput. Assist. Radiol. Surg., 13 (10): 1525-1538 (2018)Effects of Future Information and Trajectory Complexity on Kinematic Signal and Muscle Activation during Visual-Motor Tracking., , , and . Entropy, 23 (1): 111 (2021)