|
Search the dblp DataBase
Timothy C. Winkler:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler
Denotational Semantics and Rewrite Rules for FP. [Citation Graph (1, 0)][DBLP] POPL, 1985, pp:108-120 [Conf]
- Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler
An Introduction to OBJ 3. [Citation Graph (0, 0)][DBLP] CTRS, 1987, pp:258-263 [Conf]
- Sany Leinwand, Joseph A. Goguen, Timothy C. Winkler
Cell and Ensemble Architecture for the Rewrite Rule Machine. [Citation Graph (0, 0)][DBLP] FGCS, 1988, pp:869-878 [Conf]
- José Meseguer, Timothy C. Winkler
Parallel Programmming in Maude. [Citation Graph (0, 0)][DBLP] Research Directions in High-Level Parallel Programming Languages, 1991, pp:253-293 [Conf]
- Timothy C. Winkler
Programming in OBJ and Maude. [Citation Graph (0, 0)][DBLP] Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:229-277 [Conf]
- Patrick Lincoln, Timothy C. Winkler
Constant-Only Multiplicative Linear Logic is NP-Complete. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:135, n:1, pp:155-169 [Journal]
- Mark Moriconi, Timothy C. Winkler
Approximate Reasoning About the Semantic Effects of Program Changes. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1990, v:16, n:9, pp:980-992 [Journal]
- Mark Moriconi, Timothy C. Winkler
Correction to ``Approximate Reasoning About the Semantic Effects of Program Changes''. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1991, v:17, n:1, pp:94- [Journal]
Search in 0.001secs, Finished in 0.002secs
|