ACM SIGCHI Bulletin
Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
The human-computer interaction handbook
Specifying multiple time granularities in interactive systems
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Using temporal logic in the specification of reactive and interactive systems
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
| Hi-index | 0.00 |