Extending State Transition Diagrams for the Specification of Human-Computer Interaction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Process-translatable Petri Nets for the rapid prototyping of process control systems
IEEE Transactions on Software Engineering
A specification language for direct-manipulation user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Petri net-based object-oriented modelling of distributed systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Extending Petri nets for specifying man-machine dialogues
International Journal of Man-Machine Studies
Using formal specifications in the design of a human-computer interface
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
User-Interface Tools: Introduction and Survey
IEEE Software
An approach to Petri net based formal modeling of user interactions from X3D content
Proceedings of the eleventh international conference on 3D web technology
Social network analysis and interactive device design analysis
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
ACM Transactions on Computer-Human Interaction (TOCHI)
Proceedings of the 2009 international conference on Multimodal interfaces
Formal description of multi-touch interactions
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
| Hi-index | 0.00 |