Robert M. Keller

Available identifiers

zbMath Open keller.robert-mMaRDI QIDQ1819922

List of research outcomes

Publication	Date of Publication	Type
Primitives for resource management in a demand-driven reduction model	1986-01-01	Paper
Applicative caching	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680240	1985-01-01	Paper
Distributed computation by graph reduction	1985-01-01	Paper
Specification of Synchronizing Processes	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4151149	1978-01-01	Paper
Formal verification of parallel programs	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4055201	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4083007	1975-01-01	Paper
Towards a Theory of Universal Speed-Independent Modules	1974-01-01	Paper
Some approaches to best-match file searching	1973-01-01	Paper
Parallel Program Schemata and Maximal Parallelism II: Construction of Closures	1973-01-01	Paper
Parallel Program Schemata and Maximal Parallelism I. Fundamental Results	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: Robert M. Keller