Relations between cognitive psychology and computer system design
Interfacing thought: cognitive aspects of human-computer interaction
Cognitive resources and the learning of human-computer dialogs
Interfacing thought: cognitive aspects of human-computer interaction
Approximate modelling of cognitive activity: towards an expert system design aid
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
Plans and situated actions: the problem of human-machine communication
Plans and situated actions: the problem of human-machine communication
Communication and concurrency
Unified theories of cognition
Integrating cognitive and system models in human computer interaction
Proceedings of the fifth conference of the British Computer Society, Human-Computer Interaction Specialist Group on People and computers V
Bridging between basic theories and the artifacts of human-computer interaction
Designing interaction
Getting around the task-artifact cycle: how to make claims and design by scenario
ACM Transactions on Information Systems (TOIS)
Elements of interaction: Turing award lecture
Communications of the ACM
The effects of skill development and feedback on action slips
HCI'92 Proceedings of the conference on People and computers VII
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
Using a human face in an interface
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Using Interaction Framework to guide the design of interactive systems
International Journal of Human-Computer Studies
A generic platform for addressing the multimodal challenge
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A systematic methodology for cognitive modelling
Artificial Intelligence - Special volume on empirical methods
Human factors in systems engineering
Human factors in systems engineering
Integrating user and computer system concerns in the design of interactive systems
International Journal of Human-Computer Studies
Usability Engineering
Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
Mural: A Formal Development Support System
Mural: A Formal Development Support System
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
From Formal Models to Formal Methods
ICSE '94 Proceedings of the Workshop on Software Engineering and Human-Computer Interaction
The Persona Effect: How Substantial Is It?
HCI '98 Proceedings of HCI on People and Computers XIII
Modelling multimodal interaction: A theory-based technique for design analysis support
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
Iconic interfacing: The role of icon distinctiveness and fixed or variable screen locations
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
How Did Software Get So Reliable Without Proof?
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Systematic Development of the Human Interface
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Design principles for human-computer interfaces
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Human Problem Solving
Video matters!: when communication ability is stressed, video helps
CHI EA '97 CHI '97 Extended Abstracts on Human Factors in Computing Systems
Human-Computer Interaction
Human-Computer Interaction
Representing cognitive activity in complex tasks
Human-Computer Interaction
Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Information architecture without internal theory: an inductive design process
Journal of the American Society for Information Science and Technology
A model for notification systems evaluation—assessing user goals for multitasking activity
ACM Transactions on Computer-Human Interaction (TOCHI)
Models of interactive systems: a case study on programmable user modelling
International Journal of Human-Computer Studies
On electronic annotation and its implementation
Proceedings of the working conference on Advanced visual interfaces
CASE: a framework for evaluating learner-computer interaction in Computer-Assisted Language learning
CHINZ '05 Proceedings of the 6th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction: making CHI natural
A unified description formalism for complex HCI-systems
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A New Framework for Theory-Based Interaction Design Applied to Serendipitous Information Retrieval
ACM Transactions on Computer-Human Interaction (TOCHI)
HOPS: A Prototypical Specification Tool for Interactive Systems
Interactive Systems. Design, Specification, and Verification
Internalist and externalist HCI
BCS-HCI '07 Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 2
Supporting co-evolution of users and systems by the recognition of interaction patterns
Proceedings of the Working Conference on Advanced Visual Interfaces
The Changing Face of Human-Computer Interaction in the Age of Ubiquitous Computing
USAB '09 Proceedings of the 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society on HCI and Usability for e-Inclusion
Longing for service: Bringing the UCL Conception towards services research
Interacting with Computers
Universal access to assistive technology through client-centred cognitive assessment
ERCIM'02 Proceedings of the User interfaces for all 7th international conference on Universal access: theoretical perspectives, practice, and experience
Interfacing safety and communication breakdowns: situated medical technology design
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: applications and services
| Hi-index | 0.00 |
A significant proportion of early HCI research was guided by one very clear vision: that the existing theory base in psychology and cognitive science could be developed to yield engineering tools for use in the interdisciplinary context of HCI design. While interface technologies and heuristic methods for behavioral evaluation have rapidly advanced in both capability and breadth of application, progress toward deeper theory has been modest, and some now believe it to be unnecessary. A case is presented for developing new forms of theory, based around generic “systems of interactors.” An overlapping, layered structure of macro- and microtheories could then serve an explanatory role, and could also bind together contributions from the different disciplines. Novel routes to formalizing and applying such theories provide a host of interesting and tractable problems for future basic research in HCI.