OD Count Estimation Based on Link Count Data. - Yi Jin; Dongchen Jiang; Shuai Yuan; Jianting Cao; Lili Wang; Gang Zhou (APNOMS, 2008)

Theoretical mean-variance relationship of IP network traffic based on ON/OFF model. - Yi Jin; Gang Zhou; Dongchen Jiang; Shuai Yuan; Lili Wang; Jianting Cao (Sci. China Ser. F Inf. Sci., 2009)

Hall's Marriage Theorem. - Dongchen Jiang; Tobias Nipkow (Arch. Formal Proofs, 2010)

A heuristic algorithm for cube packing with time schedule. - Wei Li 022; WenQi Huang 001; Dongchen Jiang; Xianglong Liu 001 (Sci. China Inf. Sci., 2010)

Proof Pearl: The Marriage Theorem. - Dongchen Jiang; Tobias Nipkow (CPP, 2011)

A representative model based algorithm for maximal contractions. - Dongchen Jiang; Yihua Lou; Yi Jin; Jie Luo 004; Wei Li 022 (Sci. China Inf. Sci., 2013)

A decomposition based algorithm for maximal contractions. - Dongchen Jiang; Wei Li 022; Jie Luo 004; Yihua Lou; Zhengzhong Liao (Frontiers Comput. Sci., 2013)

Revision with probability. - Dongchen Jiang; Wei Li 022 (J. Symb. Comput., 2017)

A Chinese New Word Detection Approach Based on Independence Testing. - Dongchen Jiang; Xiaoyu Chen 001; Xin Yang (AISC, 2018)

The verification of conversion algorithms between finite automata. - Dongchen Jiang; Wei Li 022 (Sci. China Inf. Sci., 2018)

Rule-based hidden relation recognition for large scale knowledge graphs. - Jie Luo 004; Yifei Wang; Dongchen Jiang (Pattern Recognit. Lett., 2019)

Generation of C++ Code from Isabelle/HOL Specification. - Dongchen Jiang; Bo Xu (Int. J. Softw. Eng. Knowl. Eng., 2022)

An adaptive method for Chinese new word detection based on hypothesis testing. - Dongchen Jiang; Aoyuan Jiang; Shuai Tang (Pattern Anal. Appl., 2022)

Multi-Task Learning for Suicide Risk Detection on Chinese Dialogue. - Yu Yan; Dongchen Jiang (BIBM, 2023)

A Weakly Supervised Chinese Named Entity Recognition Method Combining First-Order Logic. - Xi Tang; Dongchen Jiang (IEEE Access, 2024)

Type Inference for Isabelle2Cpp. - Dongchen Jiang; Chenxi Fu (CoRR, 2024)

Long-short Term Cross Echo State Network for time series forecasting task. - Dongchen Jiang; Li Cui; Yi Zeng; Meiming You; Guoqiang Wang (Appl. Soft Comput., 2025)