Dongchen Jiang

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 8

Top Topics

Finite Automata

Hypothesis Testing

Chinese Word Segmentation

Multi Label Image Annotation

Top Venues

Sci. China Inf. Sci.

Publications

Dongchen Jiang, Chenxi Fu
Type Inference for Isabelle2Cpp. CoRR (2024)
Yu Yan, Dongchen Jiang
Multi-Task Learning for Suicide Risk Detection on Chinese Dialogue. BIBM (2023)
Dongchen Jiang, Aoyuan Jiang, Shuai Tang
An adaptive method for Chinese new word detection based on hypothesis testing. Pattern Anal. Appl. 25 (4) (2022)
Dongchen Jiang, Bo Xu
Generation of C++ Code from Isabelle/HOL Specification. Int. J. Softw. Eng. Knowl. Eng. 32 (7) (2022)
Jie Luo, Yifei Wang, Dongchen Jiang
Rule-based hidden relation recognition for large scale knowledge graphs. Pattern Recognit. Lett. 125 (2019)
Dongchen Jiang, Xiaoyu Chen, Xin Yang
A Chinese New Word Detection Approach Based on Independence Testing. AISC (2018)
Dongchen Jiang, Wei Li
The verification of conversion algorithms between finite automata. Sci. China Inf. Sci. 61 (2) (2018)
Dongchen Jiang, Wei Li
Revision with probability. J. Symb. Comput. 80 (2017)
Dongchen Jiang, Yihua Lou, Yi Jin, Jie Luo, Wei Li
A representative model based algorithm for maximal contractions. Sci. China Inf. Sci. 56 (1) (2013)
Dongchen Jiang, Wei Li, Jie Luo, Yihua Lou, Zhengzhong Liao
A decomposition based algorithm for maximal contractions. Frontiers Comput. Sci. 7 (6) (2013)
Dongchen Jiang, Tobias Nipkow
Proof Pearl: The Marriage Theorem. CPP (2011)
Wei Li, Wenqi Huang, Dongchen Jiang, Xianglong Liu
A heuristic algorithm for cube packing with time schedule. Sci. China Inf. Sci. 53 (1) (2010)
Dongchen Jiang, Tobias Nipkow
Hall's Marriage Theorem. Arch. Formal Proofs 2010 (2010)
Yi Jin, Gang Zhou, Dongchen Jiang, Shuai Yuan, Lili Wang, Jianting Cao
Theoretical mean-variance relationship of IP network traffic based on ON/OFF model. Sci. China Ser. F Inf. Sci. 52 (4) (2009)
Yi Jin, Dongchen Jiang, Shuai Yuan, Jianting Cao, Lili Wang, Gang Zhou
OD Count Estimation Based on Link Count Data. APNOMS (2008)