Concepedia

Raymond J. Hookway

RJ

Statistics

Publications

3

Citations

171

H-Index

3

Active since

1991

Affiliations

Case Western Reserve University(Current)

The Ohio State University

Raymond J. Hookway is an author at Case Western Reserve University specializing in programming languages, computer science, and modular verification.

Publications per year

1991–1997

3

Publications

3

DIGITAL FX!32: combining emulation and binary translation

Raymond J. Hookway, Mark A. Herdeg · Digital technical journal · 1997 · 125 citations

, , +14

Modular verification of data abstractions with shared realizations

George W. Ernst, Raymond J. Hookway, William F. Ogden · IEEE Transactions on Software Engineering · 1994 · 28 citations

, , +11

Modular verification of Ada generics

George W. Ernst, Raymond J. Hookway, James A Menegay et al. · Computer Languages · 1991 · 18 citations

, , +10

1–3 of 3