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
Qualified Data Flow Problems	1981-01-01	Paper
Transformations of structures: An algebraic approach	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
https://portal.mardi4nfdi.de/entity/Q3851642	1979-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/Q4157956	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4158499	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
Correctness of parallel programs: The Church-Rosser approach	1976-01-01	Paper
Bases for Chain-complete Posets	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4127402	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128545	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
https://portal.mardi4nfdi.de/entity/Q4068071	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4101426	1973-01-01	Paper
Tree-Manipulating Systems and Church-Rosser Theorems	1973-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Barry K. Rosen