BibTeX records: László Babai

download as .bib file

@inproceedings{DBLP:conf/stoc/Babai16,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Graph isomorphism in quasipolynomial time [extended abstract]},
  booktitle = {Proceedings of the 48th Annual {ACM} {SIGACT} Symposium on Theory
               of Computing, {STOC} 2016, Cambridge, MA, USA, June 18-21, 2016},
  pages     = {684--697},
  year      = {2016},
  crossref  = {DBLP:conf/stoc/2016},
  url       = {http://doi.acm.org/10.1145/2897518.2897542},
  doi       = {10.1145/2897518.2897542},
  timestamp = {Fri, 10 Jun 2016 10:30:30 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/Babai16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BabaiW15,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               John Wilmes},
  title     = {Asymptotic Delsarte cliques in distance-regular graphs},
  journal   = {CoRR},
  volume    = {abs/1503.02746},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.02746},
  archivePrefix = {arXiv},
  eprint    = {1503.02746},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/BabaiW15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Babai15,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Graph Isomorphism in Quasipolynomial Time},
  journal   = {CoRR},
  volume    = {abs/1512.03547},
  year      = {2015},
  url       = {http://arxiv.org/abs/1512.03547},
  archivePrefix = {arXiv},
  eprint    = {1512.03547},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Babai15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BabaiDST15,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Anuj Dawar and
               Pascal Schweitzer and
               Jacobo Tor{\'{a}}n},
  title     = {The Graph Isomorphism Problem (Dagstuhl Seminar 15511)},
  journal   = {Dagstuhl Reports},
  volume    = {5},
  number    = {12},
  pages     = {1--17},
  year      = {2015},
  url       = {https://doi.org/10.4230/DagRep.5.12.1},
  doi       = {10.4230/DagRep.5.12.1},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dagstuhl-reports/BabaiDST15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/innovations/Babai14,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {On the automorphism groups of strongly regular graphs {I}},
  booktitle = {Innovations in Theoretical Computer Science, ITCS'14, Princeton, NJ,
               USA, January 12-14, 2014},
  pages     = {359--368},
  year      = {2014},
  crossref  = {DBLP:conf/innovations/2014},
  url       = {http://doi.acm.org/10.1145/2554797.2554830},
  doi       = {10.1145/2554797.2554830},
  timestamp = {Fri, 14 Feb 2014 17:36:37 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/innovations/Babai14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jlms/BabaiGPW13,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Simon Guest and
               Cheryl E. Praeger and
               Robert A. Wilson},
  title     = {Proportions of \emph{r}-regular elements in finite classical groups},
  journal   = {J. London Math. Society},
  volume    = {88},
  number    = {1},
  pages     = {202--226},
  year      = {2013},
  url       = {https://doi.org/10.1112/jlms/jdt011},
  doi       = {10.1112/jlms/jdt011},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jlms/BabaiGPW13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BabaiCSTW13,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Xi Chen and
               Xiaorui Sun and
               Shang{-}Hua Teng and
               John Wilmes},
  title     = {Faster Canonical Forms for Strongly Regular Graphs},
  booktitle = {54th Annual {IEEE} Symposium on Foundations of Computer Science, {FOCS}
               2013, 26-29 October, 2013, Berkeley, CA, {USA}},
  pages     = {157--166},
  year      = {2013},
  crossref  = {DBLP:conf/focs/2013},
  url       = {https://doi.org/10.1109/FOCS.2013.25},
  doi       = {10.1109/FOCS.2013.25},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BabaiCSTW13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BabaiW13,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               John Wilmes},
  title     = {Quasipolynomial-time canonical form for steiner designs},
  booktitle = {Symposium on Theory of Computing Conference, STOC'13, Palo Alto, CA,
               USA, June 1-4, 2013},
  pages     = {261--270},
  year      = {2013},
  crossref  = {DBLP:conf/stoc/2013},
  url       = {http://doi.acm.org/10.1145/2488608.2488642},
  doi       = {10.1145/2488608.2488642},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/BabaiW13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BabaiCQ12,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Paolo Codenotti and
               Youming Qiao},
  title     = {Polynomial-Time Isomorphism Test for Groups with No Abelian Normal
               Subgroups - (Extended Abstract)},
  booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
               {ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {I}},
  pages     = {51--62},
  year      = {2012},
  crossref  = {DBLP:conf/icalp/2012-1},
  url       = {https://doi.org/10.1007/978-3-642-31594-7_5},
  doi       = {10.1007/978-3-642-31594-7_5},
  timestamp = {Sun, 04 Jun 2017 10:07:30 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/BabaiCQ12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BabaiQ12,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Youming Qiao},
  title     = {Polynomial-time Isomorphism Test for Groups with Abelian Sylow Towers},
  booktitle = {29th International Symposium on Theoretical Aspects of Computer Science,
               {STACS} 2012, February 29th - March 3rd, 2012, Paris, France},
  pages     = {453--464},
  year      = {2012},
  crossref  = {DBLP:conf/stacs/2012},
  url       = {https://doi.org/10.4230/LIPIcs.STACS.2012.453},
  doi       = {10.4230/LIPIcs.STACS.2012.453},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stacs/BabaiQ12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csr/Babai11,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Finite Groups and Complexity Theory: From Leningrad to Saint Petersburg
               via Las Vegas},
  booktitle = {Computer Science - Theory and Applications - 6th International Computer
               Science Symposium in Russia, {CSR} 2011, St. Petersburg, Russia, June
               14-18, 2011. Proceedings},
  pages     = {162--180},
  year      = {2011},
  crossref  = {DBLP:conf/csr/2011},
  url       = {https://doi.org/10.1007/978-3-642-20712-9_13},
  doi       = {10.1007/978-3-642-20712-9_13},
  timestamp = {Wed, 17 May 2017 14:24:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csr/Babai11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/BabaiCGQ11,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Paolo Codenotti and
               Joshua A. Grochow and
               Youming Qiao},
  title     = {Code Equivalence and Group Isomorphism},
  booktitle = {Proceedings of the Twenty-Second Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2011, San Francisco, California, USA, January 23-25,
               2011},
  pages     = {1395--1408},
  year      = {2011},
  crossref  = {DBLP:conf/soda/2011},
  url       = {https://doi.org/10.1137/1.9781611973082.107},
  doi       = {10.1137/1.9781611973082.107},
  timestamp = {Wed, 24 May 2017 08:31:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/soda/BabaiCGQ11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BabaiHPS10,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Kristoffer Arnsfelt Hansen and
               Vladimir V. Podolskii and
               Xiaoming Sun},
  title     = {Weights of Exact Threshold Functions},
  booktitle = {Mathematical Foundations of Computer Science 2010, 35th International
               Symposium, {MFCS} 2010, Brno, Czech Republic, August 23-27, 2010.
               Proceedings},
  pages     = {66--77},
  year      = {2010},
  crossref  = {DBLP:conf/mfcs/2010},
  url       = {https://doi.org/10.1007/978-3-642-15155-2_8},
  doi       = {10.1007/978-3-642-15155-2_8},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/BabaiHPS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BabaiBKN10,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Anandam Banerjee and
               Raghav Kulkarni and
               Vipul Naik},
  title     = {Evasiveness and the Distribution of Prime Numbers},
  booktitle = {27th International Symposium on Theoretical Aspects of Computer Science,
               {STACS} 2010, March 4-6, 2010, Nancy, France},
  pages     = {71--82},
  year      = {2010},
  crossref  = {DBLP:conf/stacs/2010},
  url       = {https://doi.org/10.4230/LIPIcs.STACS.2010.2445},
  doi       = {10.4230/LIPIcs.STACS.2010.2445},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stacs/BabaiBKN10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-4829,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Anandam Banerjee and
               Raghav Kulkarni and
               Vipul Naik},
  title     = {Evasiveness and the Distribution of Prime Numbers},
  journal   = {CoRR},
  volume    = {abs/1001.4829},
  year      = {2010},
  url       = {http://arxiv.org/abs/1001.4829},
  archivePrefix = {arXiv},
  eprint    = {1001.4829},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1001-4829},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/combinatorics/BabaiG09,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Barry Guiduli},
  title     = {Spectral Extrema for Graphs: The Zarankiewicz Problem},
  journal   = {Electr. J. Comb.},
  volume    = {16},
  number    = {1},
  year      = {2009},
  url       = {http://www.combinatorics.org/Volume_16/Abstracts/v16i1r123.html},
  timestamp = {Wed, 11 Jan 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/combinatorics/BabaiG09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/talg/BabaiF09,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Pedro F. Felzenszwalb},
  title     = {Computing rank-convolutions with a mask},
  journal   = {{ACM} Trans. Algorithms},
  volume    = {6},
  number    = {1},
  pages     = {20:1--20:13},
  year      = {2009},
  url       = {http://doi.acm.org/10.1145/1644015.1644035},
  doi       = {10.1145/1644015.1644035},
  timestamp = {Fri, 06 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/talg/BabaiF09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BabaiBS09,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Robert Beals and
               {\'{A}}kos Seress},
  title     = {Polynomial-time theory of matrix groups},
  booktitle = {Proceedings of the 41st Annual {ACM} Symposium on Theory of Computing,
               {STOC} 2009, Bethesda, MD, USA, May 31 - June 2, 2009},
  pages     = {55--64},
  year      = {2009},
  crossref  = {DBLP:conf/stoc/2009},
  url       = {http://doi.acm.org/10.1145/1536414.1536425},
  doi       = {10.1145/1536414.1536425},
  timestamp = {Fri, 05 Jun 2009 09:31:27 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/BabaiBS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BabaiC08,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Paolo Codenotti},
  title     = {Isomorhism of Hypergraphs of Low Rank in Moderately Exponential Time},
  booktitle = {49th Annual {IEEE} Symposium on Foundations of Computer Science, {FOCS}
               2008, October 25-28, 2008, Philadelphia, PA, {USA}},
  pages     = {667--676},
  year      = {2008},
  crossref  = {DBLP:conf/focs/2008},
  url       = {https://doi.org/10.1109/FOCS.2008.80},
  doi       = {10.1109/FOCS.2008.80},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BabaiC08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/BabaiNP08,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Nikolay Nikolov and
               L{\'{a}}szl{\'{o}} Pyber},
  title     = {Product growth and mixing in finite groups},
  booktitle = {Proceedings of the Nineteenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2008, San Francisco, California, USA, January 20-22,
               2008},
  pages     = {248--257},
  year      = {2008},
  crossref  = {DBLP:conf/soda/2008},
  url       = {http://dl.acm.org/citation.cfm?id=1347082.1347110},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/BabaiNP08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eccc/ChakrabortyB08,
  author    = {Sourav Chakraborty and
               L{\'{a}}szl{\'{o}} Babai},
  title     = {Property Testing of Equivalence under a Permutation Group Action},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {15},
  number    = {040},
  year      = {2008},
  url       = {http://eccc.hpi-web.de/eccc-reports/2008/TR08-040/index.html},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/eccc/ChakrabortyB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/BabaiG07,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Igor Gorodezky},
  title     = {Sandpile transience on the grid is polynomially bounded},
  booktitle = {Proceedings of the Eighteenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2007, New Orleans, Louisiana, USA, January 7-9,
               2007},
  pages     = {627--636},
  year      = {2007},
  crossref  = {DBLP:conf/soda/2007},
  url       = {http://dl.acm.org/citation.cfm?id=1283383.1283451},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/BabaiG07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dm/Babai06,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Automorphism groups of graphs and edge-contraction},
  journal   = {Discrete Mathematics},
  volume    = {306},
  number    = {10-11},
  pages     = {918--922},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.disc.2006.03.012},
  doi       = {10.1016/j.disc.2006.03.012},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dm/Babai06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/Babai06,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Special Issue Dedicated To The Thirty-Sixth Annual {ACM} Symposium
               On Theory Of Computing {(STOC} 2004)},
  journal   = {{SIAM} J. Comput.},
  volume    = {35},
  number    = {4},
  year      = {2006},
  url       = {http://epubs.siam.org/SICOMP/volume-35/art_97420.html},
  timestamp = {Fri, 31 Mar 2006 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/Babai06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/Babai06,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {On the diameter of Eulerian orientations of graphs},
  booktitle = {Proceedings of the Seventeenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2006, Miami, Florida, USA, January 22-26, 2006},
  pages     = {822--831},
  year      = {2006},
  crossref  = {DBLP:conf/soda/2006},
  url       = {http://dl.acm.org/citation.cfm?id=1109557.1109648},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/Babai06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tit/BabaiSS05,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Amir Shpilka and
               Daniel Stefankovic},
  title     = {Locally testable cyclic codes},
  journal   = {{IEEE} Trans. Information Theory},
  volume    = {51},
  number    = {8},
  pages     = {2849--2858},
  year      = {2005},
  url       = {https://doi.org/10.1109/TIT.2005.851735},
  doi       = {10.1109/TIT.2005.851735},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tit/BabaiSS05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/BabaiH05,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Thomas P. Hayes},
  title     = {Near-independence of permutations and an almost sure polynomial bound
               on the diameter of the symmetric group},
  booktitle = {Proceedings of the Sixteenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2005, Vancouver, British Columbia, Canada, January
               23-25, 2005},
  pages     = {1057--1066},
  year      = {2005},
  crossref  = {DBLP:conf/soda/2005},
  url       = {http://dl.acm.org/citation.cfm?id=1070432.1070584},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/BabaiH05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jal/BabaiP04,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Igor Pak},
  title     = {Strong bias of group generators: an obstacle to the "product
               replacement algorithm"},
  journal   = {J. Algorithms},
  volume    = {50},
  number    = {2},
  pages     = {215--231},
  year      = {2004},
  url       = {https://doi.org/10.1016/S0196-6774(03)00091-9},
  doi       = {10.1016/S0196-6774(03)00091-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jal/BabaiP04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/BabaiBS04,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Robert Beals and
               {\'{A}}kos Seress},
  title     = {On the diameter of the symmetric group: polynomial bounds},
  booktitle = {Proceedings of the Fifteenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2004, New Orleans, Louisiana, USA, January 11-14,
               2004},
  pages     = {1108--1112},
  year      = {2004},
  crossref  = {DBLP:conf/soda/2004},
  url       = {http://dl.acm.org/citation.cfm?id=982792.982956},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/BabaiBS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/BabaiS04,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Daniel Stefankovic},
  title     = {Simultaneous diophantine approximation with excluded primes},
  booktitle = {Proceedings of the Fifteenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2004, New Orleans, Louisiana, USA, January 11-14,
               2004},
  pages     = {1123--1129},
  year      = {2004},
  crossref  = {DBLP:conf/soda/2004},
  url       = {http://dl.acm.org/citation.cfm?id=982792.982958},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/BabaiS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/2004,
  editor    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Proceedings of the 36th Annual {ACM} Symposium on Theory of Computing,
               Chicago, IL, USA, June 13-16, 2004},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-852-0},
  timestamp = {Fri, 03 Sep 2004 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/BabaiGKL03,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Anna G{\'{a}}l and
               Peter G. Kimmel and
               Satyanarayana V. Lokam},
  title     = {Communication Complexity of Simultaneous Messages},
  journal   = {{SIAM} J. Comput.},
  volume    = {33},
  number    = {1},
  pages     = {137--166},
  year      = {2003},
  url       = {https://doi.org/10.1137/S0097539700375944},
  doi       = {10.1137/S0097539700375944},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/BabaiGKL03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BabaiSS03,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Amir Shpilka and
               Daniel Stefankovic},
  title     = {Locally Testable Cyclic Codes},
  booktitle = {44th Symposium on Foundations of Computer Science {(FOCS} 2003), 11-14
               October 2003, Cambridge, MA, USA, Proceedings},
  pages     = {116--125},
  year      = {2003},
  crossref  = {DBLP:conf/focs/2003},
  url       = {https://doi.org/10.1109/SFCS.2003.1238186},
  doi       = {10.1109/SFCS.2003.1238186},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BabaiSS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/combinatorica/BabaiHK01,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Thomas P. Hayes and
               Peter G. Kimmel},
  title     = {The Cost of the Missing Bit: Communication Complexity with Help},
  journal   = {Combinatorica},
  volume    = {21},
  number    = {4},
  pages     = {455--488},
  year      = {2001},
  url       = {https://doi.org/10.1007/s004930100009},
  doi       = {10.1007/s004930100009},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/combinatorica/BabaiHK01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jct/BabaiFKS01,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Peter Frankl and
               Samuel Kutin and
               Daniel Stefankovic},
  title     = {Set Systems with Restricted Intersections modulo Prime Powers},
  journal   = {J. Comb. Theory, Ser. {A}},
  volume    = {95},
  number    = {1},
  pages     = {39--73},
  year      = {2001},
  url       = {https://doi.org/10.1006/jcta.2000.3149},
  doi       = {10.1006/jcta.2000.3149},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jct/BabaiFKS01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/combinatorics/BabaiC00,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Peter J. Cameron},
  title     = {Automorphisms and Enumeration of Switching Classes of Tournaments},
  journal   = {Electr. J. Comb.},
  volume    = {7},
  year      = {2000},
  url       = {http://www.combinatorics.org/Volume_7/Abstracts/v7i1r38.html},
  timestamp = {Tue, 05 Oct 2004 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/combinatorics/BabaiC00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/BabaiP00,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Igor Pak},
  title     = {Strong bias of group generators: an obstacle to the "product
               replacement algorithm"},
  booktitle = {Proceedings of the Eleventh Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, January 9-11, 2000, San Francisco, CA, {USA.}},
  pages     = {627--635},
  year      = {2000},
  crossref  = {DBLP:conf/soda/2000},
  url       = {http://dl.acm.org/citation.cfm?id=338219.338616},
  timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/soda/BabaiP00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/combinatorica/BabaiGW99,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Anna G{\'{a}}l and
               Avi Wigderson},
  title     = {Superpolynomial Lower Bounds for Monotone Span Programs},
  journal   = {Combinatorica},
  volume    = {19},
  number    = {3},
  pages     = {301--319},
  year      = {1999},
  url       = {https://doi.org/10.1007/s004930050058},
  doi       = {10.1007/s004930050058},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/combinatorica/BabaiGW99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coco/BabaiL99,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Sophie Laplante},
  title     = {Stronger Separations for Random-Self-Reducibility, Rounds, and Advice},
  booktitle = {Proceedings of the 14th Annual {IEEE} Conference on Computational
               Complexity, Atlanta, Georgia, USA, May 4-6, 1999},
  pages     = {98--104},
  year      = {1999},
  crossref  = {DBLP:conf/coco/1999},
  url       = {https://doi.org/10.1109/CCC.1999.766268},
  doi       = {10.1109/CCC.1999.766268},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coco/BabaiL99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BabaiHK98,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Thomas P. Hayes and
               Peter G. Kimmel},
  title     = {The Cost of the Missing Bit: Communication Complexity with Help},
  booktitle = {Proceedings of the Thirtieth Annual {ACM} Symposium on the Theory
               of Computing, Dallas, Texas, USA, May 23-26, 1998},
  pages     = {673--682},
  year      = {1998},
  crossref  = {DBLP:conf/stoc/1998},
  url       = {http://doi.acm.org/10.1145/276698.276883},
  doi       = {10.1145/276698.276883},
  timestamp = {Thu, 16 Feb 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/BabaiHK98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/AroraBSS97,
  author    = {Sanjeev Arora and
               L{\'{a}}szl{\'{o}} Babai and
               Jacques Stern and
               Z. Sweedyk},
  title     = {The Hardness of Approximate Optima in Lattices, Codes, and Systems
               of Linear Equations},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {54},
  number    = {2},
  pages     = {317--331},
  year      = {1997},
  url       = {https://doi.org/10.1006/jcss.1997.1472},
  doi       = {10.1006/jcss.1997.1472},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/AroraBSS97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/BabaiLS97,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Eugene M. Luks and
               {\'{A}}kos Seress},
  title     = {Fast Management of Permutation Groups {I}},
  journal   = {{SIAM} J. Comput.},
  volume    = {26},
  number    = {5},
  pages     = {1310--1342},
  year      = {1997},
  url       = {https://doi.org/10.1137/S0097539794229417},
  doi       = {10.1137/S0097539794229417},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/BabaiLS97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coco/BabaiK97,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Peter G. Kimmel},
  title     = {Randomized Simultaneous Messages: Solution of a Problem of Yao in
               Communication Complexity},
  booktitle = {Proceedings of the Twelfth Annual {IEEE} Conference on Computational
               Complexity, Ulm, Germany, June 24-27, 1997},
  pages     = {239--246},
  year      = {1997},
  crossref  = {DBLP:conf/coco/1997},
  url       = {https://doi.org/10.1109/CCC.1997.612319},
  doi       = {10.1109/CCC.1997.612319},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coco/BabaiK97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Babai97,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Communication Complexity},
  booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
               Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
  pages     = {5--18},
  year      = {1997},
  crossref  = {DBLP:conf/mfcs/1997},
  url       = {https://doi.org/10.1007/BFb0029945},
  doi       = {10.1007/BFb0029945},
  timestamp = {Mon, 22 May 2017 17:11:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/Babai97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/Babai97,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {The Growth Rate of Vertex-Transitive Planar Graphs},
  booktitle = {Proceedings of the Eighth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, 5-7 January 1997, New Orleans, Louisiana.},
  pages     = {564--573},
  year      = {1997},
  crossref  = {DBLP:conf/soda/1997},
  url       = {http://dl.acm.org/citation.cfm?id=314161.314390},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/Babai97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Babai97,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Paul Erd{\"{o}}s {(1913-1996):} His Influence on the Theory of
               Computing},
  booktitle = {Proceedings of the Twenty-Ninth Annual {ACM} Symposium on the Theory
               of Computing, El Paso, Texas, USA, May 4-6, 1997},
  pages     = {383--401},
  year      = {1997},
  crossref  = {DBLP:conf/stoc/1997},
  url       = {http://doi.acm.org/10.1145/258533.258624},
  doi       = {10.1145/258533.258624},
  timestamp = {Thu, 16 Feb 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/Babai97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/BabaiBCIL96,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Robert Beals and
               Jin{-}yi Cai and
               G{\'{a}}bor Ivanyos and
               Eugene M. Luks},
  title     = {Multiplicative Equations over Commuting Matrices},
  booktitle = {Proceedings of the Seventh Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, 28-30 January 1996, Atlanta, Georgia.},
  pages     = {498--507},
  year      = {1996},
  crossref  = {DBLP:conf/soda/1996},
  url       = {http://dl.acm.org/citation.cfm?id=313852.314109},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/BabaiBCIL96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BabaiGKRSW96,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Anna G{\'{a}}l and
               J{\'{a}}nos Koll{\'{a}}r and
               Lajos R{\'{o}}nyai and
               Tibor Szab{\'{o}} and
               Avi Wigderson},
  title     = {Extremal Bipartite Graphs and Superpolynomial Lower Bounds for Monotone
               Span Programs},
  booktitle = {Proceedings of the Twenty-Eighth Annual {ACM} Symposium on the Theory
               of Computing, Philadelphia, Pennsylvania, USA, May 22-24, 1996},
  pages     = {603--611},
  year      = {1996},
  crossref  = {DBLP:conf/stoc/1996},
  url       = {http://doi.acm.org/10.1145/237814.238010},
  doi       = {10.1145/237814.238010},
  timestamp = {Thu, 16 Feb 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/BabaiGKRSW96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/BabaiCFLS95,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Gene Cooperman and
               Larry Finkelstein and
               Eugene M. Luks and
               {\'{A}}kos Seress},
  title     = {Fast Monte Carlo Algorithms for Permutation Groups},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {50},
  number    = {2},
  pages     = {296--308},
  year      = {1995},
  url       = {https://doi.org/10.1006/jcss.1995.1024},
  doi       = {10.1006/jcss.1995.1024},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/BabaiCFLS95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jct/Babai95,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {A New Proof of Several Inequalities on Codes and Sets},
  journal   = {J. Comb. Theory, Ser. {A}},
  volume    = {71},
  number    = {1},
  pages     = {146--153},
  year      = {1995},
  timestamp = {Mon, 05 Jul 2004 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jct/Babai95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Babai95,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Randomization in group algorithms: Conceptual questions},
  booktitle = {Groups and Computation, Proceedings of a {DIMACS} Workshop, New Brunswick,
               New Jersey, USA, June 7-10, 1995},
  pages     = {1--18},
  year      = {1995},
  crossref  = {DBLP:conf/dimacs/dimacs28},
  timestamp = {Mon, 14 Mar 2016 19:27:05 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dimacs/Babai95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BabaiKL95,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Peter G. Kimmel and
               Satyanarayana V. Lokam},
  title     = {Simultaneous Messages vs. Communication},
  booktitle = {{STACS}},
  pages     = {361--372},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-59042-0_88},
  doi       = {10.1007/3-540-59042-0_88},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stacs/BabaiKL95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jct/BabaiP94,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               L{\'{a}}szl{\'{o}} Pyber},
  title     = {Permutation Groups without Exponentially Many Orbits on the Power
               Set},
  journal   = {J. Comb. Theory, Ser. {A}},
  volume    = {66},
  number    = {1},
  pages     = {160--168},
  year      = {1994},
  timestamp = {Mon, 12 Jul 2004 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jct/BabaiP94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamdm/BabaiOP94,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Haluk Oral and
               Kevin T. Phelps},
  title     = {Eulerian Self-Dual Codes},
  journal   = {{SIAM} J. Discrete Math.},
  volume    = {7},
  number    = {2},
  pages     = {325--330},
  year      = {1994},
  url       = {https://doi.org/10.1137/S089548019120256X},
  doi       = {10.1137/S089548019120256X},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamdm/BabaiOP94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cc/BabaiFNW93,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Lance Fortnow and
               Noam Nisan and
               Avi Wigderson},
  title     = {{BPP} Has Subexponential Time Simulations Unless {EXPTIME} has Publishable
               Proofs},
  journal   = {Computational Complexity},
  volume    = {3},
  pages     = {307--318},
  year      = {1993},
  url       = {https://doi.org/10.1007/BF01275486},
  doi       = {10.1007/BF01275486},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cc/BabaiFNW93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BealsB93,
  author    = {Robert Beals and
               L{\'{a}}szl{\'{o}} Babai},
  title     = {Las Vegas algorithms for matrix groups},
  booktitle = {34th Annual Symposium on Foundations of Computer Science, Palo Alto,
               California, USA, 3-5 November 1993},
  pages     = {427--436},
  year      = {1993},
  crossref  = {DBLP:conf/focs/FOCS34},
  url       = {https://doi.org/10.1109/SFCS.1993.366844},
  doi       = {10.1109/SFCS.1993.366844},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BealsB93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/AroraBSS93,
  author    = {Sanjeev Arora and
               L{\'{a}}szl{\'{o}} Babai and
               Jacques Stern and
               Z. Sweedyk},
  title     = {The Hardness of Approximate Optimia in Lattices, Codes, and Systems
               of Linear Equations},
  booktitle = {34th Annual Symposium on Foundations of Computer Science, Palo Alto,
               California, USA, 3-5 November 1993},
  pages     = {724--733},
  year      = {1993},
  crossref  = {DBLP:conf/focs/FOCS34},
  url       = {https://doi.org/10.1109/SFCS.1993.366815},
  doi       = {10.1109/SFCS.1993.366815},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/AroraBSS93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issac/BabaiFS93,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Katalin Friedl and
               Markus Stricker},
  title     = {Decomposition of *-closed Algebras in Polynomial Time},
  booktitle = {Proceedings of the 1993 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '93, Kiev, Ukraine, July 6-8, 1993},
  pages     = {86--94},
  year      = {1993},
  crossref  = {DBLP:conf/issac/1993},
  url       = {http://doi.acm.org/10.1145/164081.164098},
  doi       = {10.1145/164081.164098},
  timestamp = {Wed, 16 May 2012 18:01:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issac/BabaiFS93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issac/BabaiBR93,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Robert Beals and
               Daniel N. Rockmore},
  title     = {Deciding Finiteness of Matrix Groups in Deterministic Polynomial Time},
  booktitle = {Proceedings of the 1993 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '93, Kiev, Ukraine, July 6-8, 1993},
  pages     = {117--126},
  year      = {1993},
  crossref  = {DBLP:conf/issac/1993},
  url       = {http://doi.acm.org/10.1145/164081.164104},
  doi       = {10.1145/164081.164104},
  timestamp = {Wed, 16 May 2012 18:01:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issac/BabaiBR93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Babai93,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Transparent (Holographic) Proofs},
  booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
               Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
  pages     = {525--534},
  year      = {1993},
  crossref  = {DBLP:conf/stacs/1993},
  url       = {https://doi.org/10.1007/3-540-56503-5_52},
  doi       = {10.1007/3-540-56503-5_52},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stacs/Babai93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cc/BabaiFL92,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Lance Fortnow and
               Carsten Lund},
  title     = {Addendum to Non-Deterministic Exponential Time has Two-Prover Interactive
               Protocols},
  journal   = {Computational Complexity},
  volume    = {2},
  pages     = {374},
  year      = {1992},
  url       = {https://doi.org/10.1007/BF01200430},
  doi       = {10.1007/BF01200430},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cc/BabaiFL92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cpc/BabaiS92,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Mario Szegedy},
  title     = {Local Expansion of Ssymmetrical Graphs},
  journal   = {Combinatorics, Probability {\&} Computing},
  volume    = {1},
  pages     = {1--11},
  year      = {1992},
  url       = {https://doi.org/10.1017/S0963548300000031},
  doi       = {10.1017/S0963548300000031},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cpc/BabaiS92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cpc/BabaiH92,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               G{\'{a}}bor Hetyei},
  title     = {On the Diameter of Random Cayley Graphs of the Symmetric Group},
  journal   = {Combinatorics, Probability {\&} Computing},
  volume    = {1},
  pages     = {201--208},
  year      = {1992},
  url       = {https://doi.org/10.1017/S0963548300000237},
  doi       = {10.1017/S0963548300000237},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cpc/BabaiH92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ejc/BabaiS92,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               {\'{A}}kos Seress},
  title     = {On the diameter of permutation groups},
  journal   = {Eur. J. Comb.},
  volume    = {13},
  number    = {4},
  pages     = {231--243},
  year      = {1992},
  url       = {https://doi.org/10.1016/S0195-6698(05)80029-0},
  doi       = {10.1016/S0195-6698(05)80029-0},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ejc/BabaiS92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/BabaiNS92,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Noam Nisan and
               Mario Szegedy},
  title     = {Multiparty Protocols, Pseudorandom Generators for Logspace, and Time-Space
               Trade-Offs},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {45},
  number    = {2},
  pages     = {204--232},
  year      = {1992},
  url       = {https://doi.org/10.1016/0022-0000(92)90047-M},
  doi       = {10.1016/0022-0000(92)90047-M},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/BabaiNS92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamdm/Babai92,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Bounded Round Interactive Proofs in Finite Groups},
  journal   = {{SIAM} J. Discrete Math.},
  volume    = {5},
  number    = {1},
  pages     = {88--111},
  year      = {1992},
  url       = {https://doi.org/10.1137/0405008},
  doi       = {10.1137/0405008},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamdm/Babai92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/Babai92,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Deciding Finiteness of Matrix Groups in Las Vegas Polynomial Time},
  booktitle = {Proceedings of the Third Annual {ACM/SIGACT-SIAM} Symposium on Discrete
               Algorithms, 27-29 January 1992, Orlando, Florida.},
  pages     = {33--40},
  year      = {1992},
  crossref  = {DBLP:conf/soda/1992},
  url       = {http://dl.acm.org/citation.cfm?id=139404.139411},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/Babai92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BabaiBT92,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Robert Beals and
               P{\'{a}}l Tak{\'{a}}csi{-}Nagy},
  title     = {Symmetry and Complexity},
  booktitle = {Proceedings of the 24th Annual {ACM} Symposium on Theory of Computing,
               May 4-6, 1992, Victoria, British Columbia, Canada},
  pages     = {438--449},
  year      = {1992},
  crossref  = {DBLP:conf/stoc/STOC24},
  url       = {http://doi.acm.org/10.1145/129712.129754},
  doi       = {10.1145/129712.129754},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/BabaiBT92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cc/BabaiFL91,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Lance Fortnow and
               Carsten Lund},
  title     = {Non-Deterministic Exponential Time has Two-Prover Interactive Protocols},
  journal   = {Computational Complexity},
  volume    = {1},
  pages     = {3--40},
  year      = {1991},
  url       = {https://doi.org/10.1007/BF01200056},
  doi       = {10.1007/BF01200056},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cc/BabaiFL91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cc/BabaiF91,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Lance Fortnow},
  title     = {Arithmetization: {A} New Method in Structural Complexity Theory},
  journal   = {Computational Complexity},
  volume    = {1},
  pages     = {41--66},
  year      = {1991},
  url       = {https://doi.org/10.1007/BF01200057},
  doi       = {10.1007/BF01200057},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cc/BabaiF91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ejc/BabaiGL91,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Albert J. Goodman and
               L{\'{a}}szl{\'{o}} Lov{\'{a}}sz},
  title     = {Graphs with Given Automorphism Group and Few Edge Orbits},
  journal   = {Eur. J. Comb.},
  volume    = {12},
  number    = {3},
  pages     = {185--203},
  year      = {1991},
  url       = {https://doi.org/10.1016/S0195-6698(13)80085-6},
  doi       = {10.1016/S0195-6698(13)80085-6},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ejc/BabaiGL91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jct/AlonBS91,
  author    = {Noga Alon and
               L{\'{a}}szl{\'{o}} Babai and
               H. Suzuki},
  title     = {Multilinear polynomials and Frankl-Ray-Chaudhuri-Wilson type intersection
               theorems},
  journal   = {J. Comb. Theory, Ser. {A}},
  volume    = {58},
  number    = {2},
  pages     = {165--180},
  year      = {1991},
  url       = {https://doi.org/10.1016/0097-3165(91)90058-O},
  doi       = {10.1016/0097-3165(91)90058-O},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jct/AlonBS91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jgt/Babai91,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Vertex-transitive graphs and vertex-transitive maps},
  journal   = {Journal of Graph Theory},
  volume    = {15},
  number    = {6},
  pages     = {587--627},
  year      = {1991},
  url       = {https://doi.org/10.1002/jgt.3190150605},
  doi       = {10.1002/jgt.3190150605},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jgt/Babai91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coco/BabaiN91,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Noam Nisan},
  title     = {{BPP} has Subexponential Time Simulation unless {EXPTIME} has Pubishable
               Proofs},
  booktitle = {Proceedings of the Sixth Annual Structure in Complexity Theory Conference,
               Chicago, Illinois, USA, June 30 - July 3, 1991},
  pages     = {213--219},
  year      = {1991},
  crossref  = {DBLP:conf/coco/1991},
  url       = {https://doi.org/10.1109/SCT.1991.160263},
  doi       = {10.1109/SCT.1991.160263},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coco/BabaiN91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/BabaiLS91,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Eugene M. Luks and
               {\'{A}}kos Seress},
  title     = {Computing Composition Series in Primitive Groups},
  booktitle = {Groups And Computation, Proceedings of a {DIMACS} Workshop, New Brunswick,
               New Jersey, USA, October 7-10, 1991},
  pages     = {1},
  year      = {1991},
  crossref  = {DBLP:conf/dimacs/dimacs11},
  timestamp = {Fri, 15 Jan 2016 21:45:04 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dimacs/BabaiLS91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BabaiF91,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Katalin Friedl},
  title     = {Approximate Representation Theory of Finite Groups},
  booktitle = {32nd Annual Symposium on Foundations of Computer Science, San Juan,
               Puerto Rico, 1-4 October 1991},
  pages     = {733--742},
  year      = {1991},
  crossref  = {DBLP:conf/focs/FOCS32},
  url       = {https://doi.org/10.1109/SFCS.1991.185442},
  doi       = {10.1109/SFCS.1991.185442},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BabaiF91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issac/BabaiCFS91,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Gene Cooperman and
               Larry Finkelstein and
               {\'{A}}kos Seress},
  title     = {Nearly Linear Time Algorithms for Permutation Groups with a Small
               Base},
  booktitle = {Proceedings of the 1991 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '91, Bonn, Germany, July 15-17, 1991},
  pages     = {200--209},
  year      = {1991},
  crossref  = {DBLP:conf/issac/1991},
  url       = {http://doi.acm.org/10.1145/120694.120724},
  doi       = {10.1145/120694.120724},
  timestamp = {Wed, 16 May 2012 18:01:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issac/BabaiCFS91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BabaiFLS91,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Lance Fortnow and
               Leonid A. Levin and
               Mario Szegedy},
  title     = {Checking Computations in Polylogarithmic Time},
  booktitle = {Proceedings of the 23rd Annual {ACM} Symposium on Theory of Computing,
               May 5-8, 1991, New Orleans, Louisiana, {USA}},
  pages     = {21--31},
  year      = {1991},
  crossref  = {DBLP:conf/stoc/STOC23},
  url       = {http://doi.acm.org/10.1145/103418.103428},
  doi       = {10.1145/103418.103428},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/BabaiFLS91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BabaiCFLS91,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Gene Cooperman and
               Larry Finkelstein and
               Eugene M. Luks and
               {\'{A}}kos Seress},
  title     = {Fast Monte Carlo Algorithms for Permutation Groups},
  booktitle = {Proceedings of the 23rd Annual {ACM} Symposium on Theory of Computing,
               May 5-8, 1991, New Orleans, Louisiana, {USA}},
  pages     = {90--100},
  year      = {1991},
  crossref  = {DBLP:conf/stoc/STOC23},
  url       = {http://doi.acm.org/10.1145/103418.103435},
  doi       = {10.1145/103418.103435},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/BabaiCFLS91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Babai91,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Local Expansion of Vertex-Transitive Graphs and Random Generation
               in Finite Groups},
  booktitle = {Proceedings of the 23rd Annual {ACM} Symposium on Theory of Computing,
               May 5-8, 1991, New Orleans, Louisiana, {USA}},
  pages     = {164--174},
  year      = {1991},
  crossref  = {DBLP:conf/stoc/STOC23},
  url       = {http://doi.acm.org/10.1145/103418.103440},
  doi       = {10.1145/103418.103440},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/Babai91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jgt/BabaiSS90,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Mikl{\'{o}}s Simonovits and
               Joel Spencer},
  title     = {Extremal subgraphs of random graphs},
  journal   = {Journal of Graph Theory},
  volume    = {14},
  number    = {5},
  pages     = {599--622},
  year      = {1990},
  url       = {https://doi.org/10.1002/jgt.3190140511},
  doi       = {10.1002/jgt.3190140511},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jgt/BabaiSS90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/BabaiPRS90,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Pavel Pudl{\'{a}}k and
               Vojtech R{\"{o}}dl and
               Endre Szemer{\'{e}}di},
  title     = {Lower Bounds to the Complexity of Symmetric Boolean Functions},
  journal   = {Theor. Comput. Sci.},
  volume    = {74},
  number    = {3},
  pages     = {313--323},
  year      = {1990},
  url       = {https://doi.org/10.1016/0304-3975(90)90080-2},
  doi       = {10.1016/0304-3975(90)90080-2},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/BabaiPRS90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coco/Babai90,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {E-mail and the Unexpected Power of Interaction},
  booktitle = {Proceedings: Fifth Annual Structure in Complexity Theory Conference,
               Universitat Polit{\`{e}}cnica de Catalunya, Barcelona, Spain, July
               8-11, 1990},
  pages     = {30--44},
  year      = {1990},
  crossref  = {DBLP:conf/coco/1990},
  url       = {https://doi.org/10.1109/SCT.1990.113952},
  doi       = {10.1109/SCT.1990.113952},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coco/Babai90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BabaiFL90,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Lance Fortnow and
               Carsten Lund},
  title     = {Non-Deterministic Exponential Time Has Two-Prover Interactive Protocols},
  booktitle = {31st Annual Symposium on Foundations of Computer Science, St. Louis,
               Missouri, USA, October 22-24, 1990, Volume {I}},
  pages     = {16--25},
  year      = {1990},
  crossref  = {DBLP:conf/focs/FOCS31a},
  url       = {https://doi.org/10.1109/FSCS.1990.89520},
  doi       = {10.1109/FSCS.1990.89520},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BabaiFL90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BabaiF90,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Lance Fortnow},
  title     = {A Characterization of {\textbackslash}sharp {P} Arithmetic Straight
               Line Programs},
  booktitle = {31st Annual Symposium on Foundations of Computer Science, St. Louis,
               Missouri, USA, October 22-24, 1990, Volume {I}},
  pages     = {26--34},
  year      = {1990},
  crossref  = {DBLP:conf/focs/FOCS31a},
  url       = {https://doi.org/10.1109/FSCS.1990.89521},
  doi       = {10.1109/FSCS.1990.89521},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BabaiF90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BabaiHKLS90,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               G{\'{a}}bor Hetyei and
               William M. Kantor and
               Alexander Lubotzky and
               {\'{A}}kos Seress},
  title     = {On the Diameter of Finite Groups},
  booktitle = {31st Annual Symposium on Foundations of Computer Science, St. Louis,
               Missouri, USA, October 22-24, 1990, Volume {II}},
  pages     = {857--865},
  year      = {1990},
  crossref  = {DBLP:conf/focs/FOCS31b},
  url       = {https://doi.org/10.1109/FSCS.1990.89608},
  doi       = {10.1109/FSCS.1990.89608},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BabaiHKLS90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ejc/BabaiKL89,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               William M. Kantor and
               A. Lubotsky},
  title     = {Small-diameter Cayley Graphs for Finite Simple Groups},
  journal   = {Eur. J. Comb.},
  volume    = {10},
  number    = {6},
  pages     = {507--522},
  year      = {1989},
  url       = {https://doi.org/10.1016/S0195-6698(89)80067-8},
  doi       = {10.1016/S0195-6698(89)80067-8},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ejc/BabaiKL89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/MoranB89,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Shlomo Moran},
  title     = {Proving Properties of Interactive Proofs by a Generalized Counting
               Technique},
  journal   = {Inf. Comput.},
  volume    = {82},
  number    = {2},
  pages     = {185--197},
  year      = {1989},
  url       = {https://doi.org/10.1016/0890-5401(89)90053-9},
  doi       = {10.1016/0890-5401(89)90053-9},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/MoranB89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jct/Babai89,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {The probability of generating the symmetric group},
  journal   = {J. Comb. Theory, Ser. {A}},
  volume    = {52},
  number    = {1},
  pages     = {148--153},
  year      = {1989},
  url       = {https://doi.org/10.1016/0097-3165(89)90068-X},
  doi       = {10.1016/0097-3165(89)90068-X},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jct/Babai89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BabaiR89,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Lajos R{\'{o}}nyai},
  title     = {Computing Irreducible Representations of Finite Groups},
  booktitle = {30th Annual Symposium on Foundations of Computer Science, Research
               Triangle Park, North Carolina, USA, 30 October - 1 November 1989},
  pages     = {93--98},
  year      = {1989},
  crossref  = {DBLP:conf/focs/FOCS30},
  url       = {https://doi.org/10.1109/SFCS.1989.63461},
  doi       = {10.1109/SFCS.1989.63461},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BabaiR89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BabaiNS89,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Noam Nisan and
               Mario Szegedy},
  title     = {Multiparty Protocols and Logspace-hard Pseudorandom Sequences (Extended
               Abstract)},
  booktitle = {Proceedings of the 21st Annual {ACM} Symposium on Theory of Computing,
               May 14-17, 1989, Seattle, Washigton, {USA}},
  pages     = {1--11},
  year      = {1989},
  crossref  = {DBLP:conf/stoc/STOC21},
  url       = {http://doi.acm.org/10.1145/73007.73008},
  doi       = {10.1145/73007.73008},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/BabaiNS89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/combinatorica/Babai88,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {A short proof of the non-uniform Ray Chauhuri - Wilson inequality},
  journal   = {Combinatorica},
  volume    = {8},
  number    = {1},
  pages     = {133--135},
  year      = {1988},
  url       = {https://doi.org/10.1007/BF02122561},
  doi       = {10.1007/BF02122561},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/combinatorica/Babai88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/BabaiJH88,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Bettina Just and
               Friedhelm {Meyer auf der Heide}},
  title     = {On the Limits of Computations with the Floor Function},
  journal   = {Inf. Comput.},
  volume    = {78},
  number    = {2},
  pages     = {99--107},
  year      = {1988},
  url       = {https://doi.org/10.1016/0890-5401(88)90031-4},
  doi       = {10.1016/0890-5401(88)90031-4},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/BabaiJH88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/BabaiM88,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Shlomo Moran},
  title     = {Arthur-Merlin Games: {A} Randomized Proof System, and a Hierarchy
               of Complexity Classes},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {36},
  number    = {2},
  pages     = {254--276},
  year      = {1988},
  url       = {https://doi.org/10.1016/0022-0000(88)90028-1},
  doi       = {10.1016/0022-0000(88)90028-1},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/BabaiM88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jct/BabaiS88,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               {\'{A}}kos Seress},
  title     = {On the diameter of cayley graphs of the symmetric group},
  journal   = {J. Comb. Theory, Ser. {A}},
  volume    = {49},
  number    = {1},
  pages     = {175--179},
  year      = {1988},
  url       = {https://doi.org/10.1016/0097-3165(88)90033-7},
  doi       = {10.1016/0097-3165(88)90033-7},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jct/BabaiS88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BabaiLS88,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Eugene M. Luks and
               {\'{A}}kos Seress},
  title     = {Fast Management of Permutation Groups},
  booktitle = {29th Annual Symposium on Foundations of Computer Science, White Plains,
               New York, USA, 24-26 October 1988},
  pages     = {272--282},
  year      = {1988},
  crossref  = {DBLP:conf/focs/FOCS29},
  url       = {https://doi.org/10.1109/SFCS.1988.21943},
  doi       = {10.1109/SFCS.1988.21943},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BabaiLS88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dm/Babai87,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {On the Nonuniform Fisher Inequality},
  journal   = {Discrete Mathematics},
  volume    = {66},
  number    = {3},
  pages     = {303--307},
  year      = {1987},
  url       = {https://doi.org/10.1016/0012-365X(87)90106-3},
  doi       = {10.1016/0012-365X(87)90106-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dm/Babai87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/Babai87,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Random Oracles Separate {PSPACE} from the Polynomial-Time Hierarchy},
  journal   = {Inf. Process. Lett.},
  volume    = {26},
  number    = {1},
  pages     = {51--53},
  year      = {1987},
  url       = {https://doi.org/10.1016/0020-0190(87)90036-6},
  doi       = {10.1016/0020-0190(87)90036-6},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ipl/Babai87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/BabaiHST87,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               P{\'{e}}ter Hajnal and
               Endre Szemer{\'{e}}di and
               Gy{\"{o}}rgy Tur{\'{a}}n},
  title     = {A Lower Bound for Read-Once-Only Branching Programs},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {35},
  number    = {2},
  pages     = {153--162},
  year      = {1987},
  url       = {https://doi.org/10.1016/0022-0000(87)90010-9},
  doi       = {10.1016/0022-0000(87)90010-9},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/BabaiHST87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jct/BabaiS87,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               {\'{A}}kos Seress},
  title     = {On the degree of transitivity of permutation groups: {A} short proof},
  journal   = {J. Comb. Theory, Ser. {A}},
  volume    = {45},
  number    = {2},
  pages     = {310--315},
  year      = {1987},
  url       = {https://doi.org/10.1016/0097-3165(87)90023-9},
  doi       = {10.1016/0097-3165(87)90023-9},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jct/BabaiS87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mlq/BabaiT87,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Gy{\"{o}}rgy Tur{\'{a}}n},
  title     = {The Complexity of Defining a Relation on a Finite Graph},
  journal   = {Math. Log. Q.},
  volume    = {33},
  number    = {3},
  pages     = {277--288},
  year      = {1987},
  url       = {https://doi.org/10.1002/malq.19870330312},
  doi       = {10.1002/malq.19870330312},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mlq/BabaiT87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BabaiLS87,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Eugene M. Luks and
               {\'{A}}kos Seress},
  title     = {Permutation Groups in {NC}},
  booktitle = {Proceedings of the 19th Annual {ACM} Symposium on Theory of Computing,
               1987, New York, New York, {USA}},
  pages     = {409--420},
  year      = {1987},
  crossref  = {DBLP:conf/stoc/STOC19},
  url       = {http://doi.acm.org/10.1145/28395.28439},
  doi       = {10.1145/28395.28439},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/BabaiLS87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/combinatorica/Babai86,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {On Lov{\'{a}}sz' lattice reduction and the nearest lattice point
               problem},
  journal   = {Combinatorica},
  volume    = {6},
  number    = {1},
  pages     = {1--13},
  year      = {1986},
  url       = {https://doi.org/10.1007/BF02579403},
  doi       = {10.1007/BF02579403},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/combinatorica/Babai86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jal/AlonBI86,
  author    = {Noga Alon and
               L{\'{a}}szl{\'{o}} Babai and
               Alon Itai},
  title     = {A Fast and Simple Randomized Parallel Algorithm for the Maximal Independent
               Set Problem},
  journal   = {J. Algorithms},
  volume    = {7},
  number    = {4},
  pages     = {567--583},
  year      = {1986},
  url       = {https://doi.org/10.1016/0196-6774(86)90019-2},
  doi       = {10.1016/0196-6774(86)90019-2},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jal/AlonBI86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/Babai86,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {A Las Vegas-NC Algorithm for isomorphism of graphs with bounded multiplicity
               of eigenvalues},
  booktitle = {27th Annual Symposium on Foundations of Computer Science, Toronto,
               Canada, 27-29 October 1986},
  pages     = {303--312},
  year      = {1986},
  crossref  = {DBLP:conf/focs/FOCS27},
  url       = {https://doi.org/10.1109/SFCS.1986.1},
  doi       = {10.1109/SFCS.1986.1},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/Babai86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BabaiFS86,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Peter Frankl and
               Janos Simon},
  title     = {Complexity classes in communication complexity theory (preliminary
               version)},
  booktitle = {27th Annual Symposium on Foundations of Computer Science, Toronto,
               Canada, 27-29 October 1986},
  pages     = {337--347},
  year      = {1986},
  crossref  = {DBLP:conf/focs/FOCS27},
  url       = {https://doi.org/10.1109/SFCS.1986.15},
  doi       = {10.1109/SFCS.1986.15},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BabaiFS86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AjtaiBHKPRST86,
  author    = {Mikl{\'{o}}s Ajtai and
               L{\'{a}}szl{\'{o}} Babai and
               P{\'{e}}ter Hajnal and
               J{\'{a}}nos Koml{\'{o}}s and
               Pavel Pudl{\'{a}}k and
               Vojtech R{\"{o}}dl and
               Endre Szemer{\'{e}}di and
               Gy{\"{o}}rgy Tur{\'{a}}n},
  title     = {Two lower bounds for branching programs},
  booktitle = {Proceedings of the 18th Annual {ACM} Symposium on Theory of Computing,
               May 28-30, 1986, Berkeley, California, {USA}},
  pages     = {30--38},
  year      = {1986},
  crossref  = {DBLP:conf/stoc/STOC18},
  url       = {http://doi.acm.org/10.1145/12130.12134},
  doi       = {10.1145/12130.12134},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/AjtaiBHKPRST86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ejc/BabaiS85,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Vera T. S{\'{o}}s},
  title     = {Sidon Sets in Groups and Induced Subgraphs of Cayley Graphs},
  journal   = {Eur. J. Comb.},
  volume    = {6},
  number    = {2},
  pages     = {101--114},
  year      = {1985},
  url       = {https://doi.org/10.1016/S0195-6698(85)80001-9},
  doi       = {10.1016/S0195-6698(85)80001-9},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ejc/BabaiS85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/gc/Babai85,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {An anti-Ramsey theorem},
  journal   = {Graphs and Combinatorics},
  volume    = {1},
  number    = {1},
  pages     = {23--28},
  year      = {1985},
  url       = {https://doi.org/10.1007/BF02582925},
  doi       = {10.1007/BF02582925},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/gc/Babai85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jgt/Babai85,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Arc transitive covering digraphs and their eigenvalues},
  journal   = {Journal of Graph Theory},
  volume    = {9},
  number    = {3},
  pages     = {363--370},
  year      = {1985},
  url       = {https://doi.org/10.1002/jgt.3190090308},
  doi       = {10.1002/jgt.3190090308},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jgt/Babai85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Babai85,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {On Lov{\'{a}}sz' Lattice Reduction and the Nearest Lattice Point
               Problem (Shortened Version)},
  booktitle = {{STACS} 85, 2nd Symposium of Theoretical Aspects of Computer Science,
               Saarbr{\"{u}}cken, Germany, January 3-5, 1985, Proceedings},
  pages     = {13--20},
  year      = {1985},
  crossref  = {DBLP:conf/stacs/1985},
  url       = {https://doi.org/10.1007/BFb0023990},
  doi       = {10.1007/BFb0023990},
  timestamp = {Fri, 19 May 2017 12:26:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stacs/Babai85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Babai85,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Trading Group Theory for Randomness},
  booktitle = {Proceedings of the 17th Annual {ACM} Symposium on Theory of Computing,
               May 6-8, 1985, Providence, Rhode Island, {USA}},
  pages     = {421--429},
  year      = {1985},
  crossref  = {DBLP:conf/stoc/STOC17},
  url       = {http://doi.acm.org/10.1145/22145.22192},
  doi       = {10.1145/22145.22192},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/Babai85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BabaiS84,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Endre Szemer{\'{e}}di},
  title     = {On the Complexity of Matrix Group Problems {I}},
  booktitle = {25th Annual Symposium on Foundations of Computer Science, West Palm
               Beach, Florida, USA, 24-26 October 1984},
  pages     = {229--240},
  year      = {1984},
  crossref  = {DBLP:conf/focs/FOCS25},
  url       = {https://doi.org/10.1109/SFCS.1984.715919},
  doi       = {10.1109/SFCS.1984.715919},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BabaiS84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BabaiKL83,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               William M. Kantor and
               Eugene M. Luks},
  title     = {Computational Complexity and the Classification of Finite Simple Groups},
  booktitle = {24th Annual Symposium on Foundations of Computer Science, Tucson,
               Arizona, USA, 7-9 November 1983},
  pages     = {162--171},
  year      = {1983},
  crossref  = {DBLP:conf/focs/FOCS24},
  url       = {https://doi.org/10.1109/SFCS.1983.10},
  doi       = {10.1109/SFCS.1983.10},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BabaiKL83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BabaiL83,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Eugene M. Luks},
  title     = {Canonical Labeling of Graphs},
  booktitle = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
               25-27 April, 1983, Boston, Massachusetts, {USA}},
  pages     = {171--183},
  year      = {1983},
  crossref  = {DBLP:conf/stoc/STOC15},
  url       = {http://doi.acm.org/10.1145/800061.808746},
  doi       = {10.1145/800061.808746},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/BabaiL83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ejc/BabaiG82,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Chris D. Godsil},
  title     = {On the Automorphism Groups of almost all Cayley Graphs},
  journal   = {Eur. J. Comb.},
  volume    = {3},
  number    = {1},
  pages     = {9--15},
  year      = {1982},
  url       = {https://doi.org/10.1016/S0195-6698(82)80003-6},
  doi       = {10.1016/S0195-6698(82)80003-6},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ejc/BabaiG82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BabaiGM82,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               D. Yu. Grigoryev and
               David M. Mount},
  title     = {Isomorphism of Graphs with Bounded Eigenvalue Multiplicity},
  booktitle = {Proceedings of the 14th Annual {ACM} Symposium on Theory of Computing,
               May 5-7, 1982, San Francisco, California, {USA}},
  pages     = {310--324},
  year      = {1982},
  crossref  = {DBLP:conf/stoc/STOC14},
  url       = {http://doi.acm.org/10.1145/800070.802206},
  doi       = {10.1145/800070.802206},
  timestamp = {Sun, 21 May 2017 00:22:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/BabaiGM82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fct/Babai81,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Moderately Exponential Bound for Graph Isomorphism},
  booktitle = {Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981
               International FCT-Conference, Szeged, Hungary, August 24-28, 1981},
  pages     = {34--50},
  year      = {1981},
  crossref  = {DBLP:conf/fct/1981},
  url       = {https://doi.org/10.1007/3-540-10854-8_4},
  doi       = {10.1007/3-540-10854-8_4},
  timestamp = {Fri, 19 May 2017 12:26:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/Babai81},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jct/BabaiF80,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Peter Frankl},
  title     = {On Set Intersections},
  journal   = {J. Comb. Theory, Ser. {A}},
  volume    = {28},
  number    = {1},
  pages     = {103--105},
  year      = {1980},
  url       = {https://doi.org/10.1016/0097-3165(80)90063-1},
  doi       = {10.1016/0097-3165(80)90063-1},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jct/BabaiF80},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jct/BabaiP80,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Ales Pultr},
  title     = {Endomorphism monoids and topological subgraphs of graphs},
  journal   = {J. Comb. Theory, Ser. {B}},
  volume    = {28},
  number    = {3},
  pages     = {278--283},
  year      = {1980},
  url       = {https://doi.org/10.1016/0095-8956(80)90073-8},
  doi       = {10.1016/0095-8956(80)90073-8},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jct/BabaiP80},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/Babai80,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {On the Complexity of Canonical Labeling of Strongly Regular Graphs},
  journal   = {{SIAM} J. Comput.},
  volume    = {9},
  number    = {1},
  pages     = {212--216},
  year      = {1980},
  url       = {https://doi.org/10.1137/0209018},
  doi       = {10.1137/0209018},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/Babai80},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/BabaiES80,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Paul Erd{\"{o}}s and
               Stanley M. Selkow},
  title     = {Random Graph Isomorphism},
  journal   = {{SIAM} J. Comput.},
  volume    = {9},
  number    = {3},
  pages     = {628--635},
  year      = {1980},
  url       = {https://doi.org/10.1137/0209047},
  doi       = {10.1137/0209047},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/BabaiES80},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jct/Babai79,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Spectra of Cayley graphs},
  journal   = {J. Comb. Theory, Ser. {B}},
  volume    = {27},
  number    = {2},
  pages     = {180--189},
  year      = {1979},
  url       = {https://doi.org/10.1016/0095-8956(79)90079-0},
  doi       = {10.1016/0095-8956(79)90079-0},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jct/Babai79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jgt/Babai79,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Long cycles in vertex-transitive graphs},
  journal   = {Journal of Graph Theory},
  volume    = {3},
  number    = {3},
  pages     = {301--304},
  year      = {1979},
  url       = {https://doi.org/10.1002/jgt.3190030314},
  doi       = {10.1002/jgt.3190030314},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jgt/Babai79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BabaiK79,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Ludek Kucera},
  title     = {Canonical Labelling of Graphs in Linear Average Time},
  booktitle = {20th Annual Symposium on Foundations of Computer Science, San Juan,
               Puerto Rico, 29-31 October 1979},
  pages     = {39--46},
  year      = {1979},
  crossref  = {DBLP:conf/focs/FOCS20},
  url       = {https://doi.org/10.1109/SFCS.1979.8},
  doi       = {10.1109/SFCS.1979.8},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/BabaiK79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dm/Babai78,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Vector representable matroids of given rank with given automorphism
               group},
  journal   = {Discrete Mathematics},
  volume    = {24},
  number    = {2},
  pages     = {119--125},
  year      = {1978},
  url       = {https://doi.org/10.1016/0012-365X(78)90190-5},
  doi       = {10.1016/0012-365X(78)90190-5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dm/Babai78},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jct/Babai78,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Infinite digraphs with given regular automorphism groups},
  journal   = {J. Comb. Theory, Ser. {B}},
  volume    = {25},
  number    = {1},
  pages     = {26--46},
  year      = {1978},
  url       = {https://doi.org/10.1016/S0095-8956(78)80008-2},
  doi       = {10.1016/S0095-8956(78)80008-2},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jct/Babai78},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jgt/Babai77,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Some applications of graph contractions},
  journal   = {Journal of Graph Theory},
  volume    = {1},
  number    = {2},
  pages     = {125--130},
  year      = {1977},
  url       = {https://doi.org/10.1002/jgt.3190010207},
  doi       = {10.1002/jgt.3190010207},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jgt/Babai77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dm/Babai74,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Automorphism groups of graphs and edge-contraction},
  journal   = {Discrete Mathematics},
  volume    = {8},
  number    = {1},
  pages     = {13--20},
  year      = {1974},
  url       = {https://doi.org/10.1016/0012-365X(74)90104-6},
  doi       = {10.1016/0012-365X(74)90104-6},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dm/Babai74},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dm/BabaiI73,
  author    = {L{\'{a}}szl{\'{o}} Babai and
               Wilfried Imrich},
  title     = {On groups of polyhedral graphs},
  journal   = {Discrete Mathematics},
  volume    = {5},
  number    = {1},
  pages     = {101--103},
  year      = {1973},
  url       = {https://doi.org/10.1016/0012-365X(73)90030-7},
  doi       = {10.1016/0012-365X(73)90030-7},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dm/BabaiI73},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dm/Babai72,
  author    = {L{\'{a}}szl{\'{o}} Babai},
  title     = {Automorphism groups of planar graphs {I}},
  journal   = {Discrete Mathematics},
  volume    = {2},
  number    = {4},
  pages     = {295--307},
  year      = {1972},
  url       = {https://doi.org/10.1016/0012-365X(72)90010-6},
  doi       = {10.1016/0012-365X(72)90010-6},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dm/Babai72},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/2016,
  editor    = {Daniel Wichs and
               Yishay Mansour},
  title     = {Proceedings of the 48th Annual {ACM} {SIGACT} Symposium on Theory
               of Computing, {STOC} 2016, Cambridge, MA, USA, June 18-21, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2897518},
  isbn      = {978-1-4503-4132-5},
  timestamp = {Fri, 10 Jun 2016 10:30:30 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/innovations/2014,
  editor    = {Moni Naor},
  title     = {Innovations in Theoretical Computer Science, ITCS'14, Princeton, NJ,
               USA, January 12-14, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2554797},
  isbn      = {978-1-4503-2698-8},
  timestamp = {Fri, 14 Feb 2014 17:36:37 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/innovations/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/2013,
  title     = {54th Annual {IEEE} Symposium on Foundations of Computer Science, {FOCS}
               2013, 26-29 October, 2013, Berkeley, CA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6685222},
  isbn      = {978-0-7695-5135-7},
  timestamp = {Mon, 15 Dec 2014 18:48:45 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/2013,
  editor    = {Dan Boneh and
               Tim Roughgarden and
               Joan Feigenbaum},
  title     = {Symposium on Theory of Computing Conference, STOC'13, Palo Alto, CA,
               USA, June 1-4, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2488608},
  isbn      = {978-1-4503-2029-0},
  timestamp = {Sun, 26 May 2013 10:30:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/2012-1,
  editor    = {Artur Czumaj and
               Kurt Mehlhorn and
               Andrew M. Pitts and
               Roger Wattenhofer},
  title     = {Automata, Languages, and Programming - 39th International Colloquium,
               {ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7391},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31594-7},
  doi       = {10.1007/978-3-642-31594-7},
  isbn      = {978-3-642-31593-0},
  timestamp = {Sun, 04 Jun 2017 10:07:30 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/2012-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stacs/2012,
  editor    = {Christoph D{\"{u}}rr and
               Thomas Wilke},
  title     = {29th International Symposium on Theoretical Aspects of Computer Science,
               {STACS} 2012, February 29th - March 3rd, 2012, Paris, France},
  series    = {LIPIcs},
  volume    = {14},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2012},
  url       = {http://drops.dagstuhl.de/portals/extern/index.php?semnr=12001},
  isbn      = {978-3-939897-35-4},
  timestamp = {Tue, 26 Feb 2013 10:42:52 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/stacs/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csr/2011,
  editor    = {Alexander S. Kulikov and
               Nikolay K. Vereshchagin},
  title     = {Computer Science - Theory and Applications - 6th International Computer
               Science Symposium in Russia, {CSR} 2011, St. Petersburg, Russia, June
               14-18, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6651},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20712-9},
  doi       = {10.1007/978-3-642-20712-9},
  isbn      = {978-3-642-20711-2},
  timestamp = {Wed, 17 May 2017 14:24:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csr/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/2011,
  editor    = {Dana Randall},
  title     = {Proceedings of the Twenty-Second Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2011, San Francisco, California, USA, January 23-25,
               2011},
  publisher = {{SIAM}},
  year      = {2011},
  url       = {https://doi.org/10.1137/1.9781611973082},
  doi       = {10.1137/1.9781611973082},
  isbn      = {978-0-89871-993-2},
  timestamp = {Wed, 24 May 2017 08:31:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/soda/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2010,
  editor    = {Petr Hlinen{\'{y}} and
               Anton{\'{\i}}n Kucera},
  title     = {Mathematical Foundations of Computer Science 2010, 35th International
               Symposium, {MFCS} 2010, Brno, Czech Republic, August 23-27, 2010.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6281},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15155-2},
  doi       = {10.1007/978-3-642-15155-2},
  isbn      = {978-3-642-15154-5},
  timestamp = {Thu, 25 May 2017 00:43:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stacs/2010,
  editor    = {Jean{-}Yves Marion and
               Thomas Schwentick},
  title     = {27th International Symposium on Theoretical Aspects of Computer Science,
               {STACS} 2010, March 4-6, 2010, Nancy, France},
  series    = {LIPIcs},
  volume    = {5},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2010},
  isbn      = {978-3-939897-16-3},
  timestamp = {Mon, 12 Apr 2010 09:53:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stacs/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/2009,
  editor    = {Michael Mitzenmacher},
  title     = {Proceedings of the 41st Annual {ACM} Symposium on Theory of Computing,
               {STOC} 2009, Bethesda, MD, USA, May 31 - June 2, 2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-506-2},
  timestamp = {Fri, 05 Jun 2009 09:31:27 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/2008,
  title     = {49th Annual {IEEE} Symposium on Foundations of Computer Science, {FOCS}
               2008, October 25-28, 2008, Philadelphia, PA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4690923},
  isbn      = {978-0-7695-3436-7},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/2008,
  editor    = {Shang{-}Hua Teng},
  title     = {Proceedings of the Nineteenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2008, San Francisco, California, USA, January 20-22,
               2008},
  publisher = {{SIAM}},
  year      = {2008},
  url       = {http://dl.acm.org/citation.cfm?id=1347082},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/2007,
  editor    = {Nikhil Bansal and
               Kirk Pruhs and
               Clifford Stein},
  title     = {Proceedings of the Eighteenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2007, New Orleans, Louisiana, USA, January 7-9,
               2007},
  publisher = {{SIAM}},
  year      = {2007},
  url       = {http://dl.acm.org/citation.cfm?id=1283383},
  isbn      = {978-0-898716-24-5},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/2006,
  title     = {Proceedings of the Seventeenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2006, Miami, Florida, USA, January 22-26, 2006},
  publisher = {{ACM} Press},
  year      = {2006},
  url       = {http://dl.acm.org/citation.cfm?id=1109557},
  isbn      = {0-89871-605-5},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/2005,
  title     = {Proceedings of the Sixteenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2005, Vancouver, British Columbia, Canada, January
               23-25, 2005},
  publisher = {{SIAM}},
  year      = {2005},
  url       = {http://dl.acm.org/citation.cfm?id=1070432},
  isbn      = {0-89871-585-7},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/2004,
  editor    = {J. Ian Munro},
  title     = {Proceedings of the Fifteenth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, {SODA} 2004, New Orleans, Louisiana, USA, January 11-14,
               2004},
  publisher = {{SIAM}},
  year      = {2004},
  url       = {http://dl.acm.org/citation.cfm?id=982792},
  isbn      = {0-89871-558-X},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/2003,
  title     = {44th Symposium on Foundations of Computer Science {(FOCS} 2003), 11-14
               October 2003, Cambridge, MA, USA, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8767},
  isbn      = {0-7695-2040-5},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/2000,
  editor    = {David B. Shmoys},
  title     = {Proceedings of the Eleventh Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, January 9-11, 2000, San Francisco, CA, {USA}},
  publisher = {{ACM/SIAM}},
  year      = {2000},
  url       = {http://dl.acm.org/citation.cfm?id=338219},
  isbn      = {0-89871-453-2},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coco/1999,
  title     = {Proceedings of the 14th Annual {IEEE} Conference on Computational
               Complexity, Atlanta, Georgia, USA, May 4-6, 1999},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6217},
  isbn      = {0-7695-0075-7},
  timestamp = {Fri, 13 May 2016 10:31:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coco/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/1998,
  editor    = {Jeffrey Scott Vitter},
  title     = {Proceedings of the Thirtieth Annual {ACM} Symposium on the Theory
               of Computing, Dallas, Texas, USA, May 23-26, 1998},
  publisher = {{ACM}},
  year      = {1998},
  isbn      = {0-89791-962-9},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coco/1997,
  title     = {Proceedings of the Twelfth Annual {IEEE} Conference on Computational
               Complexity, Ulm, Germany, June 24-27, 1997},
  publisher = {{IEEE} Computer Society},
  year      = {1997},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4843},
  isbn      = {0-8186-7907-7},
  timestamp = {Fri, 13 May 2016 10:33:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coco/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1997,
  editor    = {Igor Pr{\'{\i}}vara and
               Peter Ruzicka},
  title     = {Mathematical Foundations of Computer Science 1997, 22nd International
               Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1295},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0029943},
  doi       = {10.1007/BFb0029943},
  isbn      = {3-540-63437-1},
  timestamp = {Mon, 22 May 2017 17:11:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/1997,
  editor    = {Michael E. Saks},
  title     = {Proceedings of the Eighth Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, 5-7 January 1997, New Orleans, Louisiana},
  publisher = {{ACM/SIAM}},
  year      = {1997},
  url       = {http://dl.acm.org/citation.cfm?id=314161},
  isbn      = {0-89871-390-0},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/1997,
  editor    = {Frank Thomson Leighton and
               Peter W. Shor},
  title     = {Proceedings of the Twenty-Ninth Annual {ACM} Symposium on the Theory
               of Computing, El Paso, Texas, USA, May 4-6, 1997},
  publisher = {{ACM}},
  year      = {1997},
  isbn      = {0-89791-888-6},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/1996,
  editor    = {{\'{E}}va Tardos},
  title     = {Proceedings of the Seventh Annual {ACM-SIAM} Symposium on Discrete
               Algorithms, 28-30 January 1996, Atlanta, Georgia},
  publisher = {{ACM/SIAM}},
  year      = {1996},
  url       = {http://dl.acm.org/citation.cfm?id=313852},
  isbn      = {0-89871-366-8},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/1996,
  editor    = {Gary L. Miller},
  title     = {Proceedings of the Twenty-Eighth Annual {ACM} Symposium on the Theory
               of Computing, Philadelphia, Pennsylvania, USA, May 22-24, 1996},
  publisher = {{ACM}},
  year      = {1996},
  isbn      = {0-89791-785-5},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dimacs/dimacs28,
  editor    = {Larry Finkelstein and
               William M. Kantor},
  title     = {Groups and Computation, Proceedings of a {DIMACS} Workshop, New Brunswick,
               New Jersey, USA, June 7-10, 1995},
  series    = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume    = {28},
  publisher = {{DIMACS/AMS}},
  year      = {1996},
  url       = {http://dimacs.rutgers.edu/Volumes/Vol28.html},
  timestamp = {Mon, 14 Mar 2016 19:27:05 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dimacs/dimacs28},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS34,
  title     = {34th Annual Symposium on Foundations of Computer Science, Palo Alto,
               California, USA, 3-5 November 1993},
  publisher = {{IEEE} Computer Society},
  year      = {1993},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=2962},
  isbn      = {0-8186-4370-6},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS34},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issac/1993,
  editor    = {Manuel Bronstein},
  title     = {Proceedings of the 1993 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '93, Kiev, Ukraine, July 6-8, 1993},
  publisher = {{ACM}},
  year      = {1993},
  url       = {http://dl.acm.org/citation.cfm?id=164081},
  isbn      = {0-89791-604-2},
  timestamp = {Wed, 16 May 2012 18:01:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issac/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stacs/1993,
  editor    = {Patrice Enjalbert and
               Alain Finkel and
               Klaus W. Wagner},
  title     = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
               Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {665},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56503-5},
  doi       = {10.1007/3-540-56503-5},
  isbn      = {3-540-56503-5},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stacs/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/1992,
  editor    = {Greg N. Frederickson},
  title     = {Proceedings of the Third Annual {ACM/SIGACT-SIAM} Symposium on Discrete
               Algorithms, 27-29 January 1992, Orlando, Florida},
  publisher = {{ACM/SIAM}},
  year      = {1992},
  url       = {http://dl.acm.org/citation.cfm?id=139404},
  isbn      = {0-89791-466-X},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC24,
  editor    = {S. Rao Kosaraju and
               Mike Fellows and
               Avi Wigderson and
               John A. Ellis},
  title     = {Proceedings of the 24th Annual {ACM} Symposium on Theory of Computing,
               May 4-6, 1992, Victoria, British Columbia, Canada},
  publisher = {{ACM}},
  year      = {1992},
  isbn      = {0-89791-511-9},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC24},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coco/1991,
  title     = {Proceedings of the Sixth Annual Structure in Complexity Theory Conference,
               Chicago, Illinois, USA, June 30 - July 3, 1991},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=364},
  isbn      = {0-8186-2255-5},
  timestamp = {Fri, 13 May 2016 10:39:09 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coco/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dimacs/dimacs11,
  editor    = {Larry Finkelstein and
               William M. Kantor},
  title     = {Groups And Computation, Proceedings of a {DIMACS} Workshop, New Brunswick,
               New Jersey, USA, October 7-10, 1991},
  series    = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume    = {11},
  publisher = {{DIMACS/AMS}},
  year      = {1993},
  url       = {http://dimacs.rutgers.edu/Volumes/Vol11.html},
  timestamp = {Fri, 15 Jan 2016 21:45:04 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dimacs/dimacs11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS32,
  title     = {32nd Annual Symposium on Foundations of Computer Science, San Juan,
               Puerto Rico, 1-4 October 1991},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=379},
  isbn      = {0-8186-2445-0},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS32},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issac/1991,
  editor    = {Stephen M. Watt},
  title     = {Proceedings of the 1991 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '91, Bonn, Germany, July 15-17, 1991},
  publisher = {{ACM}},
  year      = {1991},
  url       = {http://dl.acm.org/citation.cfm?id=120694},
  isbn      = {0-89791-437-6},
  timestamp = {Wed, 16 May 2012 18:01:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issac/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC23,
  editor    = {Cris Koutsougeras and
               Jeffrey Scott Vitter},
  title     = {Proceedings of the 23rd Annual {ACM} Symposium on Theory of Computing,
               May 5-8, 1991, New Orleans, Louisiana, {USA}},
  publisher = {{ACM}},
  year      = {1991},
  isbn      = {0-89791-397-3},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC23},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coco/1990,
  title     = {Proceedings: Fifth Annual Structure in Complexity Theory Conference,
               Universitat Polit{\`{e}}cnica de Catalunya, Barcelona, Spain, July
               8-11, 1990},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=476},
  isbn      = {0-8186-2072-2},
  timestamp = {Fri, 13 May 2016 10:39:30 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coco/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS31a,
  title     = {31st Annual Symposium on Foundations of Computer Science, St. Louis,
               Missouri, USA, October 22-24, 1990, Volume {I}},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=310},
  isbn      = {0-8186-2082-X},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS31a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS31b,
  title     = {31st Annual Symposium on Foundations of Computer Science, St. Louis,
               Missouri, USA, October 22-24, 1990, Volume {II}},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=310},
  timestamp = {Mon, 15 Jun 2015 19:00:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS31b},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS30,
  title     = {30th Annual Symposium on Foundations of Computer Science, Research
               Triangle Park, North Carolina, USA, 30 October - 1 November 1989},
  publisher = {{IEEE} Computer Society},
  year      = {1989},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=260},
  isbn      = {0-8186-1982-1},
  timestamp = {Mon, 15 Dec 2014 18:48:45 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS30},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC21,
  editor    = {David S. Johnson},
  title     = {Proceedings of the 21st Annual {ACM} Symposium on Theory of Computing,
               May 14-17, 1989, Seattle, Washigton, {USA}},
  publisher = {{ACM}},
  year      = {1989},
  isbn      = {0-89791-307-8},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC21},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS29,
  title     = {29th Annual Symposium on Foundations of Computer Science, White Plains,
               New York, USA, 24-26 October 1988},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=219},
  isbn      = {0-8186-0877-3},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS29},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC19,
  editor    = {Alfred V. Aho},
  title     = {Proceedings of the 19th Annual {ACM} Symposium on Theory of Computing,
               1987, New York, New York, {USA}},
  publisher = {{ACM}},
  year      = {1987},
  isbn      = {0-89791-221-7},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC19},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS27,
  title     = {27th Annual Symposium on Foundations of Computer Science, Toronto,
               Canada, 27-29 October 1986},
  publisher = {{IEEE} Computer Society},
  year      = {1986},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4568183},
  isbn      = {0-8186-0740-8},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS27},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC18,
  editor    = {Juris Hartmanis},
  title     = {Proceedings of the 18th Annual {ACM} Symposium on Theory of Computing,
               May 28-30, 1986, Berkeley, California, {USA}},
  publisher = {{ACM}},
  year      = {1986},
  isbn      = {0-89791-193-8},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC18},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stacs/1985,
  editor    = {Kurt Mehlhorn},
  title     = {{STACS} 85, 2nd Symposium of Theoretical Aspects of Computer Science,
               Saarbr{\"{u}}cken, Germany, January 3-5, 1985, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {182},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/BFb0023988},
  doi       = {10.1007/BFb0023988},
  isbn      = {3-540-13912-5},
  timestamp = {Fri, 19 May 2017 12:26:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stacs/1985},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC17,
  editor    = {Robert Sedgewick},
  title     = {Proceedings of the 17th Annual {ACM} Symposium on Theory of Computing,
               May 6-8, 1985, Providence, Rhode Island, {USA}},
  publisher = {{ACM}},
  year      = {1985},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS25,
  title     = {25th Annual Symposium on Foundations of Computer Science, West Palm
               Beach, Florida, USA, 24-26 October 1984},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5813},
  isbn      = {0-8186-0591-X},
  timestamp = {Mon, 15 Dec 2014 18:48:45 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS25},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS24,
  title     = {24th Annual Symposium on Foundations of Computer Science, Tucson,
               Arizona, USA, 7-9 November 1983},
  publisher = {{IEEE} Computer Society},
  year      = {1983},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4568048},
  isbn      = {0-8186-0508-1},
  timestamp = {Mon, 15 Dec 2014 18:48:45 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS24},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC15,
  editor    = {David S. Johnson and
               Ronald Fagin and
               Michael L. Fredman and
               David Harel and
               Richard M. Karp and
               Nancy A. Lynch and
               Christos H. Papadimitriou and
               Ronald L. Rivest and
               Walter L. Ruzzo and
               Joel I. Seiferas},
  title     = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
               25-27 April, 1983, Boston, Massachusetts, {USA}},
  publisher = {{ACM}},
  year      = {1983},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC14,
  editor    = {Harry R. Lewis and
               Barbara B. Simons and
               Walter A. Burkhard and
               Lawrence H. Landweber},
  title     = {Proceedings of the 14th Annual {ACM} Symposium on Theory of Computing,
               May 5-7, 1982, San Francisco, California, {USA}},
  publisher = {{ACM}},
  year      = {1982},
  url       = {http://doi.acm.org/10.1145/800070},
  doi       = {10.1145/800070},
  isbn      = {0-89791-067-2},
  timestamp = {Sun, 21 May 2017 00:22:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fct/1981,
  editor    = {Ferenc G{\'{e}}cseg},
  title     = {Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981
               International FCT-Conference, Szeged, Hungary, August 24-28, 1981},
  series    = {Lecture Notes in Computer Science},
  volume    = {117},
  publisher = {Springer},
  year      = {1981},
  url       = {https://doi.org/10.1007/3-540-10854-8},
  doi       = {10.1007/3-540-10854-8},
  isbn      = {3-540-10854-8},
  timestamp = {Fri, 19 May 2017 12:26:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/1981},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS20,
  title     = {20th Annual Symposium on Foundations of Computer Science, San Juan,
               Puerto Rico, 29-31 October 1979},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4567990},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS20},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier