A Generic Approach to Building User Interfaces for Theorem Provers

By Bertot Y.   Thery L.  

Journal of Symbolic Computation, Vol. 25, Iss. 2, 1998-02 ,pp. : 161-194

Academic Press

Access to resources Recommend Favorite

Designing touchpad user-interfaces for vehicles: which tasks are most suitable?

By Burnett Gary  

Behaviour and Information Technology, Vol. 30, Iss. 3, 2011-05 ,pp. : 403-414

Taylor & Francis Ltd

Access to resources Recommend Favorite

Scenario-Based Observation Approach for Eliciting User Requirements for Haptic User Interfaces

By      

International Journal of Human-Computer Interaction, Vol. 30, Iss. 11, 2014-11 ,pp. : 842-854

Taylor & Francis Ltd

Access to resources Recommend Favorite

Designing touchpad user-interfaces for right-hand drive vehicles: an investigation into where the touchpad should be located

By Burnett Gary   Lawson Glyn   Millen Laura   Pickering Carl   Webber Emily  

Behaviour and Information Technology, Vol. 32, Iss. 9, 2013-09 ,pp. : 874-887

Taylor & Francis Ltd

Access to resources Recommend Favorite

AUTONOMOUS AGENTS IN USER INTERFACES

By Veitl Mario   Petta Paolo   Spour Robert   Obermaier Klaus  

Cybernetics and Systems, Vol. 30, Iss. 2, 1999-03 ,pp. : 169-177

Taylor & Francis Ltd

Access to resources Recommend Favorite