Yuan Dong

	2009
13		Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang: Modular Certification of Low-Level Intermediate Representation Programs. COMPSAC (1) 2009: 563-570
12		Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong: Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. J. Autom. Reasoning 42(2-4): 301-347 (2009)
	2008
11		Zhongxuan Liu, Shiguo Lian, Yuan Dong, Haila Wang: Desynchronized image fingerprint for large scale distribution. ICIP 2008: 409-412
10		Shiguo Lian, Zhongxuan Liu, Yuan Dong, Haila Wang: On the joint audio fingerprinting and decryption scheme. ICME 2008: 261-264
9		Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo: Certifying low-level programs with hardware interrupts and preemptive threads. PLDI 2008: 170-182
8		Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong: Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. VSTTE 2008: 54-69
	2007
7		Jian Zhao, Yuan Dong, Xianyu Zhao, Hao Yang, Liang Lu, Haila Wang: Discussion on Score Normalization and Language Robustness in Text-Independent Multi-language Speaker Verification. ICIC (1) 2007: 1121-1130
6		Jing Li, Yuan Dong, Chengyu Dong, Haila Wang: Score Normalization Technique for Text-Prompted Speaker Verification with Chinese Digits. ICIC (2) 2007: 1082-1089
5		Shengyuan Wang, Yuan Dong: Improving Combinability of Petri Nets with Inheritance, Aggregation and Association. TASE 2007: 433-439
	2006
4		Yuan Dong, Amor Jnifene: Ibration Control of a Single Flexible-Link Flexible-Joint (FLFJ) Manipulator using Time Delay. CCECE 2006: 1176-1179
3		Chengyu Dong, Yuan Dong, Dezhi Huang, Jun Guo, Haila Wang: A Boosting Approach for Utterance Verification. ICIC (2) 2006: 1170-1176
2		Hao Yang, Yuan Dong, Xianyu Zhao, Jian Zhao, Haila Wang: Discriminative Transformation for Sufficient Adaptation in Text-Independent Speaker Verification. ISCSLP 2006: 558-565
	2004
1		Jia Chen, Shengyuan Wang, Yuan Dong, Gui-lan Dai, Yang Yang: A Functionality Based Instruction Level Software Power Estimation Model for Embedded RISC Processors. ICESS 2004: 443-448

Coauthor Index

1	Jia Chen	[1]
2	Gui-lan Dai	[1]
3	Chengyu Dong	[3] [6]
4	Xinyu Feng	[8] [9] [12]
5	Jun Guo	[3]
6	Yu Guo	[8] [9] [12]
7	Dezhi Huang	[3]
8	Amor Jnifene	[4]
9	Jing Li	[6]
10	Shiguo Lian	[10] [11]
11	Zhongxuan Liu	[10] [11]
12	Liang Lu	[7]
13	Zhong Shao	[8] [9] [12]
14	Haila Wang	[2] [3] [6] [7] [10] [11]
15	Shengyuan Wang	[1] [5] [13]
16	Hao Yang	[2] [7]
17	Ping Yang	[13]
18	Yang Yang	[1]
19	Liwei Zhang	[13]
20	Jian Zhao	[2] [7]
21	Xianyu Zhao	[2] [7]

Colors in the list of coauthors