The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jesse B. Wright: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002