# Phillip J. Windley

According to our database

Collaborative distances:

^{1}, Phillip J. Windley authored at least 25 papers between 1990 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

Frontiers Blockchain, 2021

2019

IEEE Internet Comput., 2019

2015

API Access Control with OAuth: Coordinating interactions with the Internet of Things.

IEEE Consumer Electron. Mag., 2015

2007

Proceedings of the 2007 Workshop on Digital Identity Management, 2007

2005

O'Reilly, ISBN: 978-0-596-00878-9, 2005

1998

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1997

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

IEEE Trans. Computers, 1995

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors.

Comput. Sci. Educ., 1994

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

Proceedings of the Theorem Provers in Circuit Design, 1994

1993

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

Reasoning about the VHDL Standard Logic Package Signal Data Type.

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

Proceedings of the Correct Hardware Design and Verification Methods, 1993

1992

Abstract Theories in HOL.

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Simulating Microprocessors from Formal Specifications.

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1991

An HOL Theory for Logic States with Indeterminate Strengths.

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

Proceedings of the Compcon Spring '91, San Francisco, 1991

1990

Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990