CJTCS Volume 1996

• 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