Robert M. Keller

MaRDI QIDQ1819922zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Primitives for resource management in a demand-driven reduction model International Journal of Parallel Programming	1986-01-01	Paper
Applicative caching ACM Transactions on Programming Languages and Systems	1986-01-01	Paper
scientific article; zbMATH DE number 3901997 (Why is no real title available?)	1985-01-01	Paper
Distributed computation by graph reduction Systems Research	1985-01-01	Paper
Specification of Synchronizing Processes IEEE Transactions on Software Engineering	1983-01-01	Paper
scientific article; zbMATH DE number 3581600 (Why is no real title available?)	1978-01-01	Paper
Formal verification of parallel programs Communications of the ACM	1976-01-01	Paper
scientific article; zbMATH DE number 3471613 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3502789 (Why is no real title available?)	1975-01-01	Paper
Towards a Theory of Universal Speed-Independent Modules IEEE Transactions on Computers	1974-01-01	Paper
Some approaches to best-match file searching Communications of the ACM	1973-01-01	Paper
Parallel Program Schemata and Maximal Parallelism I. Fundamental Results Journal of the ACM	1973-01-01	Paper
Parallel Program Schemata and Maximal Parallelism II: Construction of Closures Journal of the ACM	1973-01-01	Paper

Research outcomes over time

This page was built for person: Robert M. Keller