Dawei Du

	2008
3		Haihe Shi, Jinyun Xue, Dawei Du: A Mechanical Approach for Deriving Algorithmic Programs. ACIS-ICIS 2008: 483-487
2		Haihe Shi, Dawei Du, Jinyun Xue: Generating Algorithms plus Loop Invariants by Formal Derivation. ACIS-ICIS 2008: 496-501
1		Keh-Hsun Chen, Dawei Du, Peigang Zhang: A Fast Indexing Method for Monte-Carlo Go. Computers and Games 2008: 92-101

Coauthor Index

1	Keh-Hsun Chen	[1]
2	Haihe Shi	[2] [3]
3	Jinyun Xue	[2] [3]
4	Peigang Zhang	[1]

Colors in the list of coauthors