%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "1.06",
%%% date = "09 January 2004",
%%% time = "16:48:34 MST",
%%% filename = "chicjtheorcomputsci.bib",
%%% address = "Center for Scientific Computing
%%% University of Utah
%%% Department of Mathematics, 110 LCB
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
%%% checksum = "49906 703 2505 29430",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "bibliography, BibTeX, Chicago Journal of
%%% Theoretical Computer Science",
%%% supported = "no",
%%% docstring = "This is a complete bibliography of the
%%% electronic journal Chicago Journal of
%%% Theoretical Computer Science (ISSN
%%% 1073-0486), published by MIT Press,
%%% Cambridge, MA, USA.
%%%
%%% Publication began in 1995, and articles
%%% appear as soon as they have been accepted for
%%% publication.
%%%
%%% The journal is unusual in that it is
%%% intended to be available primarily in an
%%% electronic format, and consequently,
%%% articles are sequenced and dated, but not
%%% assigned the usual volume number, issue
%%% number, and page numbers of conventional
%%% print journals.
%%%
%%% The journal has World-Wide Web sites at
%%%
%%% http://scholar.lib.vt.edu/ejournals/CJTCS/cjtcs/index.html
%%% http://www.cs.uchicago.edu/publications/cjtcs/journal-info.html
%%% http://www.cs.uchicago.edu/publications/cjtcs/
%%% gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/
%%%
%%% and the full text of all articles is available
%%% electronically to qualified subscribers.
%%%
%%% At version 1.04, the year coverage looked
%%% like this:
%%%
%%% 1995 ( 4) 1997 ( 5) 1999 ( 11)
%%% 1996 ( 6) 1998 ( 5) 2000 ( 4)
%%%
%%% Article: 35
%%%
%%% Total entries: 35
%%%
%%% Data for this bibliography has been derived
%%% entirely from the journal's Web site.
%%%
%%% BibTeX citation tags are uniformly chosen
%%% as name:year:abbrev, where name is the
%%% family name of the first author or editor,
%%% year is a 4-digit number, and abbrev is a
%%% 3-letter condensation of important title
%%% words. Citation tags were automatically
%%% generated by software developed for the
%%% BibNet Project.
%%%
%%% In this bibliography, entries are sorted in
%%% publication order within each journal.
%%%
%%% The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% }
%%% ====================================================================
%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
Center for Scientific Computing,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
%%% ====================================================================
%%% Journal abbreviations:
@String{j-CHIC-J-THEOR-COMPUT-SCI = "Chicago Journal of Theoretical Computer
Science"}
%%% ====================================================================
%%% Bibliography entries, sorted in publication order:
@Article{Nisan:1995:SIC,
author = "Noam Nisan and Amnon Ta-Shma",
title = "Symmetric {\em Logspace} is Closed Under Complement",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "30",
month = jun,
year = "1995",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1995/1/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Grolmusz:1995:WMI,
author = "Vince Grolmusz",
title = "On the Weak $\bmod m$ Representation of {Boolean}
Functions",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "21",
month = jul,
year = "1995",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1995/2/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Klarlund:1995:RM,
author = "Nils Klarlund and Dexter Kozen",
title = "{Rabin} Measures",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "20",
month = sep,
year = "1995",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1995/3/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Condon:1995:PCD,
author = "Anne Condon and Joan Feigenbaum and Carsten Lund and
Peter W. Shor",
title = "Probabilistically Checkable Debate Systems and
Nonapproximability of {PSPACE}-Hard Functions",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "19",
month = oct,
year = "1995",
ISSN = "1073-0486",
bibdate = "Tue Oct 22 15:27:00 2002",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1995/4/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Vardi:1996:RPV,
author = "Moshe Y. Vardi",
title = "Rank Predicates vs. Progress Measures in
Concurrent-Program Verification",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "9",
month = feb,
year = "1996",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/1/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Ogihara:1996:SHS,
author = "Mitsunori Ogihara",
title = "Sparse Hard Sets for {P} Yield Space-Efficient
Algorithms",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "27",
month = mar,
year = "1996",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/2/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Gerstel:1996:OVP,
author = "Ornan Gerstel and Israel Cidon and Shmuel Zaks",
title = "Optimal Virtual Path Layout in {ATM} Networks With
Shared Routing Table Switches",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "31",
month = oct,
year = "1996",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
note = "Published in {\em Selected Papers from PODC 1994},
David Peleg editor.",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/3/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Buntrock:1996:WGC,
author = "Gerhard Buntrock and Gundula Niemann",
title = "Weakly Growing Context-Sensitive Grammars",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "13",
month = nov,
year = "1996",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/4/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Hoover:1996:USS,
author = "H. James Hoover and Piotr Rudnicki",
title = "Uniform Self-Stabilizing Orientation of Unicyclic
Networks under Read/Write Atomicity",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "5",
month = dec,
year = "1996",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
note = "Special Issue on Self-Stabilization, Shlomi Dolev and
Jennifer Welch editors.",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/5/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Middendorf:1996:MCR,
author = "Martin Middendorf",
title = "{Manhattan} Channel Routing is {NP}-complete Under
Truly Restricted Settings",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "30",
month = dec,
year = "1996",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/6/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Feige:1997:LVP,
author = "Uriel Feige and Joe Kilian",
title = "On Limited versus Polynomial Nondeterminism",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "12",
month = mar,
year = "1997",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1997/1/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Kann:1997:HAM,
author = "Viggo Kann and Sanjeev Khanna and Jens Lagergren and
Alessandro Panconesi",
title = "On the Hardness of Approximating Max $k$-Cut and its
Dual",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "3",
month = jun,
year = "1997",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1997/2/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Varghese:1997:SST,
author = "George Varghese and Anish Arora and Mohamed Gouda",
title = "Self-Stabilization by Tree Correction",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "4",
month = nov,
year = "1997",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
note = "Special Issue on Self-Stabilization, Shlomi Dolev and
Jennifer Welch editors.",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1997/3/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Dolev:1997:SPD,
author = "Shlomi Dolev and Ted Herman",
title = "Superstabilizing Protocols for Dynamic Distributed
Systems",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "19",
month = dec,
year = "1997",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
note = "Special Issue on Self-Stabilization, Shlomi Dolev and
Jennifer Welch editors.",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1997/4/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Mahajan:1997:DCA,
author = "Meena Mahajan and V. Vinay",
title = "Determinant: Combinatorics, Algorithms, and
Complexity",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "31",
month = dec,
year = "1997",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1997/5/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Thierauf:1998:IPR,
author = "Thomas Thierauf",
title = "The Isomorphism Problem for Read-Once Branching
Programs and Arithmetic Circuits",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "16",
month = may,
year = "1998",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
note = "Special Issue on Computational Complexity, from the
1996 Dagstuhl-Seminar, Eric Allender editor.",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1998/1/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Kupferman:1998:VFT,
author = "Orna Kupferman and Moshe Y. Vardi",
title = "Verification of Fair Transition Systems",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "16",
month = mar,
year = "1998",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1998/2/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Afek:1998:SSU,
author = "Yehuda Afek and Anat Bremler",
title = "Self-Stabilizing Unidirectional Network Algorithms by
Power Supply",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "7",
month = dec,
year = "1998",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
note = "Special Issue on Self-Stabilization, Shlomi Dolev and
Jennifer Welch editors.",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1998/3/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Kulkarni:1998:MDR,
author = "Sandeep S. Kulkarni and Anish Arora",
title = "Multitolerance in Distributed Reset",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "7",
month = dec,
year = "1998",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
note = "Special Issue on Self-Stabilization, Shlomi Dolev and
Jennifer Welch editors.",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1998/4/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Herman:1998:WPC,
author = "Ted Herman",
title = "Working Paper: {A} Comprehensive Bibliography on
Self-Stabilization",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
year = "1998",
ISSN = "1073-0486",
bibdate = "Wed Jan 27 07:16:05 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uiowa.edu/ftp/selfstab/bibliography/",
acknowledgement = ack-nhfb,
}
@Article{Beals:1999:FNG,
author = "Robert Beals and Richard Chang and William Gasarch and
Jacobo Tor{\'a}n",
title = "On Finding the Number of Graph Automorphisms",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "10",
month = feb,
year = "1999",
ISSN = "1073-0486",
bibdate = "Wed Jul 28 07:27:43 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/1/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Wang:1999:RRI,
author = "Jie Wang",
title = "Randomized Reductions and Isomorphisms",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "24",
month = feb,
year = "1999",
ISSN = "1073-0486",
bibdate = "Wed Jul 28 07:27:43 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
note = "{\em Special Issue on Computational Complexity},
results from Dagstuhl-Seminar 1996, Eric Allender
editor.",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/2/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Fenner:1999:CMF,
author = "Stephen Fenner and Frederic Green and Steven Homer and
Alan L. Selman and Thomas Thierauf and Heribert
Vollmer",
title = "Complements of Multivalued Functions",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "19",
month = mar,
year = "1999",
ISSN = "1073-0486",
bibdate = "Wed Jul 28 07:27:43 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/3/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Karg:1999:CGT,
author = "Christoph Karg and Johannes K{\"o}bler and Rainer
Schuler",
title = "The Complexity of Generating Test Instances",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "22",
month = apr,
year = "1999",
ISSN = "1073-0486",
bibdate = "Wed Jul 28 07:27:43 1999",
bibsource = "http://www.cs.uchicago.edu/publications/cjtcs/;
gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/",
note = "{\em Special Issue on Computational Complexity},
results from Dagstuhl-Seminar 1996, Eric Allender
editor.",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/4/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Feigenbaum:1999:CPG,
author = "Joan Feigenbaum and Sampath Kannan and Moshe Y. Vardi
and Mahesh Viswanathan and",
title = "The Complexity of Problems on Graphs Represented as
{OBDD}s",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "6",
month = aug,
year = "1999",
ISSN = "1073-0486",
bibdate = "Sat Oct 21 13:49:26 2000",
bibsource = "http://www.cs.uchicago.edu/research/publications/cjtcs/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/5/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Jagota:1999:HNN,
author = "Arun Jagota",
title = "{Hopfield} Neural Networks and Self-Stabilization",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "6",
month = aug,
year = "1999",
ISSN = "1073-0486",
bibdate = "Sat Oct 21 13:49:26 2000",
bibsource = "http://www.cs.uchicago.edu/research/publications/cjtcs/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/6/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Allender:1999:PRL,
author = "Eric Allender",
title = "The Permanent Requires Large Uniform Threshold
Circuits",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "6",
month = aug,
year = "1999",
ISSN = "1073-0486",
bibdate = "Sat Oct 21 13:49:26 2000",
bibsource = "http://www.cs.uchicago.edu/research/publications/cjtcs/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/7/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Erickson:1999:BLS,
author = "Jeff Erickson",
title = "Bounds for Linear Satisfiability Problems",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "6",
month = aug,
year = "1999",
ISSN = "1073-0486",
bibdate = "Sat Oct 21 13:49:26 2000",
bibsource = "http://www.cs.uchicago.edu/research/publications/cjtcs/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/8/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Kosa:1999:TBS,
author = "Martha J. Kosa",
title = "Time Bounds for Strong and Hybrid Consistency for
Arbitrary Abstract Data Types",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "6",
month = aug,
year = "1999",
ISSN = "1073-0486",
bibdate = "Sat Oct 21 13:49:26 2000",
bibsource = "http://www.cs.uchicago.edu/research/publications/cjtcs/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/9/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Collin:1999:SSD,
author = "Zeev Collin and Rina Dechter and Shmuel Katz",
title = "Self-Stabilizing Distributed Constraint Satisfaction",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "31",
month = dec,
year = "1999",
ISSN = "1073-0486",
bibdate = "Sat Oct 21 13:49:26 2000",
bibsource = "http://www.cs.uchicago.edu/research/publications/cjtcs/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/10/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Paturi:1999:SCL,
author = "Ramamohan Paturi and Pavel Pudlak and Francis Zane
and",
title = "Satisfiability Coding Lemma",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "31",
month = dec,
year = "1999",
ISSN = "1073-0486",
bibdate = "Sat Oct 21 13:49:26 2000",
bibsource = "http://www.cs.uchicago.edu/research/publications/cjtcs/",
URL = "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/11/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Rothe:2000:HVC,
author = "Jorg Rothe",
title = "Heuristics Versus Completeness for Graph Coloring",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "29",
month = feb,
year = "2000",
ISSN = "1073-0486",
bibdate = "Sat Oct 21 13:49:26 2000",
bibsource = "http://www.cs.uchicago.edu/research/publications/cjtcs/",
URL = "http://www.cs.uchicago.edu/research/publications/cjtcs/articles/2000/1/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Agrawal:2000:CSD,
author = "Manindra Agrawal and Eric Allender and Samir Datta and
Heribert Vollmer and Klaus W. Wagner",
title = "Characterizing Small Depth and Small Space Classes by
Operators of Higher Type",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "6",
month = sep,
year = "2000",
ISSN = "1073-0486",
bibdate = "Wed Apr 18 10:42:01 2001",
bibsource = "http://www.cs.uchicago.edu/research/publications/cjtcs/",
URL = "http://www.cs.uchicago.edu/research/publications/cjtcs/articles/2000/2/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Schmid:2000:OAC,
author = "Ulrich Schmid",
title = "Orthogonal Accuracy Clock Synchronization",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "17",
month = aug,
year = "2000",
ISSN = "1073-0486",
bibdate = "Wed Apr 18 10:42:01 2001",
bibsource = "http://www.cs.uchicago.edu/research/publications/cjtcs/",
URL = "http://www.cs.uchicago.edu/research/publications/cjtcs/articles/2000/3/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Aiello:2000:SID,
author = "William Aiello and Costas Busch and Maurice Herlihy
and Marios Mavronicolas and Nir Shavit and Dan
Touitou",
title = "Supporting Increment and Decrement Operations in
Balancing Networks",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "14",
month = dec,
year = "2000",
ISSN = "1073-0486",
bibdate = "Wed Apr 18 10:42:01 2001",
bibsource = "http://www.cs.uchicago.edu/research/publications/cjtcs/",
URL = "http://www.cs.uchicago.edu/research/publications/cjtcs/articles/2000/4/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Beauquier:2002:SSL,
author = "Jeffrey Beauquier and Ajoy K. Datta and Maria
Gradinariu and Frederic Magniette",
title = "Self-Stabilizing Local Mutual Exclusion and Definition
Refinement",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "24",
month = jul,
year = "2002",
ISSN = "1073-0486",
bibdate = "Fri Jan 09 16:45:42 2004",
bibsource = "http://cjtcs.cs.uchicago.edu/",
URL = "http://cjtcs.cs.uchicago.edu/articles/2002/1/contents.html",
acknowledgement = ack-nhfb,
}
@Article{Arvind:2002:QCP,
author = "V. Arvind and K. V. Subrahmanyam and N. V.
Vinodchandran",
title = "The Query Complexity of Program Checking by
Constant-Depth Circuits",
journal = j-CHIC-J-THEOR-COMPUT-SCI,
day = "5",
month = dec,
year = "2002",
ISSN = "1073-0486",
bibdate = "Fri Jan 09 16:45:42 2004",
bibsource = "http://cjtcs.cs.uchicago.edu/",
URL = "http://cjtcs.cs.uchicago.edu/articles/2002/2/contents.html",
acknowledgement = ack-nhfb,
}