 | 2009 |
|---|
| 7 |       | Chryssis Georgiou,
Nancy A. Lynch,
Panayiotis Mavrommatis,
Joshua A. Tauber:
Automated implementation of complex distributed algorithms specified in the IOA language.
STTT 11(2): 153-171 (2009) |
| 2005 |
|---|
| 6 | | Gregory Chockler,
Nancy A. Lynch,
Sayan Mitra,
Joshua A. Tauber:
Proving Atomicity: An Assertional Approach.
DISC 2005: 152-168 |
| 5 |  | Chryssis Georgiou,
Nancy A. Lynch,
Panayiotis Mavrommatis,
Joshua A. Tauber:
Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language.
ISCA PDCS 2005: 128-134 |
| 2004 |
|---|
| 4 | | Joshua A. Tauber,
Nancy A. Lynch,
Michael J. Tsai:
Compiling IOA without Global Synchronization.
NCA 2004: 121-130 |
| 1997 |
|---|
| 3 | | Anthony D. Joseph,
Joshua A. Tauber,
M. Frans Kaashoek:
Mobile Computing with the Rover Toolkit.
IEEE Trans. Computers 46(3): 337-352 (1997) |
| 1995 |
|---|
| 2 | | Anthony D. Joseph,
Alan F. deLespinasse,
Joshua A. Tauber,
David K. Gifford,
M. Frans Kaashoek:
Rover: A Toolkit for Mobile Information Access.
SOSP 1995: 156-171 |
| 1994 |
|---|
| 1 | | Fred Douglis,
Ramón Cáceres,
M. Frans Kaashoek,
Kai Li,
Brian Marsh,
Joshua A. Tauber:
Storage Alternatives for Mobile Computers.
OSDI 1994: 25-37 |
