Meurig Sage

Publication Activity (10 Years)

Years Active: 1997-2002
Publications (10 Years): 0

University of Glasgow, UK (PHD)

Education History

University of Glasgow, UK

PHD

Publications

Meurig Sage, Chris W. Johnson
Formally verified, rapid prototyping for Air Traffic Control. Reliab. Eng. Syst. Saf. 75 (2) (2002)
Philip D. Gray, Meurig Sage
Dynamic Links for Mobile Connected Context-Sensitive Systems. EHCI (2001)
Meurig Sage, Martin Gardner, Philip D. Gray
A multi-scaled display technique for PDAs. CHI Extended Abstracts (2001)
Martin Gardner, Meurig Sage, Philip D. Gray, Chris Johnson
Data Capture for Clinical Anaesthesia on a Pen-based PDA: Is It a Viable Alternative to Paper? BCS HCI/IHM (2001)
Meurig Sage
FranTk - a declarative GUI language for Haskell. ICFP (2000)
Meurig Sage, Chris W. Johnson
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle. DSV-IS (1998)
Meurig Sage, Chris W. Johnson
Interactors and Haggis: Executable specifications for interactive systems. DSV-IS (1997)
Meurig Sage, Chris W. Johnson
Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style. INTERACT (1997)