The Chicago Journal of Theoretical Computer Science is a peer-reviewed scholarly journal in theoretical computer science. Articles are submitted and published in LaTeX source form, and distributed internationally over the InterNet. Articles are augmented by refereed forward references to improvements and subsequent related work. Readers may obtain articles through FTP, and HTTP (World Wide Web). Other widely used network tools will be supported as they arise in the future. The Journal is committed to minimizing publication delays, and to promoting maximum flexibility in the ways that readers use the journal for teaching, research, and scholarship. Readers' license is limited only as required to insure fair attribution to authors and the journal, and to prohibit use in a competing commercial product.

Journal Articles

• 1995 Articles
  1. Symmetric Logspace is Closed Under Complement by Noam Nisan and Amnon Ta-Shma, 30 June 1995.
  2. On the Weak mod m Representation of Boolean Functions by Vince Grolmusz, 21 July 1995.
  3. Rabin Measures by Nils Klarlund and Dexter Kozen, 20 September 1995.
  4. Probabilistically Checkable Debate Systems and Nonapproximability of PSPACE-Hard Functions by Anne Condon, Joan Feigenbaum, Carsten Lund, and Peter W. Shor, 19 October 1995.
• 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.
• 1997 Articles
  1. On Limited versus Polynomial Nondeterminism by Uriel Feige and Joe Kilian, 12 March 1997.
  2. On the Hardness of Approximating Max k-Cut and its Dual by Viggo Kann, Sanjeev Khanna, Jens Lagergren, and Alessandro Panconesi, 3 June 1997.
  3. Self-Stabilization by Tree Correction by George Varghese, Anish Arora, and Mohamed Gouda (Special Issue on Self-Stabilization, Shlomi Dolev and Jennifer Welch editors), 4 November 1997.
  4. Superstabilizing Protocols for Dynamic Distributed Systems by Shlomi Dolev and Ted Herman (Special Issue on Self-Stabilization, Shlomi Dolev and Jennifer Welch editors), 19 December 1997.
  5. Determinant: Combinatorics, Algorithms, and Complexity by Meena Mahajan and V. Vinay, 31 December 1997.
• 1998 Articles
  1. The Isomorphism Problem for Read-Once Branching Programs and Arithmetic Circuits by Thomas Thierauf, 10 March 1998.
  2. Verification of Fair Transition Systems by Orna Kupferman and Moshe Y. Vardi, 16 March 1998.

Working Papers

1. A Comprehensive Bibliography on Self-Stabilization by Ted Herman.

Journal News

Changes for 1998

• Starting 26 January 1998, access to full text of articles will be restricted to Internet domains of subscribers to the journal. A password will be provided for subscribers connecting from unauthorized domains. Open access to table of contents, abstracts, working papers, etc. will continue. Please contact Ken Overton (kov@mitpress.mit.edu) if you need to register your domain or to learn the password.



• Authors, please use pic, epic, and eepic as much as possible for drawings in figures and tables. eepic provides very flexible curve-drawing features, and can produce almost any line drawing. You may use the xfig program to prepare drawings through a GUI interface. See the author instructions for more detail. Use encapsulated PostScript only as a last resort: it is much harder to edit than the recommended formats.

Online discussion of the journal is now available, using HyperNews. There is also a separate online discussion for each published article.

A Special Issue on Self-Stabilization is in progress. We will continue to consider submissions of exceptional merit.

Journal Organization

• ISSN: 1073-0486
• Publisher: MIT Press
• Editor in chief: Janos Simon
• Consulting editors
  • Joseph Halpern
  • Stuart A. Kurtz
  • Raimund Seidel
• A distinguished board of editors
• Managing editor: Michael J. O'Donnell

Journal Resources

• Articles published in the journal
• Information about the journal
• How to subscribe
• Utilities for authors and readers
• Call for papers
  • Special Issue on Self-Stabilization
• List of institutional subscribers
• Post or read comments about the journal

Last modified: Thu Mar 19 10:09:23 CST