Formal description and evaluation of user-adapted interfaces

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

The keystroke-level model for user performance time with interactive systems

Stuart K. Card, Thomas P. Moran, Allen Newell · Communications of the ACM · 1980 · 1.2K citations · Full text

Computing, Computer Science, Computer Systems +10

An approach to the formal analysis of user complexity

David E. Kieras, Peter G. Polson · International Journal of Human-Computer Studies · 1999 · 598 citations

Computing, Computer Science, Formal Methods +9

The case against user interface consistency

Jonathan Grudin · Communications of the ACM · 1989 · 350 citations · Full text

Arts, Design, Human-computer Interaction +7

Petri-net-based hypertext: document structure with browsing semantics

P. David Stotts, Richard Furuta · ACM Transactions on Information Systems · 1989 · 311 citations · Full text

Computing, Computer Science, Information Technology +14