Published by MIT Press. Copyright 1996 Massachusetts Institute of Technology.

Your institution may already be a subscriber to CJTCS. If not, please subscribe for legitimate access to all journal articles.

• 1996 Articles
  1. Rank Predicates vs. Progress Measures in Concurrent-Program Verification by Moshe Y. Vardi, 9 February 1996
  2. Sparse Hard Sets for P Yield Space-Efficient Algorithms by Mitsunori Ogihara, 27 March 1996
  3. Optimal Virtual Path Layout in ATM Networks with Shared Routing Table Switches by Ornan Gerstel, Israel Cidon, and Shmuel Zaks (Selected Papers from PODC 1994, David Peleg editor), 31 October 1996.
  4. Weakly Growing Context-Sensitive Grammars by Gerhard Buntrock and Gundula Niemann, 13 November 1996.
  5. Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write Atomicity by H. James Hoover and Piotr Rudnicki (Special Issue on Self-Stabilization, Shlomi Dolev and Jennifer Welch editors), 5 December 1996.
  6. Manhattan Channel Routing is NP-complete under Truly Restricted Settings by Martin Middendorf, 30 December 1996.
• 1996 Table of Contents
  • ASCII (869 bytes)
  • DVI (6,056 bytes)
  • PostScript (93,353 bytes)
  • Audio by AsTeR (to appear)
  • LaTeX (6,423 bytes)
  • Parameter settings for custom formatting (cjropts.tex, 77 bytes)
• 1996 Abstracts
  • ASCII (6,775 bytes)
  • DVI (14,420 bytes)
  • PostScript (130,719 bytes)
  • Audio by AsTeR (to appear)
  • LaTeX (12,831 bytes)
  • Parameter settings for custom formatting (cjropts.tex, 77 bytes)
• Instructions for Readers

Volume 1995

Volume 1997

Published articles

Last modified: Tue Nov 25 10:50:55 CST