| 2009 | ||
|---|---|---|
| j2 | 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 | ||
| c5 | 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 | |
| c4 | Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber: Proving Atomicity: An Assertional Approach. DISC 2005: 152-168 | |
| 2004 | ||
| c3 | Joshua A. Tauber, Nancy A. Lynch, Michael J. Tsai: Compiling IOA without Global Synchronization. NCA 2004: 121-130 | |
| 1997 | ||
| j1 | Anthony D. Joseph, Joshua A. Tauber, M. Frans Kaashoek: Mobile Computing with the Rover Toolkit. IEEE Trans. Computers 46(3): 337-352 (1997) | |
| 1995 | ||
| c2 | 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 | ||
| c1 | 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 | |
Data released under the ODC-BY 1.0 license — See also our legal information page