Robert Moll

18 papers A* 4B 2C 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2016 C conf
Automated style feedback for advanced beginner Java programmers.
FIE
Hannah Blau, Samantha Kolovson, W. Richards Adrion, Robert Moll
2011 J jnl
iJava - an online interactive textbook for elementary Java instruction:
J. Comput. Sci. Coll.
Robert Moll
2008 J jnl
Novel curricula and tools for Java in CS1 courses.
J. Comput. Sci. Coll.
Glenn D. Blank, Robert Moll
2005 A* conf
On optimal routing with multiple traffic matrices.
INFOCOM
Chun Zhang, Yong Liu, Weibo Gong, James F. Kurose, Robert Moll, Donald F. Towsley
2000 A* conf
Machine Learning for Subproblem Selection.
ICML
Robert Moll, Theodore J. Perkins, Andrew G. Barto
1998 — conf
Learning Instance-Independent Value Functions to Enhance Local Search.
NIPS
Robert Moll, Andrew G. Barto, Theodore J. Perkins, Richard S. Sutton
1995 J jnl
A Specification-Based Approach to Concurrency Analysis.
Autom. Softw. Eng.
Ugo A. Buy, Robert Moll
1994 B conf
New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes.
CONCUR
Mahesh Girkar, Robert Moll
1993 B conf
Vector Sequence Analysis and Full Weak Safety for Concurrent Systems.
FCT
Mahesh Girkar, Robert Moll
1992 — ch.
A Principled Approach to Solving Complex Discrete Optimization Problems.
Computer Science and Operations Research
Bruce MacLeod, Robert Moll
1990 A* conf
A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers.
CAV
Ugo A. Buy, Robert Moll
1990 — conf
A Toolkit for Vehicle Routing.
ICSI
Bruce MacLeod, Robert Moll
1990 — conf
Liveness Analysis and the Automatic Generation of Concurrent Programs.
CAV (DIMACS/AMS volume)
Ugo A. Buy, Robert Moll
1979 A* conf
The Synthesis of Programs by Analogy.
IJCAI
Robert Moll, John Wade Ulrich
1977 — conf
Program synthesis by analogy.
Artificial Intelligence and Programming Languages
John Wade Ulrich, Robert Moll
1976 J jnl
An Operator Embedding Theorem for Complexity Classes of Recursive Functions.
Theor. Comput. Sci.
Robert Moll
1974 J jnl
Honest Bounds for Complexity Classes of Recursive Functions.
J. Symb. Log.
Robert Moll, Albert R. Meyer
1972 — conf
Honest Bounds for Complexity Classes of Recursive Functions
SWAT
Albert R. Meyer, Robert Moll