Ralph L. London

Publication Statistics

Publication period start
Publication period end
Number of co-authors


Number of publications with favourite co-authors

Productive Colleagues

Most productive colleagues in number of publications


London, Ralph L., Duisberg, Robert (1985): Animating Programs Using Smalltalk. In IEEE Computer, 18 (8) pp. 61-71.

Shaw, Mary, Wulf, William A., London, Ralph L. (1977): Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators. In Communications of the ACM, 20 (8) pp. 553-564.

London, Ralph L. (1970): Certification of algorithm 245 [M1]: treesort 3: proof of algorithms - a new kind of certi. In Communications of the ACM, 13 (6) pp. 371-373. http://doi.acm.org/10.1145/362384.362507