
Search the dblp DataBase
Robert Moll:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Ugo A. Buy, Robert Moll
A Proof LatticeBased Technique for Analyzing Liveness of Resource Controllers. [Citation Graph (0, 0)][DBLP] CAV, 1990, pp:292301 [Conf]
 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:6580 [Conf]
 Mahesh Girkar, Robert Moll
Vector Sequence Analysis and Full Weak Safety for Concurrent Systems. [Citation Graph (0, 0)][DBLP] FCT, 1993, pp:256265 [Conf]
 Albert R. Meyer, Robert Moll
Honest Bounds for Complexity Classes of Recursive Functions [Citation Graph (0, 0)][DBLP] FOCS, 1972, pp:6166 [Conf]
 Robert Moll, Theodore J. Perkins, Andrew G. Barto
Machine Learning for Subproblem Selection. [Citation Graph (0, 0)][DBLP] ICML, 2000, pp:615622 [Conf]
 Bruce MacLeod, Robert Moll
A Toolkit for Vehicle Routing. [Citation Graph (0, 0)][DBLP] ICSI, 1990, pp:426431 [Conf]
 Robert Moll, Andrew G. Barto, Theodore J. Perkins, Richard S. Sutton
Learning InstanceIndependent Value Functions to Enhance Local Search. [Citation Graph (0, 0)][DBLP] NIPS, 1998, pp:10171023 [Conf]
 Ugo A. Buy, Robert Moll
A SpecificationBased Approach to Concurrency Analysis. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1995, v:2, n:4, pp:265309 [Journal]
 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:127138 [Journal]
 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:193198 [Journal]
Search in 0.003secs, Finished in 0.004secs
