%% ToC#254.bib as of Aug 31, 2007
%% history:
%% ToC#254: BibTeX entries 6 Mar 2007 edited by David Bunde
%%   small modifications 23 Aug 2007 by LB
%%   new items added by au/LB 31 Aug 2007

@string(jacm="J. ACM")
@string(toc="Theory of Computing")
@string(ipl="Inform. Proc. Lett.")
@string(sicomp="SIAM J. Computing")


@unpublished{aar:copy,
  author = {S. Aaronson},
  title = {Quantum copy-protection},
  note = {In preparation}
}

@article{aar:adv,
  author = {S. Aaronson},
  title = {Limitations of quantum advice and one-way communication},
  journal = toc,
  volume = {1},
  pages = {1--28},
  year = {2005},
  note = {quant-ph/0402095.  Conference version in Proc. of CCC'2004},
  eprint="toc:v001/a001,arxiv:quant-ph/0402095"
}

@unpublished{an,
  author = {D. Aharonov and T. Naveh},
  title = {Quantum {NP} - a survey},
  year = {2002},
  note = {quant-ph/0210077},
  eprint="arxiv:quant-ph/0210077"
}

@inproceedings{babai:am2,
   author = {L. Babai},
   title = {Trading group theory for randomness},
   booktitle ="Proc. 17th STOC",
   pages = {421--429},
   year = {1985},
   eprint="stoc:10.1145/22145.22192"
}

@inproceedings{babai:walk,
   author = {L. Babai},
   title = {Local expansion of vertex-transitive graphs and random generation in finite groups},
   booktitle ="Proc. 23rd STOC",
   pages = {164--174},
   year = {1991},
   eprint="stoc:10.1145/103418.103440"
}

@article{babai:am,
  author = {L. Babai},
  title = {Bounded round interactive proofs in finite groups},
  journal = {SIAM J. Discrete Math},
  volume = {5},
  number = {1},
  pages = {88--111},
  year = {1992},
eprint="sidma:10.1137/0405008"
}

@ARTICLE{bgklp,
  AUTHOR =       "L. Babai and A. J. Goodman and W. M. Kantor and E.~M. Luks and P.~P. P{\'a}lfy",
  TITLE =        "Short presentations for finite groups",
  JOURNAL =      "J. Algebra",
  YEAR =         "1997",
  volume =       "194",
  pages =        "79--112",
  eprint="elsevier:10.1006/jabr.1996.6980 "
}

@article{be,
  author = {L. Babai and P. Erd\H{o}s},
  title = {Representation of group elements as short products},
  journal = {Annals of Discrete Math.},
  volume = {12},
  pages = {27--30},
  year = {1982}
}

@inproceedings{bls,
  author = {L. Babai and E. M. Luks and \'A. Seress},
  title = {Permutation groups in {NC}},
  booktitle ="Proc. 19th STOC",
  pages = {409--420},
  year = {1987},
eprint="stoc:10.1145/28395.28439"
}

@inproceedings{bs:matrix,
  author = {L. Babai and E. Szemer\'{e}di},
  title = {On the complexity of matrix group problems {I}},
  booktitle = "Proc. 25th FOCS",
  pages = {229--240},
  year = {1984}
}

@inproceedings{bclr,
  author = {M. Ben-Or and D. Coppersmith and M. Luby and R. Rubinfeld},
  title = {Non-abelian homomorphism testing, and distributions close
to their self-convolutions},
  booktitle = {Proc. of 8th Intern. Workshop on Randomization and Computation (RANDOM'04)},
  publisher = {Springer-Verlag},
  pages = {273--285},
  year = {2004},
  note = {ECCC TR04-052},
eprint="springer:x1tlgm3cexcj"
}

@article{bbbv,
  author = {C. Bennett and E. Bernstein and G. Brassard and U. Vazirani},
  title = {Strengths and weaknesses of quantum computing},
  journal = sicomp,
  volume = {26},
  number = {5},
  pages = {1510--1523},
  year = {1997},
  note = {quant-ph/9701001},
eprint="sicomp:10.1137/S0097539796300933,arxiv:quant-ph/9701001"
}

@incollection{boroczky,
  author = {B\"{o}r\"{o}czky Jr., K. and G. Wintsche},
  title = {Covering the sphere by equal spherical balls},
  booktitle = {Discrete and Computational Geometry: The Goodman-Pollack Festschrift},
  publisher="Springer",
  pages = {237--253},
  year = {2003}
}

@incollection{bhmt,
  author = {G. Brassard and P. H{\o}yer and M. Mosca and A. Tapp},
  title = {Quantum amplitude amplification and estimation},
  booktitle = {Quantum Computation and Information},
  series = {Contemporary Mathematics Series},
  publisher = {AMS},
  editor = {S. J. Lomonaco and H. E. Brandt},
  year = {2002},
  note = {quant-ph/0005055},
  eprint="arxiv:quant-ph/0005055"
}

@book{atlas,
  author = {J. H. Conway and R. T. Curtis and S. P. Norton and R. A. Parker and R. A. Wilson},
  title = {Atlas of Finite Groups},
  publisher = {Clarendon Press, Oxford},
  year = {1985}
}

@article{ehk,
  author = {M. Ettinger and P. H{\o}yer and E. Knill},
  title = {The quantum query complexity of the hidden subgroup problem is polynomial},
  journal = ipl,
  volume = {91},
  number = {1},
  pages = {43--48},
  year = {2004},
  note = {quant-ph/0401083},
eprint="ipl:10.1016/j.ipl.2004.01.024,arxiv:quant-ph/0401083"
}

@inproceedings{grover:framework,
  author = {L. K. Grover},
  title = {A framework for fast quantum mechanical algorithms},
  booktitle ="Proc. 30th STOC",
  pages = {53--62},
  year = {1998},
  note = {quant-ph/9711043},
eprint="stoc:10.1145/276698.276712,arxiv:quant-ph/9711043"
}

@article{hrt,
  author = {S. Hallgren and A. Russell and A. Ta-Shma},
  title = {The hidden subgroup problem and quantum computation using group representations},
  journal = sicomp,
  volume = {32},
  number = {4},
  pages = {916--934},
  year = {2003},
  note = {Conference version in STOC'2000, p. 627-635.},
eprint="sicomp:10.1137/S009753970139450X"
}

@misc{hofling,
   author = {B. H\"{o}fling},
   title = {Efficient multiplication algorithms for finite polycyclic groups},
   year = {2007},
   note = {Submitted. \url{www-public.tu-bs.de/~bhoeflin/preprints/collect.pdf}}
}

@article{hulpke-seress,
  author = "A. Hulpke and \'{A}. Seress",
  title = "Short presentations for three-dimensional unitary groups",
  journal = "J. Algebra",
  volume = "245",
  pages = "719--729",
  year = "2001",
  eprint = "elsevier:10.1006/jabr.2001.8943",
}

@article{kkr,
  author = {J. Kempe and A. Kitaev and O. Regev},
  title = {The complexity of the {L}ocal {H}amiltonian problem},
  journal = sicomp,
  volume = {35},
  number = {5},
  pages = {1070--1097},
  year = {2006},
  note = {quant-ph/0406180},
eprint="sicomp:10.1137/S0097539704445226,arxiv:quant-ph/0406180"
}

@unpublished{kitaev:meas,
  author = {A. Kitaev},
  title = {Quantum measurements and the abelian stabilizer problem},
  year = {1996},
  note = {ECCC TR96-003, quant-ph/9511026},
eprint="arxiv:quant-ph/9511026"
}

@article{kitaev:ec,
   author = {A. Kitaev},
   title = {Quantum computation: algorithms and error correction},
   journal = {Russian Math. Surveys},
   volume = {52},
   number = {6},
   pages = {1191--1249},
   year = {1997}
}

@article{mw,
  author = {C. Marriott and J. Watrous},
  title = {Quantum {A}rthur-{M}erlin games},
  journal = {Computational Complexity},
  volume = {14},
  number = {2},
  pages = {122--152},
  year = {2005},
eprint="cc:h0521k6666871652"
}

@inproceedings{mrr,
  author = {C. Moore and D. N. Rockmore and A. Russell},
  title = {Generic quantum {F}ourier transforms},
  booktitle ="Proc. 15th Ann. ACM-SIAM Symp. on Discrete Algorithms",
  pages = {778--787},
  year = {2004},
  note = {quant-ph/0304064},
eprint="soda:982792.982910,arxiv:quant-ph/0304064"
}

@unpublished{moscastebila,
  author = {M. Mosca and D. Stebila},
  title = {Unforgeable quantum money},
  year = {2006},
  note = {In preparation}
}

@article{neumann,
  author = {P. M. Neumann},
  title = {An enumeration theorem for finite groups},
  journal = {Quart. J. Math. Ser.},
  volume = {2},
  number = {20},
  pages = {395--401},
  year = {1969}
}

@article{pyber,
  author = {L. Pyber},
  title = {Enumerating finite groups of given order},
  journal = {Annals of Mathematics},
  volume = {137},
  pages = {203--220},
  year = {1993}
}

@inproceedings{razshpilka,
  author = {R. Raz and A. Shpilka},
  title = {On the power of quantum proofs},
  booktitle ="Proc. 19th Ann. IEEE Conf. on Computational Complexity",
  pages = {260--274},
  year = {2004},
eprint="ccc:10.1109/CCC.2004.1313849"
}

@article{shamir,
  author = {A. Shamir},
  title = {{IP=PSPACE}},
  journal = jacm,
  volume = {39},
  number = {4},
  pages = {869--877},
  year = {1992},
eprint="jacm:10.1145/146585.146609"
}

@article{shor,
  author = {P. Shor},
  title = {Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer},
  journal = sicomp,
  volume = {26},
  number = {5},
  pages = {1484--1509},
  year = {1997},
  note = {Earlier version in IEEE FOCS 1994.  quant-ph/9508027},
eprint="sicomp:10.1137/S0097539795293172,arxiv:quant-ph/9508027"
}

@incollection{sims,
  author = {C. Sims},
  title = {Computational methods in the study of permutation groups},
  booktitle = {Computational Problems in Abstract Algebra},
  pages = {169--183},
  publisher = {Pergamon Press},
  year = {1970}
}

@inproceedings{watrous,
  author = {J. Watrous},
  title = {Succinct quantum proofs for properties of finite groups},
  booktitle ="Proc. 41st FOCS",
  pages = {537--546},
  year = {2000},
  note = {cs.CC/0009002},
eprint="focs:10.1109/SFCS.2000.892141"
}