dblp.uni-trier.dewww.uni-trier.de

Timothy C. Winkler Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
5EEMark Moriconi, Timothy C. Winkler: Correction to ``Approximate Reasoning About the Semantic Effects of Program Changes''. IEEE Trans. Software Eng. 17(1): 94 (1991)
1990
4EEMark 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

Coauthor Index

1Joseph A. Goguen [2] [3]
2Joseph Y. Halpern [1]
3Claude Kirchner [2]
4Hélène Kirchner [2]
5Sany Leinwand [3]
6Patrick Lincoln [8]
7Aristide Mégrelis [2]
8José Meseguer [2] [6]
9Mark Moriconi [4] [5]
10John H. Williams [1]
11Edward L. Wimmers [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)