A New Method for Computing Preferred Extensions. - Xindi Zhang; Xiaojie Xie; Yancen Pan; Dangdang Niu; Shuai Lü 001 (ICIIP, 2017)

VisDrone-DET2019: The Vision Meets Drone Object Detection in Image Challenge Results. - Dawei Du; Yue Zhang 011; Zexin Wang 003; Zhikang Wang; Zichen Song; Ziming Liu; Liefeng Bo; Hailin Shi; Rui Zhu 005; Aashish Kumar; Aijin Li; Almaz Zinollayev; et al. (ICCV Workshops, 2019)

Dense and Small Object Detection in UAV Vision Based on Cascade Network. - Xindi Zhang; Ebroul Izquierdo; Krishna Chandramouli (ICCV Workshops, 2019)

Critical Infrastructure Security Against Drone Attacks Using Visual Analytics. - Xindi Zhang; Krishna Chandramouli (ICVS, 2019)

Real-Time Multi-Target Multi-Camera Tracking with Spatial-Temporal Information. - Xindi Zhang; Ebroul Izquierdo (VCIP, 2019)

Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. - Shaowei Cai 001; Xindi Zhang (CP, 2020)

Physical Security Detectors for Critical Infrastructures Against New-Age Threat of Drones and Human Intrusion. - Xindi Zhang; Krishna Chandramouli; Dusan Gabrijelcic; Theodore B. Zahariadis; Gabriele Giunta (ICME Workshops, 2020)

NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. - Bohan Li 002; Xindi Zhang; Shaowei Cai 001; Jinkun Lin; Yiyuan Wang 002; Christian Blum 001 (IJCAI, 2020)

Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). - Shaowei Cai 001; Chuan Luo 002; Xindi Zhang; Jian Zhang 001 (CP, 2021)

SCAT: Stride Consistency with Auto-regressive regressor and Transformer for hand pose estimation. - Daiheng Gao; Bang Zhang; Qi Wang; Xindi Zhang; Pan Pan; Yinghui Xu (ICCVW, 2021)

Deep Cooperation of CDCL and Local Search for SAT. - Shaowei Cai 001; Xindi Zhang (SAT, 2021)

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. - Xindi Zhang; Bohan Li 002; Shaowei Cai 001; Yiyuan Wang 002 (J. Artif. Intell. Res., 2021)

Autonomous long-range drone detection system for critical infrastructure safety. - Xindi Zhang; Kusrini Kusrini (Multim. Tools Appl., 2021)

Local Search for SMT on Linear Integer Arithmetic. - Shaowei Cai 001; Bohan Li 002; Xindi Zhang (CAV (2), 2022)

Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract). - Shaowei Cai 001; Xindi Zhang (IJCAI, 2022)

CycleHand: Increasing 3D Pose Estimation Ability on In-the-wild Monocular Image through Cyclic Flow. - Daiheng Gao; Xindi Zhang; Xingyu Chen; Andong Tan; Bang Zhang; Pan Pan; Ping Tan (ACM Multimedia, 2022)

Better Decision Heuristics in CDCL through Local Search and Target Phases. - Shaowei Cai 001; Xindi Zhang; Mathias Fleury; Armin Biere (J. Artif. Intell. Res., 2022)

Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking. - Zhihan Chen; Xindi Zhang; Yuhang Qian; Qiang Xu 001; Shaowei Cai 001 (ICCAD, 2023)

RenderIH: A Large-scale Synthetic Dataset for 3D Interacting Hand Pose Estimation. - Lijun Li; Linrui Tian; Xindi Zhang; Qi Wang; Bang Zhang; Liefeng Bo; Mengyuan Liu; Chen Chen 001 (ICCV, 2023)

RenderIH: A Large-scale Synthetic Dataset for 3D Interacting Hand Pose Estimation. - Lijun Li; Linrui Tian; Xindi Zhang; Qi Wang; Bang Zhang; Mengyuan Liu; Chen Chen 001 (CoRR, 2023)

Local Search For Satisfiability Modulo Integer Arithmetic Theories. - Shaowei Cai 001; Bohan Li 002; Xindi Zhang (ACM Trans. Comput. Log., 2023)

Cloth2Tex: A Customized Cloth Texture Generation Pipeline for 3D Virtual Try-On. - Daiheng Gao; Xu Chen; Xindi Zhang; Qi Wang; Ke Sun; Bang Zhang; Liefeng Bo; Qixing Huang (3DV, 2024)

A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver. - Zhiteng Chao; Xindi Zhang; Junying Huang; Jing Ye 001; Shaowei Cai 001; Huawei Li 001; Xiaowei Li 001 (ASPDAC, 2024)

Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory. - Xindi Zhang; Bohan Li 002; Shaowei Cai 001 (ICSE, 2024)

A fast local search algorithm for minimum sum coloring problem on massive graphs. - Yan Li; Mengyu Zhao; Xindi Zhang; Yiyuan Wang 002 (Comput. Oper. Res., 2024)

Revisiting Restarts of CDCL: Should the Search Information be Preserved? - Xindi Zhang; Zhihan Chen; Shaowei Cai 001 (CoRR, 2024)

OutfitAnyone: Ultra-high Quality Virtual Try-On for Any Clothing and Any Person. - Ke Sun; Jian Cao; Qi Wang; Linrui Tian; Xindi Zhang; Lian Zhuo; Bang Zhang; Liefeng Bo; Wenbo Zhou; Weiming Zhang 001; Daiheng Gao (CoRR, 2024)

Embracing the Metaverse: A Survey of Virtual Reality and Augmented Reality Practices at the United States' Top One Hundred University Libraries. - Yajun Guo; Shuai Li; Xindi Zhang; Yiyang Fu; Yiming Yuan; Yanquan Liu (Coll. Res. Libr., 2024)

Trajectory planning for airborne radar in extended target tracking based on deep reinforcement learning. - Hongyun Zhang; Hui Chen; Wenxu Zhang; Xindi Zhang (Digit. Signal Process., 2024)

Ultrasensitive Label-Free Biosensor for Triglyceride Detection Based on Exposed-Core Optical Fiber. - Xindi Zhang; Xue Zhou; Yanan Zhang; Yong Zhao 005; Linh Viet Nguyen; Stephen C. Warren-Smith; Xuegang Li (IEEE Trans. Instrum. Meas., 2024)

DynamicSAT: Dynamic Configuration Tuning for SAT Solving. - Zhengyuan Shi; Wentao Jiang; Xindi Zhang; Jin Luo; Yun Liang 001; Zhufei Chu; Qiang Xu 001 (CP, 2025)

A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow. - Zhiteng Chao; Xindi Zhang; Junying Huang; Zizhen Liu; Yixuan Zhao; Jing Ye 001; Shaowei Cai 001; Huawei Li 001; Xiaowei Li 001 (Integr., 2025)

Highly Sensitive Fiber Optic Sensor for Simultaneous Refractive Index and Temperature Measurement Using Suspended Core Fiber. - Xindi Zhang; Xue Zhou; Yanan Zhang; Linh Viet Nguyen; Yong Zhao 005; Stephen C. Warren-Smith; Xuegang Li (IEEE Trans. Instrum. Meas., 2025)

Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization. - Zhihan Chen; Xindi Zhang; Yuhang Qian; Shaowei Cai 001 (CoRR, 2025)

MirrorMe: Towards Realtime and High Fidelity Audio-Driven Halfbody Animation. - Dechao Meng; Steven Xiao; Xindi Zhang; Guangyuan Wang; Peng Zhang 080; Qi Wang; Bang Zhang; Liefeng Bo (CoRR, 2025)