Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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) |

1 | Stephen L. Bloom | [16] [17] [23] |

2 | Arthur W. Burks | [2] |

3 | Irving M. Copi | [1] |

4 | Hartmut Ehrig | [19] [21] [24] |

5 | Samuel Eilenberg | [3] |

6 | Calvin C. Elgot | [1] [16] [17] |

7 | Joseph A. Goguen | [7] [8] [9] [10] |

8 | Hans-Jörg Kreowski | [19] [21] [24] |

9 | J. Mezei | [4] |

10 | James W. Thatcher | [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [18] [19] [20] [21] [22] [23] [24] |

11 | Eric G. Wagner | [7] [8] [9] [10] [11] [12] [13] [14] [15] [18] [19] [20] [21] [22] [23] [24] |