| 2003 | ||
|---|---|---|
| 7 | EE | Seth Hallem, David Park, Dawson R. Engler: Uprooting Software Defects at the Source. ACM Queue 1(8): 64-71 (2003) |
| 1983 | ||
| 6 | David Park: Reasoning with Fairness Constraints. FCT 1983: 516-517 | |
| 1981 | ||
| 5 | David Park: Concurrency and Automata on Infinite Sequences. Theoretical Computer Science 1981: 167-183 | |
| 1979 | ||
| 4 | David Park: On the Semantics of Fair Parallelism. Abstract Software Specifications 1979: 504-526 | |
| 3 | Akira Kanda, David Park: When are two Effectively given Domains Identical?. Theoretical Computer Science 1979: 170-181 | |
| 1976 | ||
| 2 | David Park: Finiteness is Mu-Ineffable. Theor. Comput. Sci. 3(2): 173-181 (1976) | |
| 1972 | ||
| 1 | Peter Hitchcock, David Park: Induction Rules and Termination Proofs. ICALP 1972: 225-251 | |
| 1 | Dawson R. Engler | [7] |
| 2 | Seth Hallem | [7] |
| 3 | Peter Hitchcock | [1] |
| 4 | Akira Kanda | [3] |