Jesse B. Wright Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1984
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen 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)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen L. Bloom, Calvin C. Elgot, Jesse B. Wright: Vector Iteration in Pointed Iterative Theories. SIAM J. Comput. 9(3): 525-540 (1980)
1979
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames W. Thatcher, Eric G. Wagner, Jesse B. Wright: More on Advice on Structuring Compilers and Proving Them Correct. ICALP 1979: 596-615
1978
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric G. Wagner, James W. Thatcher, Jesse B. Wright: Programming Languages as Mathematical Objects. MFCS 1978: 84-101
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames W. Thatcher, Eric G. Wagner, Jesse B. Wright: Data Type Specification: Parameterization and the Power of Specification Techniques STOC 1978: 119-132
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse B. Wright, Eric G. Wagner, James W. Thatcher: A Uniform Approach to Inductive Posets and Inductive Closure. MFCS 1977: 192-212
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen: Rational Algebraic Theories and Fixed-Point Solutions FOCS 1976: 147-158
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher: Some Fundamentals of Order-Algebraic Semantics. MFCS 1976: 153-168
1974
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse B. Wright: Characterization of Recursively Enumerable Sets. J. Symb. Log. 37(3): 507-511 (1972)
1968
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Mezei, Jesse B. Wright: Algebraic Automata and Context-Free Sets Information and Control 11(1/2): 3-29 (1967)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamuel Eilenberg, Jesse B. Wright: Automata in General Algebras Information and Control 11(4): 452-470 (1967)
1962
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArthur W. Burks, Jesse B. Wright: Sequence Generators, Graphs, and Formal Languages Information and Control 5(3): 204-212 (1962)
1958
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrving 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 © Thu Nov 26 17:33:31 2009 by Michael Ley (ley@uni-trier.de)