Robert M. Keller

	2010
36		Jon Gillick, Kevin Tang, Robert M. Keller: Machine Learning of Jazz Grammars. Computer Music Journal 34(3): 56-66 (2010)
	2008
35		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
34		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)
	2006
33		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
	2005
32		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
31		Elizabeth Sweedyk, Robert M. Keller: Fun and games: a new software engineering course. ITiCSE 2005: 138-142
	1989
30		Bharat Jayaraman, Robert M. Keller: Semantics and Implementation of Resource Expressions. J. Parallel Distrib. Comput. 7(1): 40-63 (1989)
	1987
29		Joseph H. Fasel, Robert M. Keller: Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986 Springer 1987
28		Frank C. H. Lin, Robert M. Keller: The Gradient Model Load Balancing Method. IEEE Trans. Software Eng. 13(1): 32-38 (1987)
	1986
27		Robert M. Keller, Jon W. Slater, Kevin T. Likes: Overview of Rediflow II Development. Graph Reduction 1986: 203-214
26		Frank C. H. Lin, Robert M. Keller: Gradient Model: A Demand-Driven Load Balancing Scheme. ICDCS 1986: 329-336
25		Frank C. H. Lin, Robert M. Keller: Distributed Recovery in Applicative Systems. ICPP 1986: 405-412
24		Robert M. Keller, M. Ronan Sleep: Applicative Caching. ACM Trans. Program. Lang. Syst. 8(1): 88-108 (1986)
23		Robert M. Keller, Prakash Panangaden: Semantics of Digital Networks Containing Indeterminate Modules. Distributed Computing 1(4): 235-245 (1986)
22		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)
	1985
21		Robert M. Keller, Gary Lindstrom: Approaching Distributed Database Implementations through Functional Programming Concepts. ICDCS 1985: 192-200
	1984
20		Robert M. Keller, Frank C. H. Lin, Jiro Tanaka: Rediflow Multiprocessing. COMPCON 1984: 410-417
19		Chu S. Jhon, Robert M. Keller: Deadlock analysis in the design of data-flow circuits. DAC 1984: 705-707
18		Prateek Mishra, Robert M. Keller: Static Inference of Properties of Applicative Programs. POPL 1984: 235-244
17		Robert M. Keller, Prakash Panangaden: Semantics of Networks Containing Indeterminate Operators. Seminar on Concurrency 1984: 479-496
	1983
16		Krithi Ramamritham, Robert M. Keller: Specification of Synchronizing Processes. IEEE Trans. Software Eng. 9(6): 722-733 (1983)
	1982
15		Bharadwaj Jayaraman, Robert M. Keller: Resource expressions for applicative languages. ICPP 1982: 160-167
14		Paul Hudak, Robert M. Keller: Garbage Collection and Task Deletion in Distributed Applicative Processing Systems. Symposium on LISP and Functional Programming 1982: 168-178
13		Alan L. Davis, Robert M. Keller: Data Flow Program Graphs. IEEE Computer 15(2): 26-41 (1982)
	1981
12		Krithi Ramamritham, Robert M. Keller: On synchronization and its specification. CONPAR 1981: 271-282
11		Krithi Ramamritham, Robert M. Keller: Specifying and Proving Properties of Sentinel Processes. ICSE 1981: 374-386
	1980
10		Robert M. Keller: Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems. LISP Conference 1980: 196-202
9		Robert M. Keller: Some Theoretical Aspects of Applicative Multiprocessing. MFCS 1980: 58-74
	1976
8		Robert M. Keller: Formal Verification of Parallel Programs. Commun. ACM 19(7): 371-384 (1976)
	1975
7		Robert M. Keller: Look-Ahead Processors. ACM Comput. Surv. 7(4): 177-195 (1975)
	1974
6		Robert M. Keller: A Fundamental Tehoerem of Asynchronous Parallel Computation. Sagamore Computer Conference 1974: 102-112
	1973
5		Walter A. Burkhard, Robert M. Keller: Some Approaches to Best-Match File Searching. Commun. ACM 16(4): 230-236 (1973)
4		Robert M. Keller: Parallel Program Schemata and Maximal Parallelism I. Fundamental Results. J. ACM 20(3): 514-537 (1973)
3		Robert M. Keller: Parallel Program Schemata and Maximal Parallelism II: Construction of Closures. J. ACM 20(4): 696-710 (1973)
	1972
2		Robert M. Keller: On the Decomposition of Asynchronous Systems SWAT (FOCS) 1972: 78-89
	1970
1		Robert M. Keller: On Maximally Parallel Schemata SWAT (FOCS) 1970: 32-50

Coauthor Index

1	Michael AuYeung	[35]
2	Thomas Barr	[35]
3	Brian Bentow	[32] [33] [34]
4	Joseph Betser	[32] [33] [34] [35]
5	Walter A. Burkhard	[5]
6	C. Byron	[35]
7	J. Coggi	[35]
8	Al Davis (Alan L. Davis)	[13]
9	Brooks Davis	[35]
10	Robert Davis	[32] [33] [34]
11	Jonathan Dodge	[32] [33] [34]
12	Z. Duron	[35]
13	Joseph H. Fasel	[29]
14	Jon Gillick	[36]
15	Aaron Homer	[32] [33] [34]
16	Paul Hudak	[14]
17	Bharadwaj Jayaraman	[15]
18	Bharat Jayaraman	[22] [30]
19	Chu S. Jhon	[19]
20	Craig A. Lee	[32] [33] [34] [35]
21	B. Lickly	[35]
22	Kevin T. Likes	[27]
23	Frank C. H. Lin	[20] [25] [26] [28]
24	Gary Lindstrom	[21]
25	Prateek Mishra	[18]
26	Christopher D. Moore	[32] [33] [34]
27	Carl Nygaard	[35]
28	Prakash Panangaden	[17] [23]
29	Matthew Presley	[32] [33] [34]
30	Krithi Ramamritham	[11] [12] [16]
31	K. Roberts	[35]
32	Jorge Seidel	[32] [33] [34]
33	Jon W. Slater	[27]
34	M. Ronan Sleep	[24]
35	D. Stodden	[35]
36	Elizabeth Sweedyk	[31]
37	Jiro Tanaka	[20]
38	Kevin Tang	[36]
39	Mark Thomas	[34] [35]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page