Robert Keller

Cited by

	All	Since 2019
Citations	7163	1944
h-index	32	21
i10-index	73	37

500

250

125

375

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024155 158 174 146 168 171 140 161 143 150 144 129 117 114 97 75 69 86 66 100 106 112 131 113 126 145 129 147 138 161 109 156 152 149 155 181 331 409 494 359

Public access

View all

26 articles

3 articles

available

not available

Based on funding mandates

Co-authors

David MorrisonVerified email at evokewonder.com
Krithi RamamrithamSai University, Chennai, India (previously Dean R&D and Rekhi Chair Professor, IIT Bombay)Verified email at iitb.ac.in
Bharat JayaramanProfessor of Computer Science and EngineeringVerified email at buffalo.edu
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Jon GillickUniversity of the Arts, LondonVerified email at berkeley.edu
Kevin TangDirector, MetaVerified email at cs.stanford.edu
Paul HudakProfessor of Computer Science, Yale UniversityVerified email at yale.edu
Alexandra SchofieldAssistant Professor, Harvey Mudd CollegeVerified email at cs.hmc.edu
Daniel D. JohnsonResearch Scientist, Google DeepMind / University of TorontoVerified email at google.com
Phil MillerUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Steven R. GomezMassachusetts Institute of Technology, Lincoln LaboratoryVerified email at ll.mit.edu
Thomas W. BarrRice UniversityVerified email at twb.me

Robert Keller

Professor of Computer Science, Harvey Mudd College

Verified email at cs.hmc.edu - Homepage

intelligent music software neural networks parallel computing functional programming logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal verification of parallel programs RM Keller Communications of the ACM 19 (7), 371-384, 1976	1237	1976
Some approaches to best-match file searching WA Burkhard, RM Keller Communications of the ACM 16 (4), 230-236, 1973	689	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	497	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	477	2020
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	170	1974
Towards a theory of universal speed-independent modules RM Keller IEEE Transactions on Computers 100 (1), 21-33, 1974	169	1974
A holistic view on sector coupling G Fridgen, R Keller, MF Körner, M Schöpf Energy Policy 147, 111913, 2020	135	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	131	1973
Denotational models for parallel programs with indeterminate operators RM Keller Formal description of programming concepts, 337-366, 1977	125	1977
Vector replacement systems: A formalism for modeling asynchronous systems RM Keller Department of Electrical Engineering Computer Sciences Laboratory Princeton …, 1972	114	1972
Simulated performance of a reduction-based multiprocessing system RM Keller, FCH Lin	109	1984
Machine learning of jazz grammars J Gillick, K Tang, RM Keller Computer Music Journal 34 (3), 56-66, 2010	108	2010
A grammatical approach to automatic improvisation RM Keller, DR Morrison proceedings of the sound and Music computing conference, 330-337, 2007	104	2007
Rediflow multiprocessing RM Keller, FCH Lin, J Tanaka	81	1984
Learning to Create Jazz Melodies Using Deep Belief Nets. G Bickerman, S Bosley, P Swire, RM Keller ICCC, 228-237, 2010	69	2010
Gradient Model: A Demand-Driven Load Balancing Scheme. FCH Lin, RM Keller ICDCS, 329-336, 1986	68	1986

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors