Concepedia

Jesse B. Wright

JB

21

Publications

2.9K

Citations

17

H-Index

1953

Active since

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

IBM (United States)

Stevens Institute of Technology

University of Michigan

Jesse B. Wright is an author at IBM Research - Thomas J. Watson Research Center specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisCompilersSemanticsComputer Engineering

Publications per year

1953–1983

21

Publications

21

Initial Algebra Semantics and Continuous Algebras

Joseph A. Goguen, J. W. Thatcher, Eric G. Wagner et al. · Journal of the ACM · 1977 · 801 citations · Full text

Abstract Algebra, Engineering, Well-founded Semantics +18

Generalized finite automata theory with an application to a decision problem of second-order logic

J. W. Thatcher, Jesse B. Wright · Theory of Computing Systems · 1968 · 734 citations

Fuzzy Logic, Engineering, Logical Automaton +10

Algebraic automata and context-free sets

J. E. Mezei, Jesse B. Wright · Information and Control · 1967 · 219 citations

Engineering, Automated Reasoning, Formal Methods +5

Automata in general algebras

Samuel Eilenberg, Jesse B. Wright · Information and Control · 1967 · 140 citations

Logical Automaton, Representation Theory, Automated Reasoning +3

Data Type Specification: Parameterization and the Power of Specification Techniques

J. W. Thatcher, Eric G. Wagner, Jesse B. Wright · ACM Transactions on Programming Languages and Systems · 1982 · 140 citations · Full text

Rows per page

1–5 of 21