Concepedia

Derek C. Oppen

DC

15

Publications

2.2K

Citations

15

H-Index

1973

Active since

Affiliations

Stanford University(Current)

Derek C. Oppen is an author at Stanford University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationComputational ComplexityData ScienceVerificationProgram AnalysisProof Complexity

Publications per year

1973–1983

15

Publications

15

Simplification by Cooperating Decision Procedures

Greg Nelson, Derek C. Oppen · ACM Transactions on Programming Languages and Systems · 1979 · 891 citations · Full text

Decision Procedure, Engineering, Automated Reasoning +14

Fast Decision Procedures Based on Congruence Closure

Greg Nelson, Derek C. Oppen · Journal of the ACM · 1980 · 500 citations · Full text

Computational Complexity Theory, Engineering, Computational Complexity +16

The clearinghouse

Derek C. Oppen, Yogen K. Dalal · ACM Transactions on Information Systems · 1983 · 181 citations · Full text

A 222pn upper bound on the complexity of Presburger Arithmetic

Derek C. Oppen · Journal of Computer and System Sciences · 1978 · 159 citations

Circuit Complexity, Computational Complexity Theory, Engineering +6

Complexity, convexity and combinations of theories

Derek C. Oppen · Theoretical Computer Science · 1980 · 110 citations

Computational Complexity, Abstract Complexity, Finite Model Theory +1

Rows per page

1–5 of 15