Meurig Sage

According to our database, Meurig Sage authored at least 9 papers between 1997 and 2002.

Collaborative distances:

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

2002

Formally verified, rapid prototyping for Air Traffic Control.

Meurig Sage, Chris W. Johnson

Reliab. Eng. Syst. Saf., 2002

2001

Declarative support for prototyping interactive systems.

Meurig Sage

PhD thesis, 2001

Dynamic Links for Mobile Connected Context-Sensitive Systems.

Philip D. Gray, Meurig Sage

Proceedings of the Engineering for Human-Computer Interaction, 2001

A multi-scaled display technique for PDAs.

Meurig Sage, Martin Gardner, Philip D. Gray

Proceedings of the CHI 2001 Extended Abstracts on Human Factors in Computing Systems, 2001

Data Capture for Clinical Anaesthesia on a Pen-based PDA: Is It a Viable Alternative to Paper?

Martin Gardner, Meurig Sage, Philip D. Gray, Chris Johnson

Proceedings of the People and Computers XV, 2001

2000

FranTk - a declarative GUI language for Haskell.

Meurig Sage

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1998

Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle.

Meurig Sage, Chris W. Johnson

Proceedings of the Design, 1998

1997

Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style.

Meurig Sage, Chris W. Johnson

Proceedings of the Human-Computer Interaction, 1997

Interactors and Haggis: Executable specifications for interactive systems.

Meurig Sage, Chris W. Johnson

Proceedings of the Design, 1997