Jesse B. Wright

Publication Activity (10 Years)

Years Active: 1958-1984
Publications (10 Years): 0

Publications

Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Parameter Passing in Algebraic Specification Languages. Theor. Comput. Sci. 28 (1984)
Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Recursion and Iteration in Continuous Theories: The "M-Construction". J. Comput. Syst. Sci. 27 (2) (1983)
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Data Type Specification: Parameterization and the Power of Specification Techniques. ACM Trans. Program. Lang. Syst. 4 (4) (1982)
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Parameter Passing in Algebraic Specification Languages. Program Specification (1981)
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
More on Advice on Structuring Compilers and Proving them Correct. Theor. Comput. Sci. 15 (1981)
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
More on advice on structuring compilers and proving them correct. Semantics-Directed Compiler Generation (1980)
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Parameterized Data Types in Algebraic Specification Languages (Short Version). ICALP (1980)
Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright
Vector Iteration in Pointed Iterative Theories. SIAM J. Comput. 9 (3) (1980)
Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright
Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation. SIAM J. Comput. 9 (1) (1980)
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
More on Advice on Structuring Compilers and Proving Them Correct. ICALP (1979)
Eric G. Wagner, James W. Thatcher, Jesse B. Wright
Programming Languages as Mathematical Objects. MFCS (1978)
Jesse B. Wright, Eric G. Wagner, James W. Thatcher
A Uniform Approach to Inductive Posets and Inductive Closure. Theor. Comput. Sci. 7 (1978)
James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Data Type Specification: Parameterization and the Power of Specification Techniques STOC (1978)
Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Initial Algebra Semantics and Continuous Algebras. J. ACM 24 (1) (1977)
Jesse B. Wright, Eric G. Wagner, James W. Thatcher
A Uniform Approach to Inductive Posets and Inductive Closure. MFCS (1977)
Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher
Some Fundamentals of Order-Algebraic Semantics. MFCS (1976)
Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen
Rational Algebraic Theories and Fixed-Point Solutions FOCS (1976)
Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
Factorizations, Congruences, and the Decomposition of Automata and Systems. MFCS (1974)
Jesse B. Wright
Characterization of Recursively Enumerable Sets. J. Symb. Log. 37 (3) (1972)
James W. Thatcher, Jesse B. Wright
Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic. Math. Syst. Theory 2 (1) (1968)
Jorge E. Mezei, Jesse B. Wright
Algebraic Automata and Context-Free Sets Inf. Control. 11 (1/2) (1967)
Samuel Eilenberg, Jesse B. Wright
Automata in General Algebras Inf. Control. 11 (4) (1967)
Arthur W. Burks, Jesse B. Wright
Sequence Generators, Graphs, and Formal Languages Inf. Control. 5 (3) (1962)
Irving M. Copi, Calvin C. Elgot, Jesse B. Wright
Realization of Events by Logical Nets. J. ACM 5 (2) (1958)