Storage Alternatives for Mobile Computers. - Fred Douglis; Ramón Cáceres; M. Frans Kaashoek; P. Krishnan; Kai Li 001; Brian Marsh; Joshua A. Tauber (Mobidata, 1994)

Storage Alternatives for Mobile Computers. - Fred Douglis; Ramón Cáceres; M. Frans Kaashoek; Kai Li 001; Brian Marsh; Joshua A. Tauber (OSDI, 1994)

Dynamic Documents: Mobile Wireless Access to the WWW. - M. Frans Kaashoek; Thomas Pinckney; Joshua A. Tauber (WMCSA, 1994)

Rover: A Toolkit for Mobile Information Access. - Anthony D. Joseph; Alan F. deLespinasse; Joshua A. Tauber; David K. Gifford; M. Frans Kaashoek (SOSP, 1995)

Mobile Computing with the Rover Toolkit. - Anthony D. Joseph; Joshua A. Tauber; M. Frans Kaashoek (IEEE Trans. Computers, 1997)

Compiling IOA without Global Synchronization. - Joshua A. Tauber; Nancy A. Lynch; Michael J. Tsai (NCA, 2004)

Proving Atomicity: An Assertional Approach. - Gregory V. Chockler; Nancy A. Lynch; Sayan Mitra; Joshua A. Tauber (DISC, 2005)

Verifiable compilation of input-output automata without global synchronization. - Joshua A. Tauber (2005)

Automated implementation of complex distributed algorithms specified in the IOA language. - Chryssis Georgiou; Nancy A. Lynch; Panayiotis Mavrommatis; Joshua A. Tauber (Int. J. Softw. Tools Technol. Transf., 2009)