David A. Plaisted

David A. Plaisted publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where David A. Plaisted sits on this spectrum.

David A. Plaisted D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where David A. Plaisted sits on this spectrum.

Research.com Recognitions

• 2000 - Fellow of the American Association for the Advancement of Science (AAAS)

Best Publications

• A Structure-preserving Clause Form Translation

  Unknown

  825
  Citations

• Completion Without Failure

  Leo Bachmair;Nachum Dershowitz;David A. Plaisted

  399
  Citations

• Theorem proving with abstraction

  Unknown

  265
  Citations

• Semantic confluence tests and completion methods

  Unknown

  202
  Citations

• Equational reasoning and term rewriting systems

  Unknown

  177
  Citations

• Rewrite, rewrite, rewrite, rewrite, rewrite, …

  Nachum Dershowitz;Stéphane Kaplan;David A. Plaisted

  142
  Citations

• Termination orderings for associative-commutative rewriting systems

  Unknown

  128
  Citations

• Ordered semantic hyper linking

  Unknown

  114
  Citations

• New NP-hard and NP-complete polynomial and integer divisibility problems

  Unknown

  112
  Citations

• The occur-check problem in Prolog

  Unknown

  108
  Citations

• Equational programming

  Nachum Dershowitz;D. A. Plaisted

  101
  Citations

• A heuristic triangulation algorithm

  Unknown

  101
  Citations

• Rewriting

  Unknown

  100
  Citations

• Logic Programming cum Applicative Programming.

  Nachum Dershowitz;David A. Plaisted

  99
  Citations

• PROGRAMMING WITH PARAMETERIZED ABSTRACT OBJECTS IN OBJ.

  Joseph Goguen;David Plaisted;Jose Meseguer

  93
  Citations

• Rigid E -unification: NP-completeness and applications to equational matings

  Unknown

  93
  Citations

• Associative-commutative rewriting

  Nachum Dershowitz;Jien Hsiang;N. Alan Josephson;David A. Plaisted

  85
  Citations

• The Travelling Salesman Problem and Minimum Matching in the Unit Square

  Kenneth J. Supowit;Edward M. Reingold;David A. Plaisted

  84
  Citations

• Sparse complex polynomials and polynomial reducibility

  Unknown

  78
  Citations

• A satisfiability procedure for quantified boolean formulae

  David A. Plaisted;Armin Biere;Yunshan Zhu

  75
  Citations