Robert Moll
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
1972–2016
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FIE | Automated style feedback for advanced beginner Java programmers. | Hannah Blau, Samantha Kolovson, W. Richards Adrion, Robert Moll |
| 2005 | INFOCOM | On optimal routing with multiple traffic matrices. | Chun Zhang, Yong Liu, Weibo Gong, James F. Kurose, Robert Moll, Donald F. Towsley |
| 2000 | ICML | Machine Learning for Subproblem Selection. | Robert Moll, Theodore J. Perkins, Andrew G. Barto |
| 1994 | CONCUR | New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes. | Mahesh Girkar, Robert Moll |
| 1993 | FCT | Vector Sequence Analysis and Full Weak Safety for Concurrent Systems. | Mahesh Girkar, Robert Moll |
| 1990 | CAV | A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers. | Ugo A. Buy, Robert Moll |
| 1979 | IJCAI | The Synthesis of Programs by Analogy. | Robert Moll, John Wade Ulrich |
| 1972 | FOCS | Honest Bounds for Complexity Classes of Recursive Functions | Albert R. Meyer, Robert Moll |