| Formal verification of parallel programs RM Keller Communications of the ACM 19 (7), 371-384, 1976 | 1227 | 1976 |
| Some approaches to best-match file searching WA Burkhard, RM Keller Communications of the ACM 16 (4), 230-236, 1973 | 676 | 1973 |
| Data flow program graphs AL Davis, RM Keller Computer 15 (02), 26-41, 1982 | 565 | 1982 |
| The gradient model load balancing method FCH Lin, RM Keller IEEE transactions on software engineering, 32-38, 1987 | 494 | 1987 |
| The energy consumption of blockchain technology: Beyond myth J Sedlmeir, HU Buhl, G Fridgen, R Keller Business & Information Systems Engineering 62 (6), 599-608, 2020 | 423 | 2020 |
| Look-ahead processors RM Keller ACM Computing Surveys (CSUR) 7 (4), 177-195, 1975 | 304 | 1975 |
| A loosely-coupled applicative multi-processing system* RM Keller, G Lindstrom, S Patil 1979 International Workshop on Managing Requirements Knowledge (MARK), 613-622, 1979 | 204 | 1979 |
| Towards a theory of universal speed-independent modules RM Keller IEEE Transactions on Computers 100 (1), 21-33, 1974 | 171 | 1974 |
| A fundamental theorem of asynchronous parallel computation RM Keller Sagamore Computer Conference, 102-112, 1974 | 167 | 1974 |
| Garbage collection and task deletion in distributed applicative processing systems P Hudak, RM Keller Proceedings of the 1982 ACM Symposium on LISP and Functional Programming …, 1982 | 137 | 1982 |
| Parallel program schemata and maximal parallelism I. Fundamental results RM Keller Journal of the ACM (JACM) 20 (3), 514-537, 1973 | 133 | 1973 |
| Denotational models for parallel programs with indeterminate operators RM Keller Formal description of programming concepts, 337-366, 1977 | 126 | 1977 |
| A holistic view on sector coupling G Fridgen, R Keller, MF Körner, M Schöpf Energy Policy 147, 111913, 2020 | 122 | 2020 |
| Machine learning of jazz grammars J Gillick, K Tang, RM Keller Computer Music Journal 34 (3), 56-66, 2010 | 109 | 2010 |
| Vector replacement systems: A formalism for modeling asynchronous systems RM Keller Department of Electrical Engineering Computer Sciences Laboratory Princeton …, 1972 | 109 | 1972 |
| Simulated performance of a reduction-based multiprocessing system RM Keller, FCH Lin | 107 | 1984 |
| A grammatical approach to automatic improvisation RM Keller, DR Morrison proceedings of the sound and Music computing conference, 330-337, 2007 | 103 | 2007 |
| Rediflow multiprocessing RM Keller, FCH Lin, J Tanaka | 79 | 1984 |
| Gradient Model: A Demand-Driven Load Balancing Scheme. FCH Lin, RM Keller ICDCS, 329-336, 1986 | 67 | 1986 |
| Learning to Create Jazz Melodies Using Deep Belief Nets. G Bickerman, S Bosley, P Swire, RM Keller ICCC, 228-237, 2010 | 66 | 2010 |
David Morrison在 evokewonder.com 的电子邮件经过验证
