James W. Thatcher
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
7
Active years
1969–1983
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1983 | ICALP | Algebraic Specifications with Generating Constraints. | Hartmut Ehrig, Eric G. Wagner, James W. Thatcher |
| 1981 | FM | Parameter Passing in Algebraic Specification Languages. | Hartmut Ehrig, Hans-Jrg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright |
| 1980 | CC | More on advice on structuring compilers and proving them correct. | James W. Thatcher, Eric G. Wagner, Jesse B. Wright |
| 1980 | ICALP | Parameterized Data Types in Algebraic Specification Languages (Short Version). | Hartmut Ehrig, Hans-Jrg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright |
| 1980 | SIGMOD | Types (discussion). | Lawrence A. Rowe, L. Peter Deutsch, Mary Shaw, James W. Thatcher, Heinrich C. Mayr, Stephen N. Zilles, Patrick J. Hayes |
| 1980 | SIGMOD | Data Abstraction, Data Bases and Conceptual Modelling. | James W. Thatcher |
| 1979 | ICALP | More on Advice on Structuring Compilers and Proving Them Correct. | James W. Thatcher, Eric G. Wagner, Jesse B. Wright |
| 1978 | MFCS | Programming Languages as Mathematical Objects. | Eric G. Wagner, James W. Thatcher, Jesse B. Wright |
| 1978 | STOC | Data Type Specification: Parameterization and the Power of Specification Techniques | James W. Thatcher, Eric G. Wagner, Jesse B. Wright |
| 1977 | MFCS | A Uniform Approach to Inductive Posets and Inductive Closure. | Jesse B. Wright, Eric G. Wagner, James W. Thatcher |
| 1976 | FOCS | Rational Algebraic Theories and Fixed-Point Solutions | Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen |
| 1976 | MFCS | Some Fundamentals of Order-Algebraic Semantics. | Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher |
| 1974 | FOCS | Initial Algebra Semantics | Joseph A. Goguen, James W. Thatcher |
| 1974 | MFCS | Factorizations, Congruences, and the Decomposition of Automata and Systems. | Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright |
| 1969 | STOC | Transformations and Translations from the Point of View of Generalized Finite Automata Theory | James W. Thatcher |