James W. Thatcher

Matthew King, James W. Thatcher, Philip Matthew Bronstad, Robert Easton: Managing usability for people with disabilities in a large Web presence. IBM Systems Journal 44(3): 519-536 (2005)

R. K. Shyamasundar, James W. Thatcher: Language Constructs for Specifying Concurrency in CDL*. IEEE Trans. Software Eng. 15(8): 977-993 (1989)

James W. Thatcher: Algebraic Semantics (Abstract). TAPSOFT, Vol.1 1987: 287

Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher (Eds.): Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85). Lecture Notes in Computer Science 185, Springer 1985, isbn 3-540-15198-2

Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher (Eds.): Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE). Lecture Notes in Computer Science 186, Springer 1985, isbn 3-540-15199-0

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)

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)

Hartmut Ehrig, Eric G. Wagner, James W. Thatcher: Algebraic Specifications with Generating Constraints. ICALP 1983: 188-202

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)

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)

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

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

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

Lawrence A. Rowe, L. Peter Deutsch, Mary Shaw, James W. Thatcher, Heinrich C. Mayr, Stephen N. Zilles, Patrick J. Hayes: Types (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 43-52

James W. Thatcher: Data Abstraction, Data Bases and Conceptual Modelling. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 196-197

James W. Thatcher, Eric G. Wagner, Jesse B. Wright: More on Advice on Structuring Compilers and Proving Them Correct. ICALP 1979: 596-615

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)

Eric G. Wagner, James W. Thatcher, Jesse B. Wright: Programming Languages as Mathematical Objects. MFCS 1978: 84-101

James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Data Type Specification: Parameterization and the Power of Specification Techniques. STOC 1978: 119-132

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)

Jesse B. Wright, Eric G. Wagner, James W. Thatcher: A Uniform Approach to Inductive Posets and Inductive Closure. MFCS 1977: 192-212

Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen: Rational Algebraic Theories and Fixed-Point Solutions. FOCS 1976: 147-158

Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher: Some Fundamentals of Order-Algebraic Semantics. MFCS 1976: 153-168

Arnold L. Rosenberg, James W. Thatcher: What Is a Multilevel Array? IBM Journal of Research and Development 19(2): 163-169 (1975)

Rod M. Burstall, James W. Thatcher: The algebraic theory of recursive program schemes. Category Theory Applied to Computation and Control 1974: 126-131

Joseph A. Goguen, James W. Thatcher: Initial Algebra Semantics. SWAT (FOCS) 1974: 63-77

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

Raymond E. Miller, James W. Thatcher (Eds.): Proceedings of a symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York. The IBM Research Symposia Series, Plenum Press, New York 1972, isbn 0-306-30707-3

James W. Thatcher: Generalized Sequential Machine Maps. J. Comput. Syst. Sci. 4(4): 339-367 (1970)

James W. Thatcher: Transformations and Translations from the Point of View of Generalized Finite Automata Theory. STOC 1969: 129-142

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)

James W. Thatcher: Characterizing Derivation Trees of Context-Free Grammars through a Generalization of Finite Automata Theory. J. Comput. Syst. Sci. 1(4): 317-322 (1967)

James W. Thatcher: Decision Problems for Multiple Successor Arithmetics. J. Symb. Log. 31(2): 182-190 (1966)