Lower bounds on sizes of cutting plane proofs for modular coloring principles. - Xudong Fu (Proof Complexity and Feasible Arithmetics, 1996)

Modular Coloring Formulas Are Hard for Cutting Planes Proofs. - Xudong Fu (STOC, 1996)

Simplified Lower Bounds for Propositional Proofs. - Alasdair Urquhart; Xudong Fu (Notre Dame J. Formal Log., 1996)

On the complexity of proof systems. - Xudong Fu (1996)

Matroids with the Circuit Cover Property. - Xudong Fu; Luis A. Goddyn (Eur. J. Comb., 1999)

A common parallel computing framework for modeling hydrological processes of river basins. - Hao Wang; Xudong Fu; Guangqian Wang; Tiejian Li; Jie Gao (Parallel Comput., 2011)

Maximum speedup ratio curve (MSC) in parallel computing of the binary-tree-based drainage network. - Hao Wang; Yu Zhou 003; Xudong Fu; Jie Gao; Guangqian Wang (Comput. Geosci., 2012)

Multi-tree Coding Method (MCM) for drainage networks supporting high-efficient search. - Hao Wang; Xudong Fu; Guangqian Wang (Comput. Geosci., 2013)

A High-performance temporal-spatial discretization method for the parallel computing of river basins. - Hao Wang; Xudong Fu; Yuanjian Wang; Guangqian Wang (Comput. Geosci., 2013)

Conceptual Model for Simulating the Adjustments of Bankfull Characteristics in the Lower Yellow River, China. - Yuanjian Wang; Xudong Fu; Guangqian Wang (J. Appl. Math., 2014)

Variable-Weighted Linear Combination Model for Landslide Susceptibility Mapping: Case Study in the Shennongjia Forestry District, China. - Wei Chen 051; Hongxing Han; Bin Huang; Qile Huang; Xudong Fu (ISPRS Int. J. Geo Inf., 2017)

A D8-compatible high-efficient channel head recognition method. - Li Jiaye; Tiejian Li; Li Zhang; Bellie Sivakumar; Xudong Fu; Yuefei Huang; Rui Bai (Environ. Model. Softw., 2020)

A pencil distributed direct numerical simulation solver with versatile treatments for viscous term. - Zheng Gong; Xudong Fu (Comput. Math. Appl., 2021)

A high order finite difference solver for simulations of turbidity currents with high parallel efficiency. - Zheng Gong; Gefei Deng; Chenge An; Zi Wu; Xudong Fu (Comput. Math. Appl., 2022)

Automatic Extraction of Mountain River Surface and Width Based on Multisource High-Resolution Satellite Images. - Yuan Xue; Chao Qin; Baosheng Wu; Dan Li 027; Xudong Fu (Remote. Sens., 2022)

CP3d: A comprehensive Euler-Lagrange solver for direct numerical simulation of particle-laden flows. - Zheng Gong; Zi Wu; Chenge An; Bangwen Zhang; Xudong Fu (Comput. Phys. Commun., 2023)