Phillip J. Windley
发表
David A. Fura,
Phillip J. Windley,
Gerald C. Cohen,
1993
.
Deborah A. Frincke,
Karl N. Levitt,
Jim Alves-Foss,
1992
.
Michael D. Jones,
Phillip J. Windley,
Annette Bunker,
1998,
FMCAD.
Phillip J. Windley,
2005
.
Phillip J. Windley,
Kevin Tew,
Devlin Daley,
2007,
DIM '07.
Phillip J. Windley,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Phillip J. Windley,
2015
.
Phillip J. Windley,
Kevin Tew,
Devlin Daley,
2007
.
Miriam Leeser,
Mark Aagaard,
Phillip J. Windley,
1993,
HUG.
Phillip J. Windley,
1995,
IEEE Trans. Computers.
Phillip J. Windley,
P. Windley,
2015,
IEEE Consumer Electronics Magazine.
David A. Fura,
Phillip J. Windley,
Gerald C. Cohen,
1992
.
Phillip J. Windley,
1990,
IEEE Symposium on Security and Privacy.
Phillip J. Windley,
P. Windley,
1993,
CHARME.
Karl N. Levitt,
Jeffrey J. Joyce,
Myla Archer,
1992,
TPHOLs.
Ganesh Gopalakrishnan,
Phillip J. Windley,
1998
.
Arun K. Somani,
David A. Fura,
Phillip J. Windley,
1993,
HUG.
Phillip J. Windley,
Bruce A. Richman,
1993
.
Ganesh Gopalakrishnan,
Phillip J. Windley,
2002,
Lecture Notes in Computer Science.
Ganesh Gopalakrishnan,
Phillip J. Windley,
1998
.
Phillip J. Windley,
1990
.
Phillip J. Windley,
Paul E. Black,
1997,
Proceedings of the Thirtieth Hawaii International Conference on System Sciences.
Phillip J. Windley,
P. Windley,
1994,
TPHOLs.
Karl N. Levitt,
Phillip J. Windley,
Tony Leung,
1993,
HUG.
Phillip J. Windley,
Paul E. Black,
1998,
Proceedings of the Thirty-First Hawaii International Conference on System Sciences.
Jerry R. Burch,
Phillip J. Windley,
J. Burch,
1996,
FMCAD.
Phillip J. Windley,
Paul E. Black,
1996,
TPHOLs.
Phillip J. Windley,
Paul E. Black,
Michael Jones,
1996,
Proceedings of Custom Integrated Circuits Conference.
Jim Alves-Foss,
Phillip J. Windley,
E. Thomas Schubert,
1995
.
Phillip J. Windley,
Michael L. Coe,
P. Windley,
1994,
TPCD.
Phillip J. Windley,
J. W. Gambles,
1993,
CHDL.
Phillip J. Windley,
Michael Barnett,
P. Windley,
1994,
Comput. Sci. Educ..
Phillip J. Windley,
1991
.
Phillip J. Windley,
P. Windley,
1992,
TPHOLs.
Phillip J. Windley,
Paul E. Black,
1995,
TPHOLs.
Phillip J. Windley,
Kelly M. Hall,
1992,
TPHOLs.
Phillip J. Windley,
Paul E. Black,
Trent N. Larson,
1996
.
Phillip J. Windley,
J. W. Gambles,
P. Windley,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Phillip J. Windley,
P. Windley,
2021,
Frontiers in Blockchain.
Phillip J. Windley,
1993
.