The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert S. Boyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert S. Boyer, J. Strother Moore
    A Fast String Searching Algorithm. [Citation Graph (12, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:10, pp:762-772 [Journal]
  2. Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr
    Efficient Implementation of Lattice Operations. [Citation Graph (10, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1989, v:11, n:1, pp:115-146 [Journal]
  3. Anne Olivia Boyer, Robert S. Boyer
    A Biographical Sketch of W. W. Bledsoe. [Citation Graph (0, 0)][DBLP]
    Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:1-30 [Conf]
  4. Robert S. Boyer, J. Strother Moore
    MJRTY: A Fast Majority Vote Algorithm. [Citation Graph (0, 0)][DBLP]
    Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:105-118 [Conf]
  5. Robert S. Boyer
    Panel Discussion: A Mechanically Proof-Checked Encyclopedia of Mathematics: Should We Build One? Can We? [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:237- [Conf]
  6. Robert S. Boyer, J. Strother Moore
    Overview of a Theorem-Prover for A Computational Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:675-678 [Conf]
  7. Robert S. Boyer, J. Strother Moore
    A Theorem Prover for a Computational Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:1-15 [Conf]
  8. Robert S. Boyer, Yuan Yu
    Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:416-430 [Conf]
  9. W. W. Bledsoe, Robert S. Boyer, William H. Henneman
    Computer Proofs of Limit Theorems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1971, pp:586-600 [Conf]
  10. Robert S. Boyer, J. Strother Moore
    Proving Theorems about LISP Functions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1973, pp:486-493 [Conf]
  11. Robert S. Boyer, J. Strother Moore
    A Lemma Driven Automatic Theorem Prover for Recursive Function Theory. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:511-519 [Conf]
  12. Robert S. Boyer, J. Strother Moore
    Single-Threaded Objects in ACL2. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:9-27 [Conf]
  13. Robert S. Boyer, J. Strother Moore, Robert E. Shostak
    Primitive Recursive Program Transformations. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:171-174 [Conf]
  14. Robert S. Boyer, Warren A. Hunt Jr., Serita M. Nelesen
    A Compressed Format for Collections of Phylogenetic Trees and Improved Consensus Performance. [Citation Graph (0, 0)][DBLP]
    WABI, 2005, pp:353-364 [Conf]
  15. Robert S. Boyer, Warren A. Hunt Jr.
    Function memoization and unique object representation for ACL2 functions. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:81-89 [Conf]
  16. W. W. Bledsoe, Robert S. Boyer, William H. Henneman
    Computer Proofs of Limit Theorems. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1972, v:3, n:1-3, pp:27-60 [Journal]
  17. Michael Ballantyne, Robert S. Boyer, Larry M. Hines
    Woody Bledsoe - His Life and Legacy. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 1996, v:17, n:1, pp:7-20 [Journal]
  18. Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards
    In memoriam: Edsger W. Dijkstra 1930-2002. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2002, v:45, n:10, pp:21-22 [Journal]
  19. Robert S. Boyer, J. Strother Moore
    Proving Theorems about LISP Functions. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1975, v:22, n:1, pp:129-144 [Journal]
  20. Robert S. Boyer, J. Strother Moore
    A Mechanical Proof of the Unsolvability of the Halting Problem. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1984, v:31, n:3, pp:441-458 [Journal]
  21. Robert S. Boyer, Yuan Yu
    Automated Proofs of Object Code for a Widely Used Microprocessor. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1996, v:43, n:1, pp:166-192 [Journal]
  22. Robert S. Boyer, J. Strother Moore
    The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1988, v:4, n:2, pp:117-172 [Journal]
  23. Robert S. Boyer, J. Strother Moore
    Program Verification. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:1, pp:17-23 [Journal]
  24. Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos
    Set Theory in First-Order Logic: Clauses for Gödel's Axioms. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1986, v:2, n:3, pp:287-327 [Journal]
  25. Robert S. Boyer, Wilfred J. Legato, Victor W. Marek
    Toward Automating the Discovery of Decreasing Measures. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:4, pp:355-371 [Journal]

Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002