| |
| 2006 | ||
|---|---|---|
| 4 | EE | Arthur Charlesworth: Comprehending software correctness implies comprehending an intelligence-related limitation. ACM Trans. Comput. Log. 7(3): 590-612 (2006) |
| 2005 | ||
| 3 | Doug Szajda, Jason Owen, Barry G. Lawson, Arthur Charlesworth, Ed Kenney: An Alternate Multiplicity-2 Task Assignment Scheme for Distributed Computations. PDPTA 2005: 59-65 | |
| 2002 | ||
| 2 | EE | Arthur Charlesworth: The undecidability of associativity and commutativity analysis. ACM Trans. Program. Lang. Syst. 24(5): 554-565 (2002) |
| 1987 | ||
| 1 | EE | Arthur Charlesworth: The Multiway Rendezvous. ACM Trans. Program. Lang. Syst. 9(3): 350-366 (1987) |
| 1 | Ed Kenney | [3] |
| 2 | Barry Lawson (Barry G. Lawson) | [3] |
| 3 | Jason Owen | [3] |
| 4 | Doug Szajda | [3] |