A Method for Obtaining Digital Signatures and Public-Key Cryptosystems.
Is "Sometime" Sometimes Better Than "Always"? (Intermittent Assertions in Proving Program Correctness).
Computer Science Faculties: The Current Status of Minorities and Woman.
Systematic Recursion Removal.
Some New Methods of Detecting Step Edges in Digital Pictures.
A Comparison of Numerical Techniques in Markov Modeling.
Covering Edges by Cliques with Regard to Keyword Conflicts and Intersection Graphs.
B-trees Re-examined.
Relaxation Method for Image Reconstruction.