dblp.uni-trier.dewww.uni-trier.de

Jesse B. Wright

List of publications from the DBLP Bibliography Server - FAQ
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
22EEJames 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
10EEJoseph 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
1EEIrving M. Copi, Calvin C. Elgot, Jesse B. Wright: Realization of Events by Logical Nets. J. ACM 5(2): 181-196 (1958)

Coauthor Index

1Stephen L. Bloom [16] [17] [23]
2Arthur W. Burks [2]
3Irving M. Copi [1]
4Hartmut Ehrig [19] [21] [24]
5Samuel Eilenberg [3]
6Calvin C. Elgot [1] [16] [17]
7Joseph A. Goguen [7] [8] [9] [10]
8Hans-Jörg Kreowski [19] [21] [24]
9J. Mezei [4]
10James W. Thatcher [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [18] [19] [20] [21] [22] [23] [24]
11Eric G. Wagner [7] [8] [9] [10] [11] [12] [13] [14] [15] [18] [19] [20] [21] [22] [23] [24]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)