
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:
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
Showing 14 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
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
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
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, et al.
Lecture notes in computer science (2017), pp. 89-104
Closed Access | Times Cited: 20
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, et al.
Lecture notes in computer science (2017), pp. 89-104
Closed Access | Times Cited: 20
Models of interactive systems: a case study on programmable user modelling
Ann Blandford, Richard Butterworth, Paul Curzon
International Journal of Human-Computer Studies (2003) Vol. 60, Iss. 2, pp. 149-200
Open Access | Times Cited: 31
Ann Blandford, Richard Butterworth, Paul Curzon
International Journal of Human-Computer Studies (2003) Vol. 60, Iss. 2, pp. 149-200
Open Access | Times Cited: 31
Automated specification-based testing of graphical user interfaces
Ana Cristina Ramada Paiva Pimenta
(2006)
Closed Access | Times Cited: 24
Ana Cristina Ramada Paiva Pimenta
(2006)
Closed Access | Times Cited: 24
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
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?
Karsten Loer, Michael D. Harrison
Lecture notes in computer science (2001), pp. 169-190
Closed Access | Times Cited: 17
Karsten Loer, Michael D. Harrison
Lecture notes in computer science (2001), pp. 169-190
Closed Access | Times Cited: 17
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
Towards model based prediction of human error rates in interactive systems
David Leadbetter, Andrew Hussey, Peter Lindsay, et al.
(2001) Vol. 23, Iss. 5, pp. 42-49
Closed Access | Times Cited: 11
David Leadbetter, Andrew Hussey, Peter Lindsay, et al.
(2001) Vol. 23, Iss. 5, pp. 42-49
Closed Access | Times Cited: 11
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
Window Transitions: A Graphical Notation for Specifying Mid-level Dialogue
Efrem Mbaki, Jean Vanderdonckt
Task Models and Diagrams for User Interface Design (2002), pp. 55-63
Closed Access | Times Cited: 3
Efrem Mbaki, Jean Vanderdonckt
Task Models and Diagrams for User Interface Design (2002), pp. 55-63
Closed Access | Times Cited: 3
Towards model based prediction of human error rates in interactive systems
D. Leadbetter, A. Hussey, P. Lindsay, et al.
(2002), pp. 42-49
Closed Access | Times Cited: 3
D. Leadbetter, A. Hussey, P. Lindsay, et al.
(2002), pp. 42-49
Closed Access | Times Cited: 3