Jesse B. Wright Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1984
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
1980
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright: Vector Iteration in Pointed Iterative Theories. SIAM J. Comput. 9(3): 525-540 (1980)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
1979
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James W. Thatcher, Eric G. Wagner, Jesse B. Wright: More on Advice on Structuring Compilers and Proving Them Correct. ICALP 1979: 596-615
1978
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eric G. Wagner, James W. Thatcher, Jesse B. Wright: Programming Languages as Mathematical Objects. MFCS 1978: 84-101
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Data Type Specification: Parameterization and the Power of Specification Techniques. STOC 1978: 119-132
1977
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesse B. Wright, Eric G. Wagner, James W. Thatcher: A Uniform Approach to Inductive Posets and Inductive Closure. MFCS 1977: 192-212
1976
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen: Rational Algebraic Theories and Fixed-Point Solutions. FOCS 1976: 147-158
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher: Some Fundamentals of Order-Algebraic Semantics. MFCS 1976: 153-168
1974
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesse B. Wright: Characterization of Recursively Enumerable Sets. J. Symb. Log. 37(3): 507-511 (1972)
1968
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Mezei, Jesse B. Wright: Algebraic Automata and Context-Free Sets. Information and Control 11(1/2): 3-29 (1967)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Samuel Eilenberg, Jesse B. Wright: Automata in General Algebras. Information and Control 11(4): 452-470 (1967)
1962
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arthur W. Burks, Jesse B. Wright: Sequence Generators, Graphs, and Formal Languages. Information and Control 5(3): 204-212 (1962)
1958
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Irving 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
[j13] [j10] [j9]
2Arthur W. Burks
[j2]
3Irving M. Copi
[j1]
4Hartmut Ehrig
[j14] [c10] [c8]
5Samuel Eilenberg
[j3]
6Calvin C. Elgot
[j10] [j9] [j1]
7Joseph A. Goguen
[j7] [c3] [c2] [c1]
8Hans-Jörg Kreowski
[j14] [c10] [c8]
9J. Mezei
[j4]
10James W. Thatcher
[j14] [j13] [j12] [j11] [c10] [c9] [c8] [c7] [j8] [c6] [c5] [j7] [c4] [c3] [c2] [c1] [j5]
11Eric G. Wagner
[j14] [j13] [j12] [j11] [c10] [c9] [c8] [c7] [j8] [c6] [c5] [j7] [c4] [c3] [c2] [c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 20:02:05 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page