Robert M. Keller

Jon Gillick, Kevin Tang, Robert M. Keller: Machine Learning of Jazz Grammars. Computer Music Journal 34(3): 56-66 (2010)

Brian Bentow, Jonathan Dodge, Aaron Homer, Christopher D. Moore, Robert M. Keller, Craig A. Lee, Mark Thomas, Matthew Presley, Jorge Seidel, Robert Davis, Joseph Betser: Grid-enabling a vibroacoustic analysis toolkit. IJHPCN 5(3): 168-178 (2008)

Thomas Barr, C. Byron, Z. Duron, Robert M. Keller, B. Lickly, Carl Nygaard, K. Roberts, Michael AuYeung, Joseph Betser, J. Coggi, Brooks Davis, Craig A. Lee, D. Stodden, Mark Thomas: Grid-enabling orbital analysis and computationally intensive applications for a growing set of diversified users. NOMS 2008: 615-629

Brian Bentow, Jonathan Dodge, Aaron Homer, Christopher D. Moore, Robert M. Keller, Matthew Presley, Robert Davis, Jorge Seidel, Craig A. Lee, Joseph Betser: System Management for Grid-Enabling a Vibroacoustic Analysis Application. NOMS 2006

Brian Bentow, Jonathan Dodge, Aaron Homer, Christopher D. Moore, Robert M. Keller, Matthew Presley, Robert Davis, Jorge Seidel, Craig A. Lee, Joseph Betser: Grid-enabling a vibroacoustic analysis application. GRID 2005: 33-39

Elizabeth Sweedyk, Robert M. Keller: Fun and games: a new software engineering course. ITiCSE 2005: 138-142

Bharat Jayaraman, Robert M. Keller: Semantics and Implementation of Resource Expressions. J. Parallel Distrib. Comput. 7(1): 40-63 (1989)

Frank C. H. Lin, Robert M. Keller: The Gradient Model Load Balancing Method. IEEE Trans. Software Eng. 13(1): 32-38 (1987)

Joseph H. Fasel, Robert M. Keller (Eds.): Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986. Lecture Notes in Computer Science 279, Springer 1987, isbn 3-540-18420-1

Robert M. Keller, Prakash Panangaden: Semantics of Digital Networks Containing Indeterminate Modules. Distributed Computing 1(4): 235-245 (1986)

Bharat Jayaraman, Robert M. Keller: Primitives for resource management in a demand-driven reduction model. International Journal of Parallel Programming 15(3): 215-244 (1986)

Robert M. Keller, M. Ronan Sleep: Applicative Caching. ACM Trans. Program. Lang. Syst. 8(1): 88-108 (1986)

Robert M. Keller, Jon W. Slater, Kevin T. Likes: Overview of Rediflow II Development. Graph Reduction 1986: 203-214

Frank C. H. Lin, Robert M. Keller: Gradient Model: A Demand-Driven Load Balancing Scheme. ICDCS 1986: 329-336

Frank C. H. Lin, Robert M. Keller: Distributed Recovery in Applicative Systems. ICPP 1986: 405-412

Robert M. Keller, Gary Lindstrom: Approaching Distributed Database Implementations through Functional Programming Concepts. ICDCS 1985: 192-200

Robert M. Keller, Frank C. H. Lin, Jiro Tanaka: Rediflow Multiprocessing. COMPCON 1984: 410-417

Robert M. Keller, Prakash Panangaden: Semantics of Networks Containing Indeterminate Operators. Seminar on Concurrency 1984: 479-496

Chu S. Jhon, Robert M. Keller: Deadlock analysis in the design of data-flow circuits. DAC 1984: 705-707

Prateek Mishra, Robert M. Keller: Static Inference of Properties of Applicative Programs. POPL 1984: 235-244

Krithi Ramamritham, Robert M. Keller: Specification of Synchronizing Processes. IEEE Trans. Software Eng. 9(6): 722-733 (1983)

Alan L. Davis, Robert M. Keller: Data Flow Program Graphs. IEEE Computer 15(2): 26-41 (1982)

Bharadwaj Jayaraman, Robert M. Keller: Resource expressions for applicative languages. ICPP 1982: 160-167

Paul Hudak, Robert M. Keller: Garbage Collection and Task Deletion in Distributed Applicative Processing Systems. Symposium on LISP and Functional Programming 1982: 168-178

Krithi Ramamritham, Robert M. Keller: On synchronization and its specification. CONPAR 1981: 271-282

Krithi Ramamritham, Robert M. Keller: Specifying and Proving Properties of Sentinel Processes. ICSE 1981: 374-386

Robert M. Keller: Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems. LISP Conference 1980: 196-202

Robert M. Keller: Some Theoretical Aspects of Applicative Multiprocessing. MFCS 1980: 58-74

Robert M. Keller: Formal Verification of Parallel Programs. Commun. ACM 19(7): 371-384 (1976)

Robert M. Keller: Look-Ahead Processors. ACM Comput. Surv. 7(4): 177-195 (1975)

Robert M. Keller: A Fundamental Tehoerem of Asynchronous Parallel Computation. Sagamore Computer Conference 1974: 102-112

Walter A. Burkhard, Robert M. Keller: Some Approaches to Best-Match File Searching. Commun. ACM 16(4): 230-236 (1973)

Robert M. Keller: Parallel Program Schemata and Maximal Parallelism I. Fundamental Results. J. ACM 20(3): 514-537 (1973)

Robert M. Keller: Parallel Program Schemata and Maximal Parallelism II: Construction of Closures. J. ACM 20(4): 696-710 (1973)

Robert M. Keller: On the Decomposition of Asynchronous Systems. SWAT (FOCS) 1972: 78-89

Robert M. Keller: On Maximally Parallel Schemata. SWAT (FOCS) 1970: 32-50