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 I. Fundamental Results	1973-01-01	Paper
Parallel Program Schemata and Maximal Parallelism II: Construction of Closures	1973-01-01	Paper

Research outcomes over time

This page was built for person: Robert M. Keller