Conferences in DBLP
Dan R. Olsen Interacting in chaos. [Citation Graph (0, 0)][DBLP ] Conf ] John McCarthy The viability of modelling socially organised activity. [Citation Graph (0, 0)][DBLP ] Conf ] Keith A. Butler , Chris Esposito , Ron Hebron Deriving Business Object Definitions from User Work Process Models. [Citation Graph (0, 0)][DBLP ] Conf ] Robert E. Fields , Nicholas A. Merriam Inference and Information Resources: A Design Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Martijn van Welie , Gerrit C. van der Veer , Anton Eliëns An Ontology for Task World Models. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Paternò , Carmen Santoro , Sophie Tahmassebi Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Butterworth , Ann Blandford The Role of Formal Proof in Modelling Interactive Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Panos Markopoulos , Giorgios Papatzanis , Peter Johnson , Jon Rowson Validating Semi-Formal Specifications of Interactors as Design Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Sara Jones , John Sapford The Role of Informal Representations in Early Design. [Citation Graph (0, 0)][DBLP ] Conf ] Meurig Sage , Chris Johnson Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle. [Citation Graph (0, 0)][DBLP ] Conf ] José Creissac Campos , Michael D. Harrison The Role of Verification in Interactive Systems Design. [Citation Graph (0, 0)][DBLP ] Conf ] Rémi Bastide , Philippe A. Palanque , Duc-Hoa Le , Jaime Munoz Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Stirewalt , Gregory D. Abowd Practical Dialogue Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Alfred Hussey , David A. Carrington Which widgets? deriving implementations from user-interface specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Fisher A Framework for Generating Spatial Configurations in User Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno d'Ausbourg Using Model Checking for the Automatic Validation of User Interface Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Bowman , Giorgio P. Faconti , Mieke Massink Specification and Verification of Media Constraints using UPAAL. [Citation Graph (0, 0)][DBLP ] Conf ] Hallvard Trætteberg Modelling Direct Manipulation Using Referent and Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Gavin J. Doherty , Michael D. Harrison Integrating Joint Behaviour and Dialogue Description. [Citation Graph (0, 0)][DBLP ] Conf ] Panos Markopoulos , Peter Johnson Discussion Topics for the DSV-IS'98 Working Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Michael D. Harrison Working Group 1 Report. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Rowson Working Group 2 Report. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Duce Integrating Joint Behaviour and Dialogue Description. [Citation Graph (0, 0)][DBLP ] Conf ] 