Fault-Tolerant Multicast Routing in the Mesh with No Virtual Channels. - Ran Libeskind-Hadas; Kevin Watkins; Thomas Hehre (HPCA, 1996)

On Regions and Linear Types. - David Walker 001; Kevin Watkins (ICFP, 2001)

A Concurrent Logical Framework: The Propositional Fragment. - Kevin Watkins; Iliano Cervesato; Frank Pfenning; David Walker 001 (TYPES, 2003)

Specifying Properties of Concurrent Computations in CLF. - Kevin Watkins; Iliano Cervesato; Frank Pfenning; David Walker 001 (LFM@IJCAR, 2004)

Monadic concurrent linear logic programming. - Pablo López; Frank Pfenning; Jeff Polakow; Kevin Watkins (PPDP, 2005)