Jesse B. Wright

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