| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 432748 (Why is no real title available?) | 1994-09-19 | Paper |
| scientific article; zbMATH DE number 3951989 (Why is no real title available?) | 1986-01-01 | Paper |
A Lubricant for Data Flow Analysis
SIAM Journal on Computing | 1982-01-01 | Paper |
Robust linear algorithms for cutsets
Journal of Algorithms | 1982-01-01 | Paper |
Transformations of structures: An algebraic approach
Mathematical Systems Theory | 1981-01-01 | Paper |
Qualified Data Flow Problems
IEEE Transactions on Software Engineering | 1981-01-01 | Paper |
Parallelism and concurrency of graph manipulations
Theoretical Computer Science | 1980-01-01 | Paper |
Monoids for Rapid Data Flow Analysis
SIAM Journal on Computing | 1980-01-01 | Paper |
The Mathematics of Record Handling
SIAM Journal on Computing | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3633738 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3651766 (Why is no real title available?) | 1979-01-01 | Paper |
Data Flow Analysis for Procedural Languages
Journal of the ACM | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3591400 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3589736 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3550175 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3617563 (Why is no real title available?) | 1977-01-01 | Paper |
High-level data flow analysis
Communications of the ACM | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3556036 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3553769 (Why is no real title available?) | 1976-01-01 | Paper |
Bases for Chain-complete Posets
IBM Journal of Research and Development | 1976-01-01 | Paper |
Correctness of parallel programs: The Church-Rosser approach
Theoretical Computer Science | 1976-01-01 | Paper |
Deriving graphs from graphs by applying a production
Acta Informatica | 1975-01-01 | Paper |
Program equivalence and context-free grammars
Journal of Computer and System Sciences | 1975-01-01 | Paper |
Recursion Structure Simplification
SIAM Journal on Computing | 1975-01-01 | Paper |
Syntactic complexity
Information and Control | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3485187 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3523133 (Why is no real title available?) | 1973-01-01 | Paper |
Tree-Manipulating Systems and Church-Rosser Theorems
Journal of the ACM | 1973-01-01 | Paper |
