William J. Hankley

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
An Ergonomic Design for Hierarchical Menus.
Proceedings of The 2005 International Conference on Human-Computer Interaction, 2005

1995
OOSPEC: An Executable Object-Oriented Specification Language.
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.
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.
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.
Proceedings of the conference on TRI-ADA 1990, 1990

1987
Feature analysis of Turbo Prolog.
ACM SIGPLAN Notices, 1987

1980
Color graphics for remote teaching.
Proceedings of the 7th Annual Conference on Computer Graphics and Interactive Techniques, 1980

Remote teaching (Panel Discussion): Technology and experience.
Proceedings of the 11th SIGCSE Technical Symposium on Computer Science Education, 1980

1973
Separation of introductory programming and language instruction.
Proceedings of the 3rd SIGCSE Technical Symposium on Computer Science Education, 1973


  Loading...