Robert Moll

Affiliations:
  • University of Massachusetts Amherst, USA


According to our database1, Robert Moll authored at least 21 papers between 1974 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Automated style feedback for advanced beginner Java programmers.
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

2005
On optimal routing with multiple traffic matrices.
Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005

2004
Efficient and robust computation of an approximated medial axis.
Proceedings of the Ninth ACM Symposium on Solid Modeling and Applications, 2004

2000
Machine Learning for Subproblem Selection.
Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29, 2000

1998
Learning Instance-Independent Value Functions to Enhance Local Search.
Proceedings of the Advances in Neural Information Processing Systems 11, [NIPS Conference, Denver, Colorado, USA, November 30, 1998

1995
A Specification-Based Approach to Concurrency Analysis.
Autom. Softw. Eng., 1995

1994
New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes.
Proceedings of the CONCUR '94, 1994

1993
Vector Sequence Analysis and Full Weak Safety for Concurrent Systems.
Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993

1992
A Principled Approach to Solving Complex Discrete Optimization Problems.
Proceedings of the Computer Science and Operations Research, 1992

1990
A Toolkit for Vehicle Routing.
Proceedings of the First International Conference on Systems Integration, 1990

Liveness Analysis and the Automatic Generation of Concurrent Programs.
Proceedings of the Computer-Aided Verification, 1990

A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1988
An Introduction to Formal Language Theory
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4613-9595-9, 1988

1982
A Programming Approach to Computability
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-5749-3, 1982

1981
Examples of Hard Tautologies in the Propositional Calculus
Proceedings of the 13th Annual ACM Symposium on Theory of Computing, 1981

A Basis for Theoretical Computer Science.
Texts and Monographs in Computer Science, Springer, ISBN: 3540905731, 1981

1979
On the Number of Affine Families of Boolean Functions
Inf. Control., December, 1979

The Synthesis of Programs by Analogy.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1977
Program synthesis by analogy.
Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

1976
An Operator Embedding Theorem for Complexity Classes of Recursive Functions.
Theor. Comput. Sci., 1976

1974
Honest Bounds for Complexity Classes of Recursive Functions.
J. Symb. Log., 1974


  Loading...