Joshua A. Tauber

According to our database, Joshua A. Tauber authored at least 9 papers between 1994 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

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

2005

Verifiable compilation of input-output automata without global synchronization.

Joshua A. Tauber

PhD thesis, 2005

Proving Atomicity: An Assertional Approach.

Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber

Proceedings of the Distributed Computing, 19th International Conference, 2005

2004

Compiling IOA without Global Synchronization.

Joshua A. Tauber, Nancy A. Lynch, Michael J. Tsai

Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

1997

Mobile Computing with the Rover Toolkit.

Anthony D. Joseph, Joshua A. Tauber, M. Frans Kaashoek

IEEE Trans. Computers, 1997

1995

Rover: A Toolkit for Mobile Information Access.

Anthony D. Joseph, Alan F. deLespinasse, Joshua A. Tauber, David K. Gifford, M. Frans Kaashoek

Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

1994

Dynamic Documents: Mobile Wireless Access to the WWW.

M. Frans Kaashoek, Thomas Pinckney, Joshua A. Tauber

Proceedings of the First Workshop on Mobile Computing Systems and Applications, 1994

Storage Alternatives for Mobile Computers.

Fred Douglis, Ramón Cáceres, M. Frans Kaashoek, Kai Li, Brian Marsh, Joshua A. Tauber

Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

Storage Alternatives for Mobile Computers.

Fred Douglis, Ramón Cáceres, M. Frans Kaashoek, P. Krishnan, Kai Li, Brian Marsh, Joshua A. Tauber

Proceedings of the Mobile Computing [Mobidata Workshop on Mobile and Wireless Information Systems, Rutgers University, NJ, USA, October 31, 1994