| 1992 | COMPASS | Overloading and Inheritance. | Eric G. Wagner |
| 1991 | COMPASS | Generic Classes in an Object-Based Language. | Eric G. Wagner |
| 1987 | MFPS | Semantics of Block Structured Languages with Pointers. | Eric G. Wagner |
| 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 |
| 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 | MFCS | Factorizations, Congruences, and the Decomposition of Automata and Systems. | Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright |
| 1973 | STOC | From Algebras to Programming Languages | Eric G. Wagner |
| 1971 | FOCS | Languages for Defining Sets in Arbitrary Algebras | Eric G. Wagner |
| 1971 | STOC | An Algebraic Theory of Recursive Definitions and Recursive Languages | Eric G. Wagner |
| 1968 | FOCS | "Tapeless" Bounded Action Machines | Eric G. Wagner |
| 1967 | FOCS | On the Structure of Programming Languages, or, Six Languages for Turing Machines | Eric G. Wagner |
| 1965 | FOCS | On connecting modules together uniformly to form a modular computer | Eric G. Wagner |