Publications

Found 296 results
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is P  [Clear All Filters]
1989
Kannan, S. (1989).  Program Checkers for Algebraic Problems (Thesis).
Feldman, J., Lim C-C., & Mazzanti F. (1989).  pSather monitors: Design, Tutorial, Rationale and Implementation.
Impagliazzo, R., & Luby M. (1989).  Pseudo-Random Number Generator From ANY One-Way Function.
1988
Blum, M. E., & Kannan S. (1988).  Program Correctness Checking and the Design of Programs That Check Their Work.
1987
Moody, J. (1987).  Perspectives on Associative Memories. Proceedings of the IEEE First International Conference on Neural Networks.
1985
Moody, J. (1985).  Prospects for Axion Detection. Dark Matter in the Universe: Proceedings of IAU Symposium 117.
1981
Karp, R. M., & Orlin J.. B. (1981).  Parametric Shortest Path Algorithms with an Application to Cyclic Staffing. Discrete Applied Mathematics (Netherlands). 3(1), 37-45.
1980
Feldman, J., & Sloan K. R. (1980).  Progress at the Rochester Image Understanding Project. Proceedings of the DARPA Image Understanding Workshop.
1979
Karp, R. M. (1979).  A Patching Algorithm for the Nonsymmetric Traveling-salesman Problem. SIAM Journal on Computing. 8(4), 561-573.
Karp, R. M. (1979).  Probabilistic Analysis of Graph-theoretic Algorithms. Proceedings of the Computer Science and Statistics 12th Annual Symposium on the Interface.
Feldman, J. (1979).  Programming Languages. Scientific American. 241,
Feldman, J., Brown C. M., & Sloan K. R. (1979).  Progress at the Rochester Image Understanding Project. Proceedings of the DARPA Image Understanding Workshop.
1978
Feldman, J., Low J.., & Rovner P. D. (1978).  Programming Distributed Systems. Proceedings of the ACM Annual Conference. 2, 310-317.
Feldman, J., Brown C. M., & Sloan K. R. (1978).  Progress at the Rochester Image Project.
1977
Karp, R. M. (1977).  Probabilistic Analysis of Partitioning Algorithms for the Traveling-salesman Problem in the Plane. Mathematics of Operations Research. 2(3), 209-224.
Feldman, J. (1977).  A Programming Language for Distributed Computing.
Feldman, J. (1977).  A Programming Methodology for Distributed Computing (among other things).
1975
Karp, R. M., & Matula D. W. (1975).  Probabilistic Behavior of a Naive Coloring Algorithm on Random Graphs. Bulletin of the Operations Research Society of America. 23,
Karp, R. M., & Matula D. W. (1975).  Probabilistic Behavior of a Naive Coloring Algorithm on Random Graphs.
1974
Feldman, J. (1974).  A Problem-List of Issues Concerning Computers and Public Policy.
1972
Gale, D.., & Karp R. M. (1972).  A Phenomenon in the Theory of Sorting. Journal of Computer and System Sciences. 6(2), 103-115.

Pages