Integrating theoreticians' and practitioners' perspectives with design rationale
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
ACM SIGCHI Bulletin
Integrating task and software development for object-oriented applications
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Crossroads - Special issue on human computer interaction
Design, specification, and verification of interactive systems
ACM SIGSOFT Software Engineering Notes
Prototyping Pre-implementation Designs of Virtual Environment Behaviour
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Modelling Dynamic Group Behaviours
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
A Teaching and Support Tool for Building Formal Models of Graphical User-Interfaces
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Models of interactive systems: a case study on programmable user modelling
International Journal of Human-Computer Studies
Algorithms for automatic dialogue analysis using propositional production systems
Human-Computer Interaction
Timetrees: a branching-time structure for modeling activity and state in human-computer interaction
Human-Computer Interaction
Software operation time evaluation based on MTM
Advances in Engineering Software
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
A design life-cycle for the formal design of user interfaces
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
| Hi-index | 0.00 |