Skip to content
cs-conference-ranking.org

Robert S. Boyer

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

5

Active years

1971–2005

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2005WABIA Compressed Format for Collections of Phylogenetic Trees and Improved Consensus Performance.Robert S. Boyer, Warren A. Hunt Jr., Serita M. Nelesen
2002PADLSingle-Threaded Objects in ACL2.Robert S. Boyer, J Strother Moore
1994CADEPanel Discussion: A Mechanically Proof-Checked Encyclopedia of Mathematics: Should We Build One? Can We?Robert S. Boyer
1992CADEAutomated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.Robert S. Boyer, Yuan Yu
1990CADEA Theorem Prover for a Computational Logic.Robert S. Boyer, J Strother Moore
1986CADEOverview of a Theorem-Prover for A Computational Logic.Robert S. Boyer, J Strother Moore
1977IJCAIA Lemma Driven Automatic Theorem Prover for Recursive Function Theory.Robert S. Boyer, J Strother Moore
1976POPLPrimitive Recursive Program Transformations.Robert S. Boyer, J Strother Moore, Robert E. Shostak
1973IJCAIProving Theorems about LISP Functions.Robert S. Boyer, J Strother Moore
1971IJCAIComputer Proofs of Limit Theorems.W. W. Bledsoe, Robert S. Boyer, William H. Henneman