| Formal verification of parallel programs RM Keller Communications of the ACM 19 (7), 371-384, 1976 | 1255 | 1976 |
| Some approaches to best-match file searching WA Burkhard, RM Keller Communications of the ACM 16 (4), 230-236, 1973 | 693 | 1973 |
| Data flow program graphs AL Davis, RM Keller Computer 15 (02), 26-41, 1982 | 569 | 1982 |
| 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 | 528 | 2020 |
| The gradient model load balancing method FCH Lin, RM Keller IEEE transactions on software engineering, 32-38, 1987 | 498 | 1987 |
| Look-ahead processors RM Keller ACM Computing Surveys (CSUR) 7 (4), 177-195, 1975 | 306 | 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 | 202 | 1979 |
| A fundamental theorem of asynchronous parallel computation RM Keller Sagamore Computer Conference, 102-112, 1974 | 172 | 1974 |
| Towards a theory of universal speed-independent modules RM Keller IEEE Transactions on Computers 100 (1), 21-33, 1974 | 171 | 1974 |
| A holistic view on sector coupling G Fridgen, R Keller, MF Körner, M Schöpf Energy Policy 147, 111913, 2020 | 149 | 2020 |
| 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 | 135 | 1982 |
| Parallel program schemata and maximal parallelism I. Fundamental results RM Keller Journal of the ACM (JACM) 20 (3), 514-537, 1973 | 132 | 1973 |
| Denotational models for parallel programs with indeterminate operators RM Keller Formal description of programming concepts, 337-366, 1977 | 126 | 1977 |
| Vector replacement systems: A formalism for modeling asynchronous systems RM Keller Department of Electrical Engineering Computer Sciences Laboratory Princeton …, 1972 | 114 | 1972 |
| Machine learning of jazz grammars J Gillick, K Tang, RM Keller Computer Music Journal 34 (3), 56-66, 2010 | 111 | 2010 |
| Simulated performance of a reduction-based multiprocessing system RM Keller, FCH Lin | 110 | 1984 |
| A grammatical approach to automatic improvisation RM Keller, DR Morrison proceedings of the sound and Music computing conference, 330-337, 2007 | 107 | 2007 |
| Rediflow multiprocessing RM Keller, FCH Lin, J Tanaka | 82 | 1984 |
| Policy support measures for widespread expansion of fast charging infrastructure for electric vehicles F Baumgarte, M Kaiser, R Keller Energy Policy 156, 112372, 2021 | 76 | 2021 |
| Extending the automation pyramid for industrial demand response MF Körner, D Bauer, R Keller, M Rösch, A Schlereth, P Simon, ... Procedia CIRP 81, 998-1003, 2019 | 74 | 2019 |
David MorrisonVerifierad e-postadress på evokewonder.com
