C. W. Johnson

According to our database, C. W. Johnson authored at least 13 papers between 1978 and 2005.

Collaborative distances:

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

2005

nk-Nearest Neighbor Algorithm for Estimation of Symbolic User Location in Pervasive Computing Environments.

Teddy Mantoro, C. W. Johnson

Proceedings of the 2005 International Conference on a World of Wireless, 2005

Redesigning the Intermediate Course in Software Design.

C. W. Johnson, Ian Barnes

Proceedings of the Seventh Australasian Computing Education Conference (ACE 2005), 2005

1997

People, places and interfaces: using physiological constraints to inform the design of safety-critical user interfaces.

C. W. Johnson

ACM SIGCHI Bull., 1997

1996

Literate specifications.

C. W. Johnson

Softw. Eng. J., 1996

Programming with transactions and chemical abstract machine.

Wanli Ma, C. W. Johnson, Richard P. Brent

Proceedings of the 1996 International Symposium on Parallel Architectures, 1996

1995

Using Z to support the design of interactive safety-critical systems.

C. W. Johnson

Softw. Eng. J., 1995

1993

A Probabilistic Logic for the Development of Safety-Critical, Interactive Systems.

C. W. Johnson

Int. J. Man Mach. Stud., 1993

1992

Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems.

C. W. Johnson, Michael D. Harrison

Int. J. Man Mach. Stud., 1992

1991

Declarative Graphics And Dynamic Interaction.

C. W. Johnson, Michael D. Harrison

Proceedings of the 12th European Computer Graphics Conference and Exhibition, 1991

1990

Using temporal logic to prototype interactive systems.

C. W. Johnson

Proceedings of the Human-Computer Interaction, 1990

Prelog - a System for Presenting and Rendering Logic Specifications of Interactive Systems.

C. W. Johnson, Michael D. Harrison

Proceedings of the 11th European Computer Graphics Conference and Exhibition, 1990

1982

Semantic Errors - Diagnosis and Repair.

C. W. Johnson, Colin Runciman

Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

1978

Simula 67 Through Run-Time Structure.

C. W. Johnson

Aust. Comput. J., 1978