The SCEAS System
Navigation Menu

Search the dblp DataBase


Robert M. Keller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Walter A. Burkhard, Robert M. Keller
    Some Approaches to Best-Match File Searching. [Citation Graph (10, 0)][DBLP]
    Commun. ACM, 1973, v:16, n:4, pp:230-236 [Journal]
  2. Robert M. Keller
    Parallel Program Schemata and Maximal Parallelism II: Construction of Closures. [Citation Graph (3, 0)][DBLP]
    J. ACM, 1973, v:20, n:4, pp:696-710 [Journal]
  3. Frank C. H. Lin, Robert M. Keller
    Gradient Model: A Demand-Driven Load Balancing Scheme. [Citation Graph (1, 0)][DBLP]
    ICDCS, 1986, pp:329-336 [Conf]
  4. Paul Hudak, Robert M. Keller
    Garbage Collection and Task Deletion in Distributed Applicative Processing Systems. [Citation Graph (1, 0)][DBLP]
    Symposium on LISP and Functional Programming, 1982, pp:168-178 [Conf]
  5. Robert M. Keller
    Formal Verification of Parallel Programs. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:7, pp:371-384 [Journal]
  6. Robert M. Keller
    Parallel Program Schemata and Maximal Parallelism I. Fundamental Results. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1973, v:20, n:3, pp:514-537 [Journal]
  7. Robert M. Keller, Frank C. H. Lin, Jiro Tanaka
    Rediflow Multiprocessing. [Citation Graph (0, 0)][DBLP]
    COMPCON, 1984, pp:410-417 [Conf]
  8. Robert M. Keller, Prakash Panangaden
    Semantics of Networks Containing Indeterminate Operators. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:479-496 [Conf]
  9. Krithi Ramamritham, Robert M. Keller
    On synchronization and its specification. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1981, pp:271-282 [Conf]
  10. Robert M. Keller
    On Maximally Parallel Schemata [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:32-50 [Conf]
  11. Robert M. Keller
    On the Decomposition of Asynchronous Systems [Citation Graph (0, 0)][DBLP]
    FOCS, 1972, pp:78-89 [Conf]
  12. Robert M. Keller, Jon W. Slater, Kevin T. Likes
    Overview of Rediflow II Development. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:203-214 [Conf]
  13. Robert M. Keller, Gary Lindstrom
    Approaching Distributed Database Implementations through Functional Programming Concepts. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1985, pp:192-200 [Conf]
  14. Frank C. H. Lin, Robert M. Keller
    Distributed Recovery in Applicative Systems. [Citation Graph (0, 0)][DBLP]
    ICPP, 1986, pp:405-412 [Conf]
  15. Krithi Ramamritham, Robert M. Keller
    Specifying and Proving Properties of Sentinel Processes. [Citation Graph (0, 0)][DBLP]
    ICSE, 1981, pp:374-386 [Conf]
  16. Robert M. Keller
    Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems. [Citation Graph (0, 0)][DBLP]
    LISP Conference, 1980, pp:196-202 [Conf]
  17. Robert M. Keller
    Some Theoretical Aspects of Applicative Multiprocessing. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:58-74 [Conf]
  18. Prateek Mishra, Robert M. Keller
    Static Inference of Properties of Applicative Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:235-244 [Conf]
  19. Robert M. Keller
    A Fundamental Tehoerem of Asynchronous Parallel Computation. [Citation Graph (0, 0)][DBLP]
    Sagamore Computer Conference, 1974, pp:102-112 [Conf]
  20. Alan L. Davis, Robert M. Keller
    Data Flow Program Graphs. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1982, v:15, n:2, pp:26-41 [Journal]
  21. Robert M. Keller
    Look-Ahead Processors. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1975, v:7, n:4, pp:177-195 [Journal]
  22. Robert M. Keller, Prakash Panangaden
    Semantics of Digital Networks Containing Indeterminate Modules. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1986, v:1, n:4, pp:235-245 [Journal]
  23. Bharat Jayaraman, Robert M. Keller
    Semantics and Implementation of Resource Expressions. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1989, v:7, n:1, pp:40-63 [Journal]
  24. Robert M. Keller, M. Ronan Sleep
    Applicative Caching. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1986, v:8, n:1, pp:88-108 [Journal]
  25. Frank C. H. Lin, Robert M. Keller
    The Gradient Model Load Balancing Method. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:1, pp:32-38 [Journal]
  26. Krithi Ramamritham, Robert M. Keller
    Specification of Synchronizing Processes. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1983, v:9, n:6, pp:722-733 [Journal]
  27. Brian Bentow, Jon Dodge, Aaron Homer, Christopher D. Moore, Robert M. Keller, Matthew Presley, Robert Davis, Jorge Seidel, Craig Lee, Joseph Betser
    Grid-enabling a vibroacoustic analysis application. [Citation Graph (0, 0)][DBLP]
    GRID, 2005, pp:33-39 [Conf]
  28. Elizabeth Sweedyk, Robert M. Keller
    Fun and games: a new software engineering course. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2005, pp:138-142 [Conf]

  29. Resource expressions for applicative languages. [Citation Graph (, )][DBLP]

  30. System Management for Grid-Enabling a Vibroacoustic Analysis Application. [Citation Graph (, )][DBLP]

  31. Grid-enabling orbital analysis and computationally intensive applications for a growing set of diversified users. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002