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:
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
Showing 1-25 of 31 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
Designing Inclusive Interfaces Through User Modeling and Simulation
Pradipta Biswas, Peter Robinson, Patrick Langdon
International Journal of Human-Computer Interaction (2011) Vol. 28, Iss. 1, pp. 1-33
Closed Access | Times Cited: 72
Pradipta Biswas, Peter Robinson, Patrick Langdon
International Journal of Human-Computer Interaction (2011) Vol. 28, Iss. 1, pp. 1-33
Closed Access | Times Cited: 72
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
An approach to formal verification of human–computer interaction
Paul Curzon, Rimvydas Rukšėnas, Ann Blandford
Formal Aspects of Computing (2007) Vol. 19, Iss. 4, pp. 513-550
Open Access | Times Cited: 76
Paul Curzon, Rimvydas Rukšėnas, Ann Blandford
Formal Aspects of Computing (2007) Vol. 19, Iss. 4, pp. 513-550
Open Access | Times Cited: 76
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
Automatic evaluation of assistive interfaces
Pradipta Biswas, Peter Robinson
(2008), pp. 247-256
Closed Access | Times Cited: 44
Pradipta Biswas, Peter Robinson
(2008), pp. 247-256
Closed Access | Times Cited: 44
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps
Paolo Masci, Rimvydas Rukšėnas, Patrick Oladimeji, et al.
Innovations in Systems and Software Engineering (2013) Vol. 11, Iss. 2, pp. 73-93
Open Access | Times Cited: 36
Paolo Masci, Rimvydas Rukšėnas, Patrick Oladimeji, et al.
Innovations in Systems and Software Engineering (2013) Vol. 11, Iss. 2, pp. 73-93
Open Access | Times Cited: 36
Measurements, Algorithms, and Presentations of Reality: Framing Interactions with AI-Enabled Decision Support
Niels van Berkel, Maura Bellio, Mikael B. Skov, et al.
ACM Transactions on Computer-Human Interaction (2022) Vol. 30, Iss. 2, pp. 1-33
Open Access | Times Cited: 15
Niels van Berkel, Maura Bellio, Mikael B. Skov, et al.
ACM Transactions on Computer-Human Interaction (2022) Vol. 30, Iss. 2, pp. 1-33
Open Access | Times Cited: 15
Formal models for user interface design artefacts
Judy Bowen, Steve Reeves
Innovations in Systems and Software Engineering (2008) Vol. 4, Iss. 2, pp. 125-141
Closed Access | Times Cited: 37
Judy Bowen, Steve Reeves
Innovations in Systems and Software Engineering (2008) Vol. 4, Iss. 2, pp. 125-141
Closed Access | Times Cited: 37
A Framework-Based Approach to Identifying and Organizing the Complexity Factors of Human-System Interaction
Dong-Han Ham, Jinkyun Park, Wondea Jung
IEEE Systems Journal (2011) Vol. 5, Iss. 2, pp. 213-222
Closed Access | Times Cited: 30
Dong-Han Ham, Jinkyun Park, Wondea Jung
IEEE Systems Journal (2011) Vol. 5, Iss. 2, pp. 213-222
Closed Access | Times Cited: 30
A Method for the Formal Verification of Human-interactive Systems
Matthew L. Bolton, Ellen J. Bass
Proceedings of the Human Factors and Ergonomics Society Annual Meeting (2009) Vol. 53, Iss. 12, pp. 764-768
Open Access | Times Cited: 29
Matthew L. Bolton, Ellen J. Bass
Proceedings of the Human Factors and Ergonomics Society Annual Meeting (2009) Vol. 53, Iss. 12, pp. 764-768
Open Access | Times Cited: 29
A bisimulation-based approach to the analysis of human-computer interaction
Sébastien Combéfis, Charles Pecheur
(2009)
Open Access | Times Cited: 28
Sébastien Combéfis, Charles Pecheur
(2009)
Open Access | Times Cited: 28
Generating Obligations, Assertions and Tests from UI Models
Judy Bowen, Steve Reeves
Proceedings of the ACM on Human-Computer Interaction (2017) Vol. 1, Iss. EICS, pp. 1-18
Closed Access | Times Cited: 17
Judy Bowen, Steve Reeves
Proceedings of the ACM on Human-Computer Interaction (2017) Vol. 1, Iss. EICS, pp. 1-18
Closed Access | Times Cited: 17
Formal Verification of a Space System's User Interface With the IVY Workbench
José Creissac Campos, Manuel Neiva‐Sousa, Miriam C. Bergue Alves, et al.
IEEE Transactions on Human-Machine Systems (2015) Vol. 46, Iss. 2, pp. 303-316
Open Access | Times Cited: 16
José Creissac Campos, Manuel Neiva‐Sousa, Miriam C. Bergue Alves, et al.
IEEE Transactions on Human-Machine Systems (2015) Vol. 46, Iss. 2, pp. 303-316
Open Access | Times Cited: 16
A model-based framework for classifying and diagnosing usability problems
Dong-Han Ham
Cognition Technology & Work (2013) Vol. 16, Iss. 3, pp. 373-388
Closed Access | Times Cited: 16
Dong-Han Ham
Cognition Technology & Work (2013) Vol. 16, Iss. 3, pp. 373-388
Closed Access | Times Cited: 16
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
J. C. Silva, José Creissac Campos, João Saraiva
Springer eBooks (2007), pp. 137-150
Closed Access | Times Cited: 19
J. C. Silva, José Creissac Campos, João Saraiva
Springer eBooks (2007), pp. 137-150
Closed Access | Times Cited: 19
Interaction design for a mobile context-aware system using discrete event modelling
Annika Hinze, Petra Malik, Robi Malik
(2006), pp. 257-266
Closed Access | Times Cited: 18
Annika Hinze, Petra Malik, Robi Malik
(2006), pp. 257-266
Closed Access | Times Cited: 18
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
Automated Usability Evaluation of Model-Based Adaptive User Interfaces for Users with Special and Specific Needs by Simulating User Interaction
Michael H. Quade, Grzegorz Lehmann, Klaus-Peter Engelbrecht, et al.
Human-computer interaction series (2013), pp. 219-247
Closed Access | Times Cited: 10
Michael H. Quade, Grzegorz Lehmann, Klaus-Peter Engelbrecht, et al.
Human-computer interaction series (2013), pp. 219-247
Closed Access | Times Cited: 10
A Method for the Formal Verification of Human-interactive Systems
Matthew L. Bolton, Ellen J. Bass
Proceedings of the Human Factors and Ergonomics Society Annual Meeting (2009) Vol. 53, Iss. 12, pp. 764-768
Closed Access | Times Cited: 8
Matthew L. Bolton, Ellen J. Bass
Proceedings of the Human Factors and Ergonomics Society Annual Meeting (2009) Vol. 53, Iss. 12, pp. 764-768
Closed Access | Times Cited: 8
Simulating HCI for special needs
Pradipta Biswas
ACM SIGACCESS Accessibility and Computing (2007), Iss. 89, pp. 7-10
Closed Access | Times Cited: 8
Pradipta Biswas
ACM SIGACCESS Accessibility and Computing (2007), Iss. 89, pp. 7-10
Closed Access | Times Cited: 8
Product Lifecycle Management for Performance Support
Duc Truong Pham, Stefan Dimov, Rossitza Setchi, et al.
Journal of Computing and Information Science in Engineering (2004) Vol. 4, Iss. 4, pp. 305-315
Closed Access | Times Cited: 9
Duc Truong Pham, Stefan Dimov, Rossitza Setchi, et al.
Journal of Computing and Information Science in Engineering (2004) Vol. 4, Iss. 4, pp. 305-315
Closed Access | Times Cited: 9
On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing
David Navarre, Philippe Palanque, Éric Barboni, et al.
Lecture notes in computer science (2007), pp. 140-154
Open Access | Times Cited: 7
David Navarre, Philippe Palanque, Éric Barboni, et al.
Lecture notes in computer science (2007), pp. 140-154
Open Access | Times Cited: 7
Towards a TIP 3.0 service-oriented architecture: Interaction design.
Annika Hinze, Petra Malik, Robi Malik
(2005)
Closed Access | Times Cited: 7
Annika Hinze, Petra Malik, Robi Malik
(2005)
Closed Access | Times Cited: 7
