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. Access to articles is open, but we depend on subscriptions to support journal operations.

Journal Articles
(recent articles in reverse chronology)

• 1999 Articles
  • 4. The Complexity of Generating Test Instances by Christoph Karg, Johannes Köbler, and Rainer Schuler (Special Issue on Computational Complexity, results from Dagstuhl-Seminar 1996, Eric Allender editor), 22 April 1999
  • 3. Complements of Multivalued Functions by Stephen Fenner, Frederic Green, Steven Homer, Alan L. Selman, Thomas Thierauf, and Heribert Vollmer, 19 March 1999
  • 2. Randomized Reductions and Isomorphisms by Jie Wang (Special Issue on Computational Complexity, results from Dagstuhl-Seminar 1996, Eric Allender editor), 24 February 1999
  • 1. On Finding the Number of Graph Automorphisms by Robert Beals, Richard Chang, William Gasarch, and Jacobo Torán, 10 February 1999.
• 1998 Articles
  • 4. Multitolerance in Distributed Reset by Sandeep S. Kulkarni and Anish Arora (Special Issue on Self-Stabilization, Shlomi Dolev and Jennifer Welch editors), 7 December 1998
  • 3. Self-Stabilizing Unidirectional Network Algorithms by Power Supply by Yehuda Afek and Anat Bremler(Special Issue on Self-Stabilization, Shlomi Dolev and Jennifer Welch editors), 7 December 1998
  • 2. Verification of Fair Transition Systems by Orna Kupferman and Moshe Y. Vardi, 16 March 1998.
  • 1. The Isomorphism Problem for Read-Once Branching Programs and Arithmetic Circuits by Thomas Thierauf (Special Issue on Computational Complexity from the 1996 Dagstuhl-Seminar, Eric Allender editor), 10 March 1998.
• 1997 Articles
  • 5. Determinant: Combinatorics, Algorithms, and Complexity by Meena Mahajan and V. Vinay, 31 December 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.
  • 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.
  • 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.
  • 1. On Limited versus Polynomial Nondeterminism by Uriel Feige and Joe Kilian, 12 March 1997.
• 1996 Articles
  • 6. Manhattan Channel Routing is NP-complete Under Truly Restricted Settings by Martin Middendorf, 30 December 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.
  • 4. Weakly Growing Context-Sensitive Grammars by Gerhard Buntrock and Gundula Niemann, 13 November 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.
  • 2. Sparse Hard Sets for P Yield Space-Efficient Algorithms by Mitsunori Ogihara, 27 March 1996.
  • 1. Rank Predicates vs. Progress Measures in Concurrent-Program Verification by Moshe Y. Vardi, 9 February 1996.
  • Volume 1995 (4 articles)

  Working Papers

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

  ---

  Journal News

• CJTCS has a new policy of free access to all articles. We still depend on voluntary subscriptions to support journal operations. We are in the process of updating online documentation to reflect this change.



• 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
  • Eric Allender
  • Joseph Halpern
  • 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: Fri Mar 19 23:37:13 CST 1999