| |
| 2005 | ||
|---|---|---|
| 4 | EE | Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins: Monadic concurrent linear logic programming. PPDP 2005: 35-46 |
| 2003 | ||
| 3 | EE | Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker: A Concurrent Logical Framework: The Propositional Fragment. TYPES 2003: 355-377 |
| 2001 | ||
| 2 | David Walker, Kevin Watkins: On Regions and Linear Types. ICFP 2001: 181-192 | |
| 1996 | ||
| 1 | EE | Ran Libeskind-Hadas, Kevin Watkins, Thomas Hehre: Fault-Tolerant Multicast Routing in the Mesh with No Virtual Channels. HPCA 1996: 180-190 |
| 1 | Iliano Cervesato | [3] |
| 2 | Thomas Hehre | [1] |
| 3 | Ran Libeskind-Hadas | [1] |
| 4 | Pablo López | [4] |
| 5 | Frank Pfenning | [3] [4] |
| 6 | Jeff Polakow (Jeffrey Polakow) | [4] |
| 7 | David Walker | [2] [3] |