Automatic generation of task-oriented help
Proceedings of the 8th annual ACM symposium on User interface and software technology
A formal technique for automated dialogue development
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Automated verification of temporal dialogue properties
ACM SIGCHI Bulletin
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
Model Checking Interactor Specifications
Automated Software Engineering
Statestep: A Tool for Systematic, Incremental Specification
Proceedings of the 26th International Conference on Software Engineering
Algorithms for automatic dialogue analysis using propositional production systems
Human-Computer Interaction
| Hi-index | 0.00 |