 | 2005 |
|---|
| 32 |       | 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) |
| 1989 |
|---|
| 31 | | R. K. Shyamasundar,
James W. Thatcher:
Language Constructs for Specifying Concurrency in CDL*.
IEEE Trans. Software Eng. 15(8): 977-993 (1989) |
| 1987 |
|---|
| 30 | | James W. Thatcher:
Algebraic Semantics (Abstract).
TAPSOFT, Vol.1 1987: 287 |
| 1985 |
|---|
| 29 |  | Hartmut Ehrig,
Christiane Floyd,
Maurice Nivat,
James W. Thatcher:
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)
Springer 1985 |
| 28 | | Hartmut Ehrig,
Christiane Floyd,
Maurice Nivat,
James W. Thatcher:
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)
Springer 1985 |
| 1984 |
|---|
| 27 | | 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 |
|---|
| 26 | | Hartmut Ehrig,
Eric G. Wagner,
James W. Thatcher:
Algebraic Specifications with Generating Constraints.
ICALP 1983: 188-202 |
| 25 | | 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 |
|---|
| 24 | | 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 |
|---|
| 23 | | 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 |
| 22 | | 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) |
| 1980 |
|---|
| 21 | | 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 |
| 20 | | 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 |
| 19 | | James W. Thatcher:
Data Abstraction, Data Bases and Conceptual Modelling.
Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 196-197 |
| 18 | | 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 |
| 1979 |
|---|
| 17 | | James W. Thatcher,
Eric G. Wagner,
Jesse B. Wright:
More on Advice on Structuring Compilers and Proving Them Correct.
ICALP 1979: 596-615 |
| 1978 |
|---|
| 16 | | Eric G. Wagner,
James W. Thatcher,
Jesse B. Wright:
Programming Languages as Mathematical Objects.
MFCS 1978: 84-101 |
| 15 | | James W. Thatcher,
Eric G. Wagner,
Jesse B. Wright:
Data Type Specification: Parameterization and the Power of Specification Techniques
STOC 1978: 119-132 |
| 14 | | 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) |
| 1977 |
|---|
| 13 | | Jesse B. Wright,
Eric G. Wagner,
James W. Thatcher:
A Uniform Approach to Inductive Posets and Inductive Closure.
MFCS 1977: 192-212 |
| 12 | | 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) |
| 1976 |
|---|
| 11 | | Jesse B. Wright,
James W. Thatcher,
Eric G. Wagner,
Joseph A. Goguen:
Rational Algebraic Theories and Fixed-Point Solutions
FOCS 1976: 147-158 |
| 10 | | Eric G. Wagner,
Jesse B. Wright,
Joseph A. Goguen,
James W. Thatcher:
Some Fundamentals of Order-Algebraic Semantics.
MFCS 1976: 153-168 |
| 1975 |
|---|
| 9 | | Arnold L. Rosenberg,
James W. Thatcher:
What Is a Multilevel Array?
IBM Journal of Research and Development 19(2): 163-169 (1975) |
| 1974 |
|---|
| 8 | | Rod M. Burstall,
James W. Thatcher:
The algebraic theory of recursive program schemes.
Category Theory Applied to Computation and Control 1974: 126-131 |
| 7 | | Joseph A. Goguen,
James W. Thatcher:
Initial Algebra Semantics
FOCS 1974: 63-77 |
| 6 | | 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 |
| 1970 |
|---|
| 5 | | James W. Thatcher:
Generalized Sequential Machine Maps.
J. Comput. Syst. Sci. 4(4): 339-367 (1970) |
| 1969 |
|---|
| 4 | | James W. Thatcher:
Transformations and Translations from the Point of View of Generalized Finite Automata Theory
STOC 1969: 129-142 |
| 1968 |
|---|
| 3 | | 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 |
|---|
| 2 | | 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) |
| 1966 |
|---|
| 1 | | James W. Thatcher:
Decision Problems for Multiple Successor Arithmetics.
J. Symb. Log. 31(2): 182-190 (1966) |
