![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Robert M. Keller
Person information
- affiliation: Harvey Mudd College, Claremont, CA, USA
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2013
- [j17]Robert M. Keller, Alexandra Schofield, August Toman-Yih, Zachary Merritt, John Elliott:
Automating the Explanation of Jazz Chord Progressions Using Idiomatic Analysis. Comput. Music. J. 37(4): 54-69 (2013) - 2010
- [j16]Jon Gillick, Kevin Tang, Robert M. Keller:
Machine Learning of Jazz Grammars. Comput. Music. J. 34(3): 56-66 (2010) - 2008
- [j15]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. Int. J. High Perform. Comput. Netw. 5(3): 168-178 (2008) - 1989
- [j14]Bharat Jayaraman, Robert M. Keller:
Semantics and Implementation of Resource Expressions. J. Parallel Distributed Comput. 7(1): 40-63 (1989) - 1987
- [j13]Frank C. H. Lin, Robert M. Keller:
The Gradient Model Load Balancing Method. IEEE Trans. Software Eng. 13(1): 32-38 (1987) - 1986
- [j12]Robert M. Keller, Prakash Panangaden:
Semantics of Digital Networks Containing Indeterminate Modules. Distributed Comput. 1(4): 235-245 (1986) - [j11]Bharat Jayaraman, Robert M. Keller:
Primitives for resource management in a demand-driven reduction model. Int. J. Parallel Program. 15(3): 215-244 (1986) - [j10]Robert M. Keller, M. Ronan Sleep:
Applicative Caching. ACM Trans. Program. Lang. Syst. 8(1): 88-108 (1986) - 1984
- [j9]Robert M. Keller, Frank C. H. Lin:
Simulated Performance of a Reduction-Based Multiprocessor. Computer 17(7): 70-82 (1984) - 1983
- [j8]Krithi Ramamritham, Robert M. Keller:
Specification of Synchronizing Processes. IEEE Trans. Software Eng. 9(6): 722-733 (1983) - 1982
- [j7]Alan L. Davis, Robert M. Keller:
Data Flow Program Graphs. Computer 15(2): 26-41 (1982) - 1976
- [j6]Robert M. Keller:
Formal Verification of Parallel Programs. Commun. ACM 19(7): 371-384 (1976) - 1975
- [j5]Robert M. Keller:
Look-Ahead Processors. ACM Comput. Surv. 7(4): 177-195 (1975) - 1974
- [j4]Robert M. Keller:
Towards a Theory of Universal Speed-Independent Modules. IEEE Trans. Computers 23(1): 21-33 (1974) - 1973
- [j3]Walter A. Burkhard, Robert M. Keller:
Some Approaches to Best-Match File Searching. Commun. ACM 16(4): 230-236 (1973) - [j2]Robert M. Keller:
Parallel Program Schemata and Maximal Parallelism I. Fundamental Results. J. ACM 20(3): 514-537 (1973) - [j1]Robert M. Keller:
Parallel Program Schemata and Maximal Parallelism II: Construction of Closures. J. ACM 20(4): 696-710 (1973)
Conference and Workshop Papers
- 2019
- [c30]Rachel Goldstein, Andy Vainauskas, Margareta Ackerman, Robert M. Keller:
MindMusic: Brain-Controlled Musical Improvisation. ICCC 2019: 282-285 - 2017
- [c29]Daniel D. Johnson, Robert M. Keller, Nicholas Weintraut:
Learning to Create Jazz Melodies Using a Product of Experts. ICCC 2017: 151-158 - 2016
- [c28]Daniel Scanteianu, Errick Jackson, Robert M. Keller:
A Fluid Chord Voicing Generator. ICMC 2016 - 2012
- [c27]Robert M. Keller, August Toman-Yih, Alexandra Schofield, Zack Merritt:
A Creative Improvisational Companion Based on Idiomatic Harmonic Bricks. ICCC 2012: 155-159 - 2010
- [c26]Greg Bickerman, Sam Bosley, Peter Swire, Robert M. Keller:
Learning to Create Jazz Melodies Using Deep Belief Nets. ICCC 2010: 228-237 - 2008
- [c25]Thomas Barr, Chris Byron, Ziyad Duron, Robert M. Keller, Ben Lickly, Carl Nygaard, Kyle Roberts, Michael AuYeung, Joseph Betser, John Coggi, Brooks Davis, Craig A. Lee
, Dave Stodden, Mark Thomas:
Grid-enabling orbital analysis and computationally intensive applications for a growing set of diversified users. NOMS 2008: 615-629 - 2006
- [c24]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
- [c23]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 - [c22]Elizabeth Sweedyk, Robert M. Keller:
Fun and games: a new software engineering course. ITiCSE 2005: 138-142 - 1986
- [c21]Robert M. Keller, Jon W. Slater, Kevin T. Likes:
Overview of Rediflow II Development. Graph Reduction 1986: 203-214 - [c20]Frank C. H. Lin, Robert M. Keller:
Gradient Model: A Demand-Driven Load Balancing Scheme. ICDCS 1986: 329-336 - [c19]Frank C. H. Lin, Robert M. Keller:
Distributed Recovery in Applicative Systems. ICPP 1986: 405-412 - 1985
- [c18]Robert M. Keller, Gary Lindstrom:
Approaching Distributed Database Implementations through Functional Programming Concepts. ICDCS 1985: 192-200 - 1984
- [c17]Robert M. Keller, Frank C. H. Lin, Jiro Tanaka:
Rediflow Multiprocessing. COMPCON 1984: 410-417 - [c16]Robert M. Keller, Prakash Panangaden:
Semantics of Networks Containing Indeterminate Operators. Seminar on Concurrency 1984: 479-496 - [c15]Chu S. Jhon, Robert M. Keller:
Deadlock analysis in the design of data-flow circuits. DAC 1984: 705-707 - [c14]Prateek Mishra, Robert M. Keller:
Static Inference of Properties of Applicative Programs. POPL 1984: 235-244 - 1982
- [c13]Bharadwaj Jayaraman, Robert M. Keller:
Resource expressions for applicative languages. ICPP 1982: 160-167 - [c12]Paul Hudak, Robert M. Keller:
Garbage Collection and Task Deletion in Distributed Applicative Processing Systems. Symposium on LISP and Functional Programming 1982: 168-178 - 1981
- [c11]Krithi Ramamritham, Robert M. Keller:
On synchronization and its specification. CONPAR 1981: 271-282 - [c10]Robert M. Keller, Gary Lindstrom:
Applications of feedback in functional programming. FPCA 1981: 123-130 - [c9]Robert M. Keller, M. Ronan Sleep:
Applicative caching: Programmer control of object sharing and lifetime in. distributed implementations of applicative languages. FPCA 1981: 131-140 - [c8]Krithi Ramamritham, Robert M. Keller:
Specifying and Proving Properties of Sentinel Processes. ICSE 1981: 374-386 - 1980
- [c7]Robert M. Keller:
Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems. LISP Conference 1980: 196-202 - [c6]Robert M. Keller:
Some Theoretical Aspects of Applicative Multiprocessing. MFCS 1980: 58-74 - 1979
- [c5]Robert M. Keller, Gary Lindstrom, Suhas Patil:
A loosely-coupled applicative multi-processing system. MARK 1979: 613-622 - 1977
- [c4]Robert M. Keller:
Denotational Models for Parallel Programs with Indeterminate Operators. Formal Description of Programming Concepts 1977: 337-366 - 1974
- [c3]Robert M. Keller:
A Fundamental Tehoerem of Asynchronous Parallel Computation. Sagamore Computer Conference 1974: 102-112 - 1972
- [c2]Robert M. Keller:
On the Decomposition of Asynchronous Systems. SWAT 1972: 78-89 - 1970
- [c1]Robert M. Keller:
On Maximally Parallel Schemata. SWAT 1970: 32-50
Editorship
- 1987
- [e1]Joseph H. Fasel, Robert M. Keller:
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 [contents]
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint