OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!
If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.
Requested Article:
Users as rational interacting agents: formalising assumptions about cognition and interaction
Ann Blandford, Richard Butterworth, Jason Good
Eurographics (1997), pp. 45-60
Closed Access | Times Cited: 20
Ann Blandford, Richard Butterworth, Jason Good
Eurographics (1997), pp. 45-60
Closed Access | Times Cited: 20
Showing 20 citing articles:
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
IEEE Transactions on Systems Man and Cybernetics Systems (2013) Vol. 43, Iss. 3, pp. 488-503
Open Access | Times Cited: 164
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
IEEE Transactions on Systems Man and Cybernetics Systems (2013) Vol. 43, Iss. 3, pp. 488-503
Open Access | Times Cited: 164
A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models
Matthew L. Bolton, Radu I. Siminiceanu, Ellen J. Bass
IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans (2011) Vol. 41, Iss. 5, pp. 961-976
Closed Access | Times Cited: 109
Matthew L. Bolton, Radu I. Siminiceanu, Ellen J. Bass
IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans (2011) Vol. 41, Iss. 5, pp. 961-976
Closed Access | Times Cited: 109
Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
International Journal of Human-Computer Studies (2012) Vol. 70, Iss. 11, pp. 888-906
Open Access | Times Cited: 63
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
International Journal of Human-Computer Studies (2012) Vol. 70, Iss. 11, pp. 888-906
Open Access | Times Cited: 63
Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking
Matthew L. Bolton, Ellen J. Bass
IEEE Transactions on Systems Man and Cybernetics Systems (2013) Vol. 43, Iss. 6, pp. 1314-1327
Open Access | Times Cited: 43
Matthew L. Bolton, Ellen J. Bass
IEEE Transactions on Systems Man and Cybernetics Systems (2013) Vol. 43, Iss. 6, pp. 1314-1327
Open Access | Times Cited: 43
Demonstrating the Cognitive Plausibility of Interactive System Specifications
Richard Butterworth, Ann Blandford, David Duke
Formal Aspects of Computing (2000) Vol. 12, Iss. 4, pp. 237-259
Open Access | Times Cited: 42
Richard Butterworth, Ann Blandford, David Duke
Formal Aspects of Computing (2000) Vol. 12, Iss. 4, pp. 237-259
Open Access | Times Cited: 42
Using task analytic behavior modeling, erroneous human behavior generation, and formal methods to evaluate the role of human-automation interaction in system failure
Ellen J. Bass, Matthew L. Bolton
(2010)
Closed Access | Times Cited: 13
Ellen J. Bass, Matthew L. Bolton
(2010)
Closed Access | Times Cited: 13
A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata
Gerrit Niezen, Parisa Eslambolchilar
IEEE Transactions on Human-Machine Systems (2015) Vol. 46, Iss. 2, pp. 291-302
Open Access | Times Cited: 7
Gerrit Niezen, Parisa Eslambolchilar
IEEE Transactions on Human-Machine Systems (2015) Vol. 46, Iss. 2, pp. 291-302
Open Access | Times Cited: 7
Using Formal Models to Explore Display-Based Usability Issues
Richard Butterworth, Ann Blandford, David Duke
Journal of Visual Languages & Computing (1999) Vol. 10, Iss. 5, pp. 455-479
Closed Access | Times Cited: 16
Richard Butterworth, Ann Blandford, David Duke
Journal of Visual Languages & Computing (1999) Vol. 10, Iss. 5, pp. 455-479
Closed Access | Times Cited: 16
The role of formal proof in modelling interactive behaviour
Richard Butterworth, Ann Blandford, David Duke
Eurographics (1998), pp. 87-101
Closed Access | Times Cited: 14
Richard Butterworth, Ann Blandford, David Duke
Eurographics (1998), pp. 87-101
Closed Access | Times Cited: 14
Programmable user models: The story so far
Richard Butterworth, Ann Blandford
(2000)
Closed Access | Times Cited: 10
Richard Butterworth, Ann Blandford
(2000)
Closed Access | Times Cited: 10
PUMA Footprints: linking theory and craft skill in usability evaluation
Ann Blandford, Richard Butterworth, Paul Curzon
International Conference on Human-Computer Interaction (2001), pp. 577-584
Closed Access | Times Cited: 9
Ann Blandford, Richard Butterworth, Paul Curzon
International Conference on Human-Computer Interaction (2001), pp. 577-584
Closed Access | Times Cited: 9
The role of communication goals in interaction
Ann Blandford, Richard M. Young
(2000)
Closed Access | Times Cited: 9
Ann Blandford, Richard M. Young
(2000)
Closed Access | Times Cited: 9
From HCI to Software Engineering and back
Creissac Campos, Michael D. Harrison
(2003), pp. 49-56
Closed Access | Times Cited: 7
Creissac Campos, Michael D. Harrison
(2003), pp. 49-56
Closed Access | Times Cited: 7
Reducing the risks of telehealthcare expansion through the automation of efficiency evaluation
Cristina Alexandru
(2015)
Closed Access | Times Cited: 2
Cristina Alexandru
(2015)
Closed Access | Times Cited: 2
The Principle of Rationality and Models of Highly Interactive Systems.
Richard Butterworth, Ann Blandford
International Conference on Human-Computer Interaction (1999), pp. 417-424
Closed Access | Times Cited: 6
Richard Butterworth, Ann Blandford
International Conference on Human-Computer Interaction (1999), pp. 417-424
Closed Access | Times Cited: 6
Inference and Information Resources: A design case study
Robert E. Fields, Nick Merriam
Eurographics (1998), pp. 41-56
Closed Access | Times Cited: 2
Robert E. Fields, Nick Merriam
Eurographics (1998), pp. 41-56
Closed Access | Times Cited: 2
Using Task Models to Understand the Intersection of Numeracy Skills and Technical Competence With Medical Device Design
Judy Bowen, Diana Coben
Interacting with Computers (2021) Vol. 33, Iss. 1, pp. 40-54
Closed Access | Times Cited: 1
Judy Bowen, Diana Coben
Interacting with Computers (2021) Vol. 33, Iss. 1, pp. 40-54
Closed Access | Times Cited: 1
