The SCEAS System
Navigation Menu

Search the dblp DataBase


Robert Moll: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ugo A. Buy, Robert Moll
    A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:292-301 [Conf]
  2. Mahesh Girkar, Robert Moll
    New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:65-80 [Conf]
  3. Mahesh Girkar, Robert Moll
    Vector Sequence Analysis and Full Weak Safety for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    FCT, 1993, pp:256-265 [Conf]
  4. Albert R. Meyer, Robert Moll
    Honest Bounds for Complexity Classes of Recursive Functions [Citation Graph (0, 0)][DBLP]
    FOCS, 1972, pp:61-66 [Conf]
  5. Robert Moll, Theodore J. Perkins, Andrew G. Barto
    Machine Learning for Subproblem Selection. [Citation Graph (0, 0)][DBLP]
    ICML, 2000, pp:615-622 [Conf]
  6. Bruce MacLeod, Robert Moll
    A Toolkit for Vehicle Routing. [Citation Graph (0, 0)][DBLP]
    ICSI, 1990, pp:426-431 [Conf]
  7. Robert Moll, Andrew G. Barto, Theodore J. Perkins, Richard S. Sutton
    Learning Instance-Independent Value Functions to Enhance Local Search. [Citation Graph (0, 0)][DBLP]
    NIPS, 1998, pp:1017-1023 [Conf]
  8. Ugo A. Buy, Robert Moll
    A Specification-Based Approach to Concurrency Analysis. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1995, v:2, n:4, pp:265-309 [Journal]
  9. Robert Moll, Albert R. Meyer
    Honest Bounds for Complexity Classes of Recursive Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:127-138 [Journal]
  10. Robert Moll
    An Operator Embedding Theorem for Complexity Classes of Recursive Functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1976, v:1, n:3, pp:193-198 [Journal]

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