Dongchen Jiang

According to our database, Dongchen Jiang authored at least 16 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Type Inference for Isabelle2Cpp.

Dongchen Jiang, Chenxi Fu

CoRR, 2024

A Weakly Supervised Chinese Named Entity Recognition Method Combining First-Order Logic.

Xi Tang, Dongchen Jiang

IEEE Access, 2024

2023

Multi-Task Learning for Suicide Risk Detection on Chinese Dialogue.

Yu Yan, Dongchen Jiang

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

2022

An adaptive method for Chinese new word detection based on hypothesis testing.

Dongchen Jiang, Aoyuan Jiang, Shuai Tang

Pattern Anal. Appl., 2022

Generation of C++ Code from Isabelle/HOL Specification.

Dongchen Jiang, Bo Xu

Int. J. Softw. Eng. Knowl. Eng., 2022

2019

Rule-based hidden relation recognition for large scale knowledge graphs.

Jie Luo, Yifei Wang, Dongchen Jiang

Pattern Recognit. Lett., 2019

2018

The verification of conversion algorithms between finite automata.

Dongchen Jiang, Wei Li

Sci. China Inf. Sci., 2018

A Chinese New Word Detection Approach Based on Independence Testing.

Dongchen Jiang, Xiaoyu Chen, Xin Yang

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

Revision with probability.

Dongchen Jiang, Wei Li

J. Symb. Comput., 2017

2013

A decomposition based algorithm for maximal contractions.

Dongchen Jiang, Wei Li, Jie Luo, Yihua Lou, Zhengzhong Liao

Frontiers Comput. Sci., 2013

A representative model based algorithm for maximal contractions.

Dongchen Jiang, Yihua Lou, Yi Jin, Jie Luo, Wei Li

Sci. China Inf. Sci., 2013

2011

Proof Pearl: The Marriage Theorem.

Dongchen Jiang, Tobias Nipkow

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010

A heuristic algorithm for cube packing with time schedule.

Wei Li, Wenqi Huang, Dongchen Jiang, Xianglong Liu

Sci. China Inf. Sci., 2010

Hall's Marriage Theorem.

Dongchen Jiang, Tobias Nipkow

Arch. Formal Proofs, 2010

2009

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

2008

OD Count Estimation Based on Link Count Data.

Yi Jin, Dongchen Jiang, Shuai Yuan, Jianting Cao, Lili Wang, Gang Zhou

Proceedings of the Challenges for Next Generation Network Operations and Service Management, 2008