Concepedia

George B. Leeman

GB

Statistics

Publications

8

Citations

210

H-Index

8

Active since

1974

Affiliations

IBM (United States)(Current)

IBM Research - Thomas J. Watson Research Center

Palo Alto Research Center

George B. Leeman is an author at IBM (United States) specializing in computer science, computing, and computer engineering.

Publications per year

1974–1986

8

Publications

8

A formal approach to undo operations in programming languages

George B. Leeman · ACM Transactions on Programming Languages and Systems · 1986 · 72 citations · Full text

Computing, Computer Science, Formal Methods +9

A local estimate for typically real functions

George B. Leeman · Pacific Journal of Mathematics · 1974 · 35 citations · Full text

Engineering, Computer Engineering, Uncertainty Quantification +7

A program development tool

Cyril N. Alberga, Allen L. Brown, George B. Leeman et al. · 1981 · 26 citations · Full text

Computing, Computer Science, Computer Systems +10

Automated proofs of microprogram correctness

William H. Joyner, W. C. Carter, George B. Leeman · 1976 · 23 citations · Full text

Computing, Computer Engineering, Computer Science +17

Concepts and implications of undo for interactive recovery

Robert F. Gordon, George B. Leeman, Clayton Lewis · 1985 · 15 citations · Full text

Computing, Computer Science, Computer Systems +15

1–5 of 8