BibBase knuth, d

The Art of Computer Programming, Volume I: Fundamental Algorithms. Knuth, D. E. Addison-Wesley, 1968.
link bibtex

@book{DBLP:books/aw/Knuth68,
  author    = {Donald E. Knuth},
  title     = {The Art of Computer Programming, Volume {I:} Fundamental Algorithms},
  publisher = {Addison-Wesley},
  year      = {1968},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/books/aw/Knuth68.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

The Art of Computer Programming, Volume III: Sorting and Searching. Knuth, D. E. Addison-Wesley, 1973.
link bibtex

@book{DBLP:books/aw/Knuth73,
  author    = {Donald E. Knuth},
  title     = {The Art of Computer Programming, Volume {III:} Sorting and Searching},
  publisher = {Addison-Wesley},
  year      = {1973},
  isbn      = {0-201-03803-X},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/books/aw/Knuth73.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Fast Pattern Matching in Strings. Knuth, D. E.; Jr., J. H. M.; and Pratt, V. R. SIAM J. Comput., 6(2): 323–350. 1977.

Paper doi link bibtex

@article{DBLP:journals/siamcomp/KnuthMP77,
  author    = {Donald E. Knuth and
               James H. Morris Jr. and
               Vaughan R. Pratt},
  title     = {Fast Pattern Matching in Strings},
  journal   = {{SIAM} J. Comput.},
  volume    = {6},
  number    = {2},
  pages     = {323--350},
  year      = {1977},
  url       = {https://doi.org/10.1137/0206024},
  doi       = {10.1137/0206024},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/siamcomp/KnuthMP77.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Semantics of Context-Free Languages. Knuth, D. E. Math. Syst. Theory, 2(2): 127–145. 1968.

Semantics of Context-Free Languages [link]

Paper doi link bibtex

@article{DBLP:journals/mst/Knuth68,
  author    = {Donald E. Knuth},
  title     = {Semantics of Context-Free Languages},
  journal   = {Math. Syst. Theory},
  volume    = {2},
  number    = {2},
  pages     = {127--145},
  year      = {1968},
  url       = {https://doi.org/10.1007/BF01692511},
  doi       = {10.1007/BF01692511},
  timestamp = {Sun, 17 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/mst/Knuth68.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

The Stanford GraphBase: A Platform for Combinatorial Algorithms. Knuth, D. E. In Ramachandran, V., editor(s), Proceedings of the Fourth Annual ACM/SIGACT-SIAM Symposium on Discrete Algorithms, 25-27 January 1993, Austin, Texas, USA, pages 41–43, 1993. ACM/SIAM

The Stanford GraphBase: A Platform for Combinatorial Algorithms [link]

Paper link bibtex

@inproceedings{DBLP:conf/soda/Knuth93,
  author    = {Donald E. Knuth},
  editor    = {Vijaya Ramachandran},
  title     = {The Stanford GraphBase: {A} Platform for Combinatorial Algorithms},
  booktitle = {Proceedings of the Fourth Annual {ACM/SIGACT-SIAM} Symposium on Discrete
               Algorithms, 25-27 January 1993, Austin, Texas, {USA}},
  pages     = {41--43},
  publisher = {{ACM/SIAM}},
  year      = {1993},
  url       = {http://dl.acm.org/citation.cfm?id=313559.313609},
  timestamp = {Thu, 05 Jul 2018 07:29:11 +0200},
  biburl    = {https://dblp.org/rec/conf/soda/Knuth93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

An Analysis of Alpha-Beta Pruning. Knuth, D. E.; and Moore, R. W. Artif. Intell., 6(4): 293–326. 1975.

An Analysis of Alpha-Beta Pruning [link]

Paper doi link bibtex

@article{DBLP:journals/ai/KnuthM75,
  author    = {Donald E. Knuth and
               Ronald W. Moore},
  title     = {An Analysis of Alpha-Beta Pruning},
  journal   = {Artif. Intell.},
  volume    = {6},
  number    = {4},
  pages     = {293--326},
  year      = {1975},
  url       = {https://doi.org/10.1016/0004-3702(75)90019-3},
  doi       = {10.1016/0004-3702(75)90019-3},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/KnuthM75.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

An Algorithmic View of the Universe. Papadimitriou, C. H.; Adleman, L. M.; Karp, R. M.; Knuth, D. E.; Tarjan, R. E.; and Valiant, L. G. In ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pages 13:1, 2012. ACM

An Algorithmic View of the Universe [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/acm/PapadimitriouAK12,
  author    = {Christos H. Papadimitriou and
               Leonard M. Adleman and
               Richard M. Karp and
               Donald E. Knuth and
               Robert E. Tarjan and
               Leslie G. Valiant},
  title     = {An Algorithmic View of the Universe},
  booktitle = {{ACM} Turing Centenary Celebration, {ACM-TURING} '12, San Francisco,
               California, USA, June 15-16, 2012},
  pages     = {13:1},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2322176.2322189},
  doi       = {10.1145/2322176.2322189},
  timestamp = {Tue, 06 Nov 2018 16:58:24 +0100},
  biburl    = {https://dblp.org/rec/conf/acm/PapadimitriouAK12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Satisfiability and The Art of Computer Programming. Knuth, D. E. In Cimatti, A.; and Sebastiani, R., editor(s), Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, volume 7317, of Lecture Notes in Computer Science, pages 15, 2012. Springer

Satisfiability and The Art of Computer Programming [link]

Paper doi link bibtex

@inproceedings{DBLP:conf/sat/Knuth12,
  author    = {Donald E. Knuth},
  editor    = {Alessandro Cimatti and
               Roberto Sebastiani},
  title     = {Satisfiability and The Art of Computer Programming},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
               International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7317},
  pages     = {15},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31612-8\_2},
  doi       = {10.1007/978-3-642-31612-8\_2},
  timestamp = {Sun, 02 Jun 2019 21:24:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sat/Knuth12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Examples of formal semantics. Knuth, D. E. In Engeler, E., editor(s), Symposium on Semantics of Algorithmic Languages, volume 188, of Lecture Notes in Mathematics, pages 212–235. Springer, 1971.

Paper doi link bibtex

@incollection{DBLP:series/lnm/Knuth71,
  author    = {Donald E. Knuth},
  editor    = {Erwin Engeler},
  title     = {Examples of formal semantics},
  booktitle = {Symposium on Semantics of Algorithmic Languages},
  series    = {Lecture Notes in Mathematics},
  volume    = {188},
  pages     = {212--235},
  publisher = {Springer},
  year      = {1971},
  url       = {https://doi.org/10.1007/BFb0059699},
  doi       = {10.1007/BFb0059699},
  timestamp = {Tue, 16 May 2017 14:24:25 +0200},
  biburl    = {https://dblp.org/rec/series/lnm/Knuth71.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Mathematical Analysis of Algorithms. Knuth, D. E. In Freiman, C. V.; Griffith, J. E.; and Rosenfeld, J. L., editor(s), Information Processing, Proceedings of IFIP Congress 1971, Volume 1 - Foundations and Systems, Ljubljana, Yugoslavia, August 23-28, 1971, pages 19–27, 1971. North-Holland
link bibtex

@inproceedings{DBLP:conf/ifip/Knuth71,
  author    = {Donald E. Knuth},
  editor    = {Charles V. Freiman and
               John E. Griffith and
               Jack L. Rosenfeld},
  title     = {Mathematical Analysis of Algorithms},
  booktitle = {Information Processing, Proceedings of {IFIP} Congress 1971, Volume
               1 - Foundations and Systems, Ljubljana, Yugoslavia, August 23-28,
               1971},
  pages     = {19--27},
  publisher = {North-Holland},
  year      = {1971},
  timestamp = {Fri, 26 Jul 2019 15:39:56 +0200},
  biburl    = {https://dblp.org/rec/conf/ifip/Knuth71.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, USSR, September 16-22, 1979. Ershov, A. P.; and Knuth, D. E., editors. Volume 122, of Lecture Notes in Computer Science.Springer. 1981.

Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, USSR, September 16-22, 1979 [link]

Paper doi link bibtex

@proceedings{DBLP:conf/ershov/1979,
  editor    = {Andrei P. Ershov and
               Donald E. Knuth},
  title     = {Algorithms in Modern Mathematics and Computer Science, Proceedings,
               Urgench, Uzbek SSR, USSR, September 16-22, 1979},
  series    = {Lecture Notes in Computer Science},
  volume    = {122},
  publisher = {Springer},
  year      = {1981},
  url       = {https://doi.org/10.1007/3-540-11157-3},
  doi       = {10.1007/3-540-11157-3},
  isbn      = {3-540-11157-3},
  timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ershov/1979.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}