William J. Hankley

According to our database, William J. Hankley authored at least 9 papers between 1973 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

An Ergonomic Design for Hierarchical Menus.

William J. Hankley, Vikranth Vaddi

Proceedings of The 2005 International Conference on Human-Computer Interaction, 2005

1995

OOSPEC: An Executable Object-Oriented Specification Language.

Mohammad N. Paryavi, William J. Hankley

Proceedings of the 1995 ACM 23rd Annual Conference on Computer Science, CSC '95, Nashville, TN, USA, February 28, 1995

1993

A Verification Helper for Task Specifications.

William J. Hankley, Peikun Tsai

Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

1992

Ada/TL specification and verification of a distributed computation.

William J. Hankley, Peikun Tsai

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

1990

Proving specifications of tasking systems using Ada/TL.

James Peters, William J. Hankley

Proceedings of the conference on TRI-ADA 1990, 1990

1987

Feature analysis of Turbo Prolog.

William J. Hankley

ACM SIGPLAN Notices, 1987

1980

Color graphics for remote teaching.

William J. Hankley, Virgil Wallentine

Proceedings of the 7th Annual Conference on Computer Graphics and Interactive Techniques, 1980

Remote teaching (Panel Discussion): Technology and experience.

William J. Hankley, Ted Lewis, Stuart Meyer, Ron Clark, Virgil Wallentine

Proceedings of the 11th SIGCSE Technical Symposium on Computer Science Education, 1980

1973

Separation of introductory programming and language instruction.

Paul S. Fisher, William J. Hankley, Virgil Wallentine

Proceedings of the 3rd SIGCSE Technical Symposium on Computer Science Education, 1973