| 2002 |
|---|
| 3 | EE | J. Robert von Behren,
Eric A. Brewer,
Nikita Borisov,
Michael Chen,
Matt Welsh,
Josh MacDonald,
Jeremy Lau,
David E. Culler:
Ninja: A Framework for Network Services.
USENIX Annual Technical Conference, General Track 2002: 87-102 |
| 1998 |
|---|
| 2 | EE | James Shin Young,
Josh MacDonald,
Michael Shilman,
Abdallah Tabbara,
Paul N. Hilfinger,
A. Richard Newton:
Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement.
DAC 1998: 70-75 |
| 1 | EE | Josh MacDonald,
Paul N. Hilfinger,
Luigi Semenzato:
PRCS: The Project Revision Control System.
SCM 1998: 33-45 |
