Joshua A. Tauber

Publication Activity (10 Years)

Years Active: 1994-2009
Publications (10 Years): 0

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber
Automated implementation of complex distributed algorithms specified in the IOA language. Int. J. Softw. Tools Technol. Transf. 11 (2) (2009)
Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber
Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language. PDCS (2005)
Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber
Proving Atomicity: An Assertional Approach. DISC (2005)
Joshua A. Tauber, Nancy A. Lynch, Michael J. Tsai
Compiling IOA without Global Synchronization. NCA (2004)
Anthony D. Joseph, Joshua A. Tauber, M. Frans Kaashoek
Mobile Computing with the Rover Toolkit. IEEE Trans. Computers 46 (3) (1997)
Anthony D. Joseph, Alan F. deLespinasse, Joshua A. Tauber, David K. Gifford, M. Frans Kaashoek
Rover: A Toolkit for Mobile Information Access. SOSP (1995)
Fred Douglis, Ramón Cáceres, M. Frans Kaashoek, Kai Li, Brian Marsh, Joshua A. Tauber
Storage Alternatives for Mobile Computers. OSDI (1994)
Fred Douglis, Ramón Cáceres, M. Frans Kaashoek, P. Krishnan, Kai Li, Brian Marsh, Joshua A. Tauber
Storage Alternatives for Mobile Computers. Mobidata (1994)
M. Frans Kaashoek, Thomas Pinckney, Joshua A. Tauber
Dynamic Documents: Mobile Wireless Access to the WWW. WMCSA (1994)