BibTeX records: Robert W. Floyd

download as .bib file

@book{DBLP:books/daglib/0098542,
  author       = {Robert W. Floyd and
                  Richard Beigel},
  title        = {Die Sprache der Maschinen},
  series       = {Informatik Lehrbuch-Reihe},
  publisher    = {International Thomson},
  year         = {1996},
  isbn         = {978-3-8266-0216-0},
  timestamp    = {Thu, 28 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0098542.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/FloydK90,
  author       = {Robert W. Floyd and
                  Donald E. Knuth},
  title        = {Addition Machines},
  journal      = {{SIAM} J. Comput.},
  volume       = {19},
  number       = {2},
  pages        = {329--340},
  year         = {1990},
  url          = {https://doi.org/10.1137/0219022},
  doi          = {10.1137/0219022},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/FloydK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FloydU82,
  author       = {Robert W. Floyd and
                  Jeffrey D. Ullman},
  title        = {The Compilation of Regular Expressions into Integrated Circuits},
  journal      = {J. {ACM}},
  volume       = {29},
  number       = {3},
  pages        = {603--622},
  year         = {1982},
  url          = {https://doi.org/10.1145/322326.322327},
  doi          = {10.1145/322326.322327},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/FloydU82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FloydU80,
  author       = {Robert W. Floyd and
                  Jeffrey D. Ullman},
  title        = {The Compilation of Regular Expressions into Integrated Circuits (Extended
                  Abstract)},
  booktitle    = {21st Annual Symposium on Foundations of Computer Science, Syracuse,
                  New York, USA, 13-15 October 1980},
  pages        = {260--269},
  publisher    = {{IEEE} Computer Society},
  year         = {1980},
  url          = {https://doi.org/10.1109/SFCS.1980.44},
  doi          = {10.1109/SFCS.1980.44},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/FloydU80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Floyd79,
  author       = {Robert W. Floyd},
  title        = {The Paradigms of Programming},
  journal      = {Commun. {ACM}},
  volume       = {22},
  number       = {8},
  pages        = {455--460},
  year         = {1979},
  url          = {https://doi.org/10.1145/359138.359140},
  doi          = {10.1145/359138.359140},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Floyd79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CarterFGMW78,
  author       = {Larry Carter and
                  Robert W. Floyd and
                  John Gill and
                  George Markowsky and
                  Mark N. Wegman},
  editor       = {Richard J. Lipton and
                  Walter A. Burkhard and
                  Walter J. Savitch and
                  Emily P. Friedman and
                  Alfred V. Aho},
  title        = {Exact and Approximate Membership Testers},
  booktitle    = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
                  May 1-3, 1978, San Diego, California, {USA}},
  pages        = {59--65},
  publisher    = {{ACM}},
  year         = {1978},
  url          = {https://doi.org/10.1145/800133.804332},
  doi          = {10.1145/800133.804332},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/CarterFGMW78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/FloydR75,
  author       = {Robert W. Floyd and
                  Ronald L. Rivest},
  title        = {Expected Time Bounds for Selection},
  journal      = {Commun. {ACM}},
  volume       = {18},
  number       = {3},
  pages        = {165--172},
  year         = {1975},
  url          = {https://doi.org/10.1145/360680.360691},
  doi          = {10.1145/360680.360691},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/FloydR75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/FloydR75a,
  author       = {Robert W. Floyd and
                  Ronald L. Rivest},
  title        = {The Algorithm {SELECT} - for Finding the ith Smallest of n Elements
                  {[M1]} (Algorithm 489)},
  journal      = {Commun. {ACM}},
  volume       = {18},
  number       = {3},
  pages        = {173},
  year         = {1975},
  url          = {https://doi.org/10.1145/360680.360694},
  doi          = {10.1145/360680.360694},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/FloydR75a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Floyd75,
  author       = {Robert W. Floyd},
  title        = {The Exact Time Required to Perform Generalized Addition},
  booktitle    = {16th Annual Symposium on Foundations of Computer Science, Berkeley,
                  California, USA, October 13-15, 1975},
  pages        = {3--5},
  publisher    = {{IEEE} Computer Society},
  year         = {1975},
  url          = {https://doi.org/10.1109/SFCS.1975.31},
  doi          = {10.1109/SFCS.1975.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Floyd75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FloydS73,
  author       = {Robert W. Floyd and
                  Alan Jay Smith},
  title        = {A Linear Time Two Tape Merge},
  journal      = {Inf. Process. Lett.},
  volume       = {2},
  number       = {5},
  pages        = {123--125},
  year         = {1973},
  url          = {https://doi.org/10.1016/0020-0190(74)90046-5},
  doi          = {10.1016/0020-0190(74)90046-5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/FloydS73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BlumFPRT73,
  author       = {Manuel Blum and
                  Robert W. Floyd and
                  Vaughan R. Pratt and
                  Ronald L. Rivest and
                  Robert Endre Tarjan},
  title        = {Time Bounds for Selection},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {7},
  number       = {4},
  pages        = {448--461},
  year         = {1973},
  url          = {https://doi.org/10.1016/S0022-0000(73)80033-9},
  doi          = {10.1016/S0022-0000(73)80033-9},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BlumFPRT73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC5,
  editor       = {Alfred V. Aho and
                  Allan Borodin and
                  Robert L. Constable and
                  Robert W. Floyd and
                  Michael A. Harrison and
                  Richard M. Karp and
                  H. Raymond Strong},
  title        = {Proceedings of the 5th Annual {ACM} Symposium on Theory of Computing,
                  April 30 - May 2, 1973, Austin, Texas, {USA}},
  publisher    = {{ACM}},
  year         = {1973},
  timestamp    = {Mon, 17 Oct 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stoc/STOC5.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KnuthF72,
  author       = {Donald E. Knuth and
                  Robert W. Floyd},
  title        = {Errata: Notes on Avoiding "go to" Statements},
  journal      = {Inf. Process. Lett.},
  volume       = {1},
  number       = {4},
  pages        = {177},
  year         = {1972},
  url          = {https://doi.org/10.1016/0020-0190(72)90054-3},
  doi          = {10.1016/0020-0190(72)90054-3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/KnuthF72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KingF72,
  author       = {James C. King and
                  Robert W. Floyd},
  title        = {An Interpretation-Oriented Theorem Prover over Integers},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {6},
  number       = {4},
  pages        = {305--323},
  year         = {1972},
  url          = {https://doi.org/10.1016/S0022-0000(72)80024-2},
  doi          = {10.1016/S0022-0000(72)80024-2},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/KingF72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/Floyd72,
  author       = {Robert W. Floyd},
  editor       = {Raymond E. Miller and
                  James W. Thatcher},
  title        = {Permuting Information in Idealized Two-Level Storage},
  booktitle    = {Proceedings of a symposium on the Complexity of Computer Computations,
                  held March 20-22, 1972, at the {IBM} Thomas J. Watson Research Center,
                  Yorktown Heights, New York, {USA}},
  series       = {The {IBM} Research Symposia Series},
  pages        = {105--109},
  publisher    = {Plenum Press, New York},
  year         = {1972},
  url          = {https://doi.org/10.1007/978-1-4684-2001-2\_10},
  doi          = {10.1007/978-1-4684-2001-2\_10},
  timestamp    = {Sat, 04 Sep 2021 20:59:47 +0200},
  biburl       = {https://dblp.org/rec/conf/coco/Floyd72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BlumFPRT72,
  author       = {Manuel Blum and
                  Robert W. Floyd and
                  Vaughan R. Pratt and
                  Ronald L. Rivest and
                  Robert Endre Tarjan},
  editor       = {Patrick C. Fischer and
                  H. Paul Zeiger and
                  Jeffrey D. Ullman and
                  Arnold L. Rosenberg},
  title        = {Linear Time Bounds for Median Computations},
  booktitle    = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing,
                  May 1-3, 1972, Denver, Colorado, {USA}},
  pages        = {119--124},
  publisher    = {{ACM}},
  year         = {1972},
  url          = {https://doi.org/10.1145/800152.804904},
  doi          = {10.1145/800152.804904},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/BlumFPRT72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KnuthF71,
  author       = {Donald E. Knuth and
                  Robert W. Floyd},
  title        = {Notes on Avoiding "go to" Statements},
  journal      = {Inf. Process. Lett.},
  volume       = {1},
  number       = {1},
  pages        = {23--31},
  year         = {1971},
  url          = {https://doi.org/10.1016/0020-0190(71)90018-4},
  doi          = {10.1016/0020-0190(71)90018-4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/KnuthF71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Floyd71,
  author       = {Robert W. Floyd},
  editor       = {Charles V. Freiman and
                  John E. Griffith and
                  Jack L. Rosenfeld},
  title        = {Toward Interactive Design of Correct Programs},
  booktitle    = {Information Processing, Proceedings of {IFIP} Congress 1971, Volume
                  1 - Foundations and Systems, Ljubljana, Yugoslavia, August 23-28,
                  1971},
  pages        = {7--10},
  publisher    = {North-Holland},
  year         = {1971},
  timestamp    = {Fri, 26 Jul 2019 15:39:56 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/Floyd71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KingF70,
  author       = {James C. King and
                  Robert W. Floyd},
  editor       = {Patrick C. Fischer and
                  Robert Fabian and
                  Jeffrey D. Ullman and
                  Richard M. Karp},
  title        = {An Interpretation Oriented Theorem Prover over Integers},
  booktitle    = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
                  May 4-6, 1970, Northampton, Massachusetts, {USA}},
  pages        = {169--179},
  publisher    = {{ACM}},
  year         = {1970},
  url          = {https://doi.org/10.1145/800161.805162},
  doi          = {10.1145/800161.805162},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/KingF70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Floyd69,
  author       = {Robert W. Floyd},
  title        = {A machine-oriented recognition algorithm for context-free languages},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {4},
  number       = {5},
  pages        = {28--29},
  year         = {1969},
  url          = {https://doi.org/10.1145/987470.987472},
  doi          = {10.1145/987470.987472},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigplan/Floyd69.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Floyd67,
  author       = {Robert W. Floyd},
  title        = {Nondeterministic Algorithms},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {636--644},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321422},
  doi          = {10.1145/321420.321422},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Floyd67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Floyd64,
  author       = {Robert W. Floyd},
  title        = {Bounded context syntactic analysis},
  journal      = {Commun. {ACM}},
  volume       = {7},
  number       = {2},
  pages        = {62--67},
  year         = {1964},
  url          = {https://doi.org/10.1145/363921.363927},
  doi          = {10.1145/363921.363927},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Floyd64.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Floyd64a,
  author       = {Robert W. Floyd},
  title        = {Algorithm 245: Treesort},
  journal      = {Commun. {ACM}},
  volume       = {7},
  number       = {12},
  pages        = {701},
  year         = {1964},
  url          = {https://doi.org/10.1145/355588.365103},
  doi          = {10.1145/355588.365103},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Floyd64a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Floyd64,
  author       = {Robert W. Floyd},
  title        = {The Syntax of Programming Languages-A Survey},
  journal      = {{IEEE} Trans. Electron. Comput.},
  volume       = {13},
  number       = {4},
  pages        = {346--353},
  year         = {1964},
  url          = {https://doi.org/10.1109/PGEC.1964.263814},
  doi          = {10.1109/PGEC.1964.263814},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/Floyd64.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Floyd63,
  author       = {Robert W. Floyd},
  title        = {Syntactic Analysis and Operator Precedence},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {316--333},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321179},
  doi          = {10.1145/321172.321179},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Floyd63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Floyd62,
  author       = {Robert W. Floyd},
  title        = {Algorithm 96: Ancestor},
  journal      = {Commun. {ACM}},
  volume       = {5},
  number       = {6},
  pages        = {344--345},
  year         = {1962},
  url          = {https://doi.org/10.1145/367766.368166},
  doi          = {10.1145/367766.368166},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Floyd62.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Floyd62a,
  author       = {Robert W. Floyd},
  title        = {Algorithm 97: Shortest path},
  journal      = {Commun. {ACM}},
  volume       = {5},
  number       = {6},
  pages        = {345},
  year         = {1962},
  url          = {https://doi.org/10.1145/367766.368168},
  doi          = {10.1145/367766.368168},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Floyd62a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Floyd62b,
  author       = {Robert W. Floyd},
  title        = {Algorithm 113: Treesort},
  journal      = {Commun. {ACM}},
  volume       = {5},
  number       = {8},
  pages        = {434},
  year         = {1962},
  url          = {https://doi.org/10.1145/368637.368654},
  doi          = {10.1145/368637.368654},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Floyd62b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Floyd62c,
  author       = {Robert W. Floyd},
  title        = {On the nonexistence of a phrase structure grammar for {ALGOL} 60},
  journal      = {Commun. {ACM}},
  volume       = {5},
  number       = {9},
  pages        = {483--484},
  year         = {1962},
  url          = {https://doi.org/10.1145/368834.368898},
  doi          = {10.1145/368834.368898},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Floyd62c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Floyd62d,
  author       = {Robert W. Floyd},
  title        = {On ambiguity in phrase structure languages},
  journal      = {Commun. {ACM}},
  volume       = {5},
  number       = {10},
  pages        = {526},
  year         = {1962},
  url          = {https://doi.org/10.1145/368959.368993},
  doi          = {10.1145/368959.368993},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Floyd62d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Floyd61,
  author       = {Robert W. Floyd},
  title        = {An algorithm for coding efficient arithmetic operations},
  journal      = {Commun. {ACM}},
  volume       = {4},
  number       = {1},
  pages        = {42--51},
  year         = {1961},
  url          = {https://doi.org/10.1145/366062.366082},
  doi          = {10.1145/366062.366082},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Floyd61.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Floyd61,
  author       = {Robert W. Floyd},
  title        = {A Note on Mathematical Induction on Phrase Structure Grammars},
  journal      = {Inf. Control.},
  volume       = {4},
  number       = {4},
  pages        = {353--358},
  year         = {1961},
  url          = {https://doi.org/10.1016/S0019-9958(61)80052-1},
  doi          = {10.1016/S0019-9958(61)80052-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Floyd61.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Floyd61,
  author       = {Robert W. Floyd},
  title        = {A Descriptive Language for Symbol Manipulation},
  journal      = {J. {ACM}},
  volume       = {8},
  number       = {4},
  pages        = {579--584},
  year         = {1961},
  url          = {https://doi.org/10.1145/321088.321096},
  doi          = {10.1145/321088.321096},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Floyd61.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Floyd60,
  author       = {Robert W. Floyd},
  title        = {An Algorithm Defining {ALGOL} Assignment Statements},
  journal      = {Commun. {ACM}},
  volume       = {3},
  number       = {3},
  pages        = {170--171},
  year         = {1960},
  url          = {https://doi.org/10.1145/367149.367170},
  doi          = {10.1145/367149.367170},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Floyd60.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Floyd60a,
  author       = {Robert W. Floyd},
  title        = {Note of amplification},
  journal      = {Commun. {ACM}},
  volume       = {3},
  number       = {6},
  pages        = {346},
  year         = {1960},
  url          = {https://doi.org/10.1145/367297.367314},
  doi          = {10.1145/367297.367314},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Floyd60a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics