On human–machine relations | 3 | 0.37 | 2017 |
Automated driving aids: modeling, analysis, and interface design considerations | 4 | 0.57 | 2013 |
Formal Methods in the Wild: Trains, Planes, & Automobile. | 0 | 0.34 | 2012 |
HMI aspects of automotive climate control systems | 5 | 0.42 | 2011 |
TOWARD AUTOMATIC GENERATION OF USER INTERFACES: AbstractION OF INTERNAL STATES AND TRANSITIONS | 0 | 0.34 | 2007 |
Integration and organization of information for display | 0 | 0.34 | 2007 |
Formal analysis and automatic generation of user interfaces: approach, methodology, and an algorithm. | 10 | 0.95 | 2007 |
Canonical correlation analysis: use of composite heliographs for representing multiple patterns | 4 | 0.41 | 2006 |
Formal verification of human-automation interaction. | 44 | 3.14 | 2002 |