1994 |
8 | | Patrick Lincoln,
Timothy C. Winkler:
Constant-Only Multiplicative Linear Logic is NP-Complete.
Theor. Comput. Sci. 135(1): 155-169 (1994) |
1993 |
7 | | Timothy C. Winkler:
Programming in OBJ and Maude.
Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 229-277 |
1991 |
6 | | José Meseguer,
Timothy C. Winkler:
Parallel Programmming in Maude.
Research Directions in High-Level Parallel Programming Languages 1991: 253-293 |
5 | EE | Mark Moriconi,
Timothy C. Winkler:
Correction to ``Approximate Reasoning About the Semantic Effects of Program Changes''.
IEEE Trans. Software Eng. 17(1): 94 (1991) |
1990 |
4 | EE | Mark Moriconi,
Timothy C. Winkler:
Approximate Reasoning About the Semantic Effects of Program Changes.
IEEE Trans. Software Eng. 16(9): 980-992 (1990) |
1988 |
3 | | Sany Leinwand,
Joseph A. Goguen,
Timothy C. Winkler:
Cell and Ensemble Architecture for the Rewrite Rule Machine.
FGCS 1988: 869-878 |
1987 |
2 | | Joseph A. Goguen,
Claude Kirchner,
Hélène Kirchner,
Aristide Mégrelis,
José Meseguer,
Timothy C. Winkler:
An Introduction to OBJ 3.
CTRS 1987: 258-263 |
1985 |
1 | | Joseph Y. Halpern,
John H. Williams,
Edward L. Wimmers,
Timothy C. Winkler:
Denotational Semantics and Rewrite Rules for FP.
POPL 1985: 108-120 |