1984 |
24 | | 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: 45-81 (1984) |
1983 |
23 | | 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): 148-164 (1983) |
1982 |
22 | EE | 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): 711-732 (1982) |
1981 |
21 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
James W. Thatcher,
Eric G. Wagner,
Jesse B. Wright:
Parameter Passing in Algebraic Specification Languages.
Program Specification 1981: 322-369 |
20 | | James W. Thatcher,
Eric G. Wagner,
Jesse B. Wright:
More on Advice on Structuring Compilers and Proving them Correct.
Theor. Comput. Sci. 15: 223-249 (1981) |
1980 |
19 | | 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: 157-168 |
18 | | James W. Thatcher,
Eric G. Wagner,
Jesse B. Wright:
More on advice on structuring compilers and proving them correct.
Semantics-Directed Compiler Generation 1980: 165-188 |
17 | | 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): 25-45 (1980) |
16 | | Stephen L. Bloom,
Calvin C. Elgot,
Jesse B. Wright:
Vector Iteration in Pointed Iterative Theories.
SIAM J. Comput. 9(3): 525-540 (1980) |
1979 |
15 | | James W. Thatcher,
Eric G. Wagner,
Jesse B. Wright:
More on Advice on Structuring Compilers and Proving Them Correct.
ICALP 1979: 596-615 |
1978 |
14 | | Eric G. Wagner,
James W. Thatcher,
Jesse B. Wright:
Programming Languages as Mathematical Objects.
MFCS 1978: 84-101 |
13 | | James W. Thatcher,
Eric G. Wagner,
Jesse B. Wright:
Data Type Specification: Parameterization and the Power of Specification Techniques
STOC 1978: 119-132 |
12 | | Jesse B. Wright,
Eric G. Wagner,
James W. Thatcher:
A Uniform Approach to Inductive Posets and Inductive Closure.
Theor. Comput. Sci. 7: 57-77 (1978) |
1977 |
11 | | Jesse B. Wright,
Eric G. Wagner,
James W. Thatcher:
A Uniform Approach to Inductive Posets and Inductive Closure.
MFCS 1977: 192-212 |
10 | EE | Joseph A. Goguen,
James W. Thatcher,
Eric G. Wagner,
Jesse B. Wright:
Initial Algebra Semantics and Continuous Algebras.
J. ACM 24(1): 68-95 (1977) |
1976 |
9 | | Jesse B. Wright,
James W. Thatcher,
Eric G. Wagner,
Joseph A. Goguen:
Rational Algebraic Theories and Fixed-Point Solutions
FOCS 1976: 147-158 |
8 | | Eric G. Wagner,
Jesse B. Wright,
Joseph A. Goguen,
James W. Thatcher:
Some Fundamentals of Order-Algebraic Semantics.
MFCS 1976: 153-168 |
1974 |
7 | | Joseph A. Goguen,
James W. Thatcher,
Eric G. Wagner,
Jesse B. Wright:
Factorizations, Congruences, and the Decomposition of Automata and Systems.
MFCS 1974: 33-45 |
1972 |
6 | | Jesse B. Wright:
Characterization of Recursively Enumerable Sets.
J. Symb. Log. 37(3): 507-511 (1972) |
1968 |
5 | | James W. Thatcher,
Jesse B. Wright:
Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic.
Mathematical Systems Theory 2(1): 57-81 (1968) |
1967 |
4 | | J. Mezei,
Jesse B. Wright:
Algebraic Automata and Context-Free Sets
Information and Control 11(1/2): 3-29 (1967) |
3 | | Samuel Eilenberg,
Jesse B. Wright:
Automata in General Algebras
Information and Control 11(4): 452-470 (1967) |
1962 |
2 | | Arthur W. Burks,
Jesse B. Wright:
Sequence Generators, Graphs, and Formal Languages
Information and Control 5(3): 204-212 (1962) |
1958 |
1 | EE | Irving M. Copi,
Calvin C. Elgot,
Jesse B. Wright:
Realization of Events by Logical Nets.
J. ACM 5(2): 181-196 (1958) |