Zheng Yuhua

	1997
4		Raymond Reiter, Zheng Yuhua: Scheduling in the Situation Calculus: A Case Study. Ann. Math. Artif. Intell. 21(2-4): 397-421 (1997)
	1995
3		Xie Li, Du Xing, Chen Jun, Zheng Yuhua, Sun Zhongxiu: An Introduction to Intelligent Operating System KZ2. Operating Systems Review 29(1): 29-46 (1995)
	1994
2		Zheng Yuhua, Chaochen Zhou: A Formal Proof of the Deadline Driven Scheduler. FTRTFT 1994: 756-775
	1993
1		Zheng Yuhua, Tu Honglei, Xie Li: And/Or Parallel Execution of Logic Programs: Exploiting Dependent And-Parallelism. SIGPLAN Notices 28(5): 19-28 (1993)

Coauthor Index

1	Tu Honglei	[1]
2	Chen Jun	[3]
3	Xie Li	[1] [3]
4	Raymond Reiter	[4]
5	Du Xing	[3]
6	Sun Zhongxiu	[3]
7	Chaochen Zhou (Zhou Chaochen)	[2]

Colors in the list of coauthors