Concepedia

William L. Harrison

WL

Statistics

Publications

8

Citations

183

H-Index

8

Active since

1984

Affiliations

University of Missouri(Current)

United States Naval Research Laboratory

Oregon State University

William L. Harrison is an author at University of Missouri specializing in formal verification, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisCompilersHardware SecuritySoftware AnalysisComputer Engineering

Publications per year

1984–2017

8

Publications

8

A comparison of information management issues in the United States of America and the Republic of China

William L. Harrison, Cheng‐Kiang Farn · Information & Management · 1990 · 48 citations

Organizational Communication, Business Intelligence, Information Technology Management +9

Achieving Information Flow Security through Precise Control of Effects

William L. Harrison, James Hook · 2005 · 32 citations

Engineering, Information Security, Verification +24

Modular compilers based on monad transformers

William L. Harrison, Sam Kamin · 2002 · 24 citations

Engineering, Compiler Technology, Software Engineering +20

Semantics Driven Hardware Design, Implementation, and Verification with ReWire

Adam Procter, William L. Harrison, Ian Graves et al. · 2015 · 20 citations

Hardware Modeling, Engineering, Hardware Verification Language +16

Project Management Considerations for Distributed Processing Applications

Robert G. Felix, William L. Harrison · MIS Quarterly · 1984 · 20 citations

1–5 of 8