Barry K. Rosen

Available identifiers

zbMath Open rosen.barry-kMaRDI QIDQ1147519

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3138876	1994-09-19	Paper
https://portal.mardi4nfdi.de/entity/Q3721799	1986-01-01	Paper
A Lubricant for Data Flow Analysis	1982-01-01	Paper
Robust linear algorithms for cutsets	1982-01-01	Paper
Transformations of structures: An algebraic approach	1981-01-01	Paper
Qualified Data Flow Problems	1981-01-01	Paper
Parallelism and concurrency of graph manipulations	1980-01-01	Paper
Monoids for Rapid Data Flow Analysis	1980-01-01	Paper
The Mathematics of Record Handling	1980-01-01	Paper
Data Flow Analysis for Procedural Languages	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4194479	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3851642	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4158499	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4157956	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4124322	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4181285	1977-01-01	Paper
High-level data flow analysis	1977-01-01	Paper
Bases for Chain-complete Posets	1976-01-01	Paper
Correctness of parallel programs: The Church-Rosser approach	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128545	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4127402	1976-01-01	Paper
Deriving graphs from graphs by applying a production	1975-01-01	Paper
Program equivalence and context-free grammars	1975-01-01	Paper
Recursion Structure Simplification	1975-01-01	Paper
Syntactic complexity	1974-01-01	Paper
Tree-Manipulating Systems and Church-Rosser Theorems	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068071	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4101426	1973-01-01	Paper

Research outcomes over time

This page was built for person: Barry K. Rosen