| 1990 | ||
|---|---|---|
| 5 | Vijay A. Saraswat, Kenneth M. Kahn, Jacob Levy: Janus: A step towards distributed constraint programming. NACLP 1990: 431-446 | |
| 1987 | ||
| 4 | Mark S. Miller, Daniel G. Bobrow, Eric Dean Tribble, Jacob Levy: Logical Secrets. ICLP 1987: 704-728 | |
| 1986 | ||
| 3 | Jacob Levy: A GHC Abstract Machine and Instruction Set. ICLP 1986: 157-171 | |
| 2 | Jacob Levy: Shared Memory Execution of Committed-choice Languages. ICLP 1986: 298-312 | |
| 1984 | ||
| 1 | Jacob Levy: A Unification Algorithm for Concurrent Prolog. ICLP 1984: 333-341 | |
| 1 | Daniel G. Bobrow | [4] |
| 2 | Kenneth M. Kahn | [5] |
| 3 | Mark S. Miller | [4] |
| 4 | Vijay A. Saraswat | [5] |
| 5 | Eric Dean Tribble | [4] |