The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

James W. Thatcher: [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. Rod M. Burstall, James W. Thatcher
    The algebraic theory of recursive program schemes. [Citation Graph (0, 0)][DBLP]
    Category Theory Applied to Computation and Control, 1974, pp:126-131 [Conf]
  6. 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]
  7. 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]
  8. Joseph A. Goguen, James W. Thatcher
    Initial Algebra Semantics [Citation Graph (0, 0)][DBLP]
    FOCS, 1974, pp:63-77 [Conf]
  9. 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]
  10. 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]
  11. Hartmut Ehrig, Eric G. Wagner, James W. Thatcher
    Algebraic Specifications with Generating Constraints. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:188-202 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. Lawrence A. Rowe, L. Peter Deutsch, Mary Shaw, James W. Thatcher, Heinrich C. Mayr, Stephen N. Zilles, Patrick J. Hayes
    Types (discussion). [Citation Graph (0, 0)][DBLP]
    Workshop on Data Abstraction, Databases and Conceptual Modelling, 1980, pp:43-52 [Conf]
  18. James W. Thatcher
    Data Abstraction, Data Bases and Conceptual Modelling. [Citation Graph (0, 0)][DBLP]
    Workshop on Data Abstraction, Databases and Conceptual Modelling, 1980, pp:196-197 [Conf]
  19. James W. Thatcher
    Transformations and Translations from the Point of View of Generalized Finite Automata Theory [Citation Graph (0, 0)][DBLP]
    STOC, 1969, pp:129-142 [Conf]
  20. James W. Thatcher
    Algebraic Semantics (Abstract). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1987, pp:287- [Conf]
  21. Arnold L. Rosenberg, James W. Thatcher
    What Is a Multilevel Array? [Citation Graph (0, 0)][DBLP]
    IBM Journal of Research and Development, 1975, v:19, n:2, pp:163-169 [Journal]
  22. Matthew King, James W. Thatcher, Philip Matthew Bronstad, Robert Easton
    Managing usability for people with disabilities in a large Web presence. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 2005, v:44, n:3, pp:519-536 [Journal]
  23. 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]
  24. James W. Thatcher
    Characterizing Derivation Trees of Context-Free Grammars through a Generalization of Finite Automata Theory. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1967, v:1, n:4, pp:317-322 [Journal]
  25. James W. Thatcher
    Generalized Sequential Machine Maps. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1970, v:4, n:4, pp:339-367 [Journal]
  26. James W. Thatcher
    Decision Problems for Multiple Successor Arithmetics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:2, pp:182-190 [Journal]
  27. 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]
  28. 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]
  29. 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]
  30. R. K. Shyamasundar, James W. Thatcher
    Language Constructs for Specifying Concurrency in CDL*. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:8, pp:977-993 [Journal]

Search in 0.005secs, Finished in 0.007secs
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