Honest Bounds for Complexity Classes of Recursive Functions. - Robert Moll; Albert R. Meyer (J. Symb. Log., 1974)

An Operator Embedding Theorem for Complexity Classes of Recursive Functions. - Robert Moll (Theor. Comput. Sci., 1976)

Program synthesis by analogy. - John Wade Ulrich; Robert Moll (Artificial Intelligence and Programming Languages, 1977)

The Synthesis of Programs by Analogy. - Robert Moll; John Wade Ulrich (IJCAI, 1979)

On the Number of Affine Families of Boolean Functions - Balakrishnan Krishnamurthy; Robert N. Moll (Inf. Control., 1979)

A Basis for Theoretical Computer Science. - Michael A. Arbib; Assaf J. Kfoury; Robert N. Moll (Springer, 1981)

Examples of Hard Tautologies in the Propositional Calculus - Balakrishnan Krishnamurthy; Robert N. Moll (STOC, 1981)

A Programming Approach to Computability - Assaf J. Kfoury; Robert N. Moll; Michael A. Arbib (Springer, 1982)

An Introduction to Formal Language Theory - Robert N. Moll; Michael A. Arbib; A. J. Kfoury (Springer, 1988)

A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers. - Ugo A. Buy; Robert Moll (CAV, 1990)

Liveness Analysis and the Automatic Generation of Concurrent Programs. - Ugo A. Buy; Robert Moll (CAV (DIMACS/AMS volume), 1990)

A Toolkit for Vehicle Routing. - Bruce MacLeod; Robert Moll (ICSI, 1990)

A Principled Approach to Solving Complex Discrete Optimization Problems. - Bruce MacLeod; Robert Moll (Computer Science and Operations Research, 1992)

Vector Sequence Analysis and Full Weak Safety for Concurrent Systems. - Mahesh Girkar; Robert Moll (FCT, 1993)

New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes. - Mahesh Girkar; Robert Moll (CONCUR, 1994)

A Specification-Based Approach to Concurrency Analysis. - Ugo A. Buy; Robert Moll (Autom. Softw. Eng., 1995)

Learning Instance-Independent Value Functions to Enhance Local Search. - Robert Moll; Andrew G. Barto; Theodore J. Perkins; Richard S. Sutton (NIPS, 1998)

Machine Learning for Subproblem Selection. - Robert Moll; Theodore J. Perkins; Andrew G. Barto (ICML, 2000)

Efficient and robust computation of an approximated medial axis. - Yuandong Yang; Oliver Brock; Robert N. Moll (Symposium on Solid Modeling and Applications, 2004)

On optimal routing with multiple traffic matrices. - Chun Zhang; Yong Liu 013; Weibo Gong; James F. Kurose; Robert Moll; Donald F. Towsley (INFOCOM, 2005)

Novel curricula and tools for Java in CS1 courses. - Glenn D. Blank; Robert Moll (J. Comput. Sci. Coll., 2008)

iJava - an online interactive textbook for elementary Java instruction: demonstration. - Robert Moll (J. Comput. Sci. Coll., 2011)

Automated style feedback for advanced beginner Java programmers. - Hannah Blau; Samantha Kolovson; W. Richards Adrion; Robert Moll (FIE, 2016)