Search the dblp DataBase

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]