Systems, interactions, and macrotheory
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 2
Human-Computer Interaction
Human-Computer Interaction
A method for formalizing, analyzing, and verifying secure user interfaces
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
The user context and formal specification in interactive system design
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
| Hi-index | 0.00 |