Jesse B. Wright
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
1974–1981
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |