%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "1.07", %%% date = "26 November 2011", %%% time = "16:43:58 MDT", %%% filename = "chicjtheorcomputsci.bib", %%% address = "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 = "07107 739 2543 32319", %%% 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", %%% license = "public domain", %%% 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.07, the year coverage looked %%% like this: %%% %%% 1995 ( 4) 1998 ( 5) 2001 ( 0) %%% 1996 ( 6) 1999 ( 11) 2002 ( 2) %%% 1997 ( 5) 2000 ( 4) %%% %%% Article: 37 %%% %%% Total entries: 37 %%% %%% 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, 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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 = "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/; http://www.cs.uchicago.edu/publications/cjtcs/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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", 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/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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", 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/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", 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/; http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib", URL = "http://cjtcs.cs.uchicago.edu/articles/2002/2/contents.html", acknowledgement = ack-nhfb, }