Concepedia

Timothy Winkler

TW

4

Publications

112

Citations

4

H-Index

1985

Active since

Affiliations

SRI International(Current)

Menlo School

Timothy Winkler is an author at SRI International specializing in engineering, computer science, and automated reasoning.

Top concepts

Publications per year

1985–1994

4

Publications

4

Constant-only multiplicative linear logic is NP-complete

Patrick Lincoln, Timothy Winkler · Theoretical Computer Science · 1994 · 46 citations

, , +4

Approximate reasoning about the semantic effects of program changes

Mark Moriconi, Timothy Winkler · IEEE Transactions on Software Engineering · 1990 · 39 citations

, , +18

Denotational semantics and rewrite rules for FP

Joseph Y. Halpern, John H. Williams, Edward L. Wimmers et al. · 1985 · 14 citations

, , +19

Cell and Ensemble Architecture for the Rewrite Rule Machine.

Sany Leinwand, Joseph A. Goguen, Timothy Winkler · Future Generation Computer Systems · 1988 · 13 citations

, , +4

Rows per page

1–4 of 4