Concepedia

Phillip J. Windley

PJ

Statistics

Publications

10

Citations

247

H-Index

10

Active since

1990

Affiliations

Brigham Young University(Current)

University of California, Davis

Phillip J. Windley is an author at Brigham Young University specializing in computer science, verification, and computer architecture.

Publications per year

1990–2021

10

Publications

10

The formal verification of generic interpreters

Phillip J. Windley · NASA Technical Reports Server (NASA) · 1990 · 58 citations

Computing, Computer Science, Computer Systems +16

Formal modeling and verification of microprocessors

Phillip J. Windley · IEEE Transactions on Computers · 1995 · 51 citations

Engineering, Computer Engineering, Computer Science +17

Sovrin: An Identity Metasystem for Self-Sovereign Identity

Phillip J. Windley · Frontiers in Blockchain · 2021 · 39 citations · Full text

Computing, Computer Science, Information Systems +17

A Framework for Building Reputation Systems

Phillip J. Windley, Kevin Tew, Devlin Daley · 2007 · 19 citations

Social Sciences, Computer Science, Information Systems +11

Verifying pipelined microprocessors

Phillip J. Windley · 2002 · 17 citations

Computing, Computer Engineering, Computer Science +17

1–5 of 10