| |
| 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) | |
| 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] |