S
Zodix
Study
Academic Library
Search
Shelves
Open access
Sign in
Search or jump to…
⌘K
Matthew L. Bolton · Study
Home
/
Author
Matthew L. Bolton
5 works
· latest 2023
· 3 institutions
cluster: provisional
ORCID 0000-0002-7943-0497
Follow
Suggest an ORCID correction
h-index
5
i10
5
Citations
329
Works here
5
13
19
20
23
Most cited in this library
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
2013 · 173 citations
The Mathematical Meaninglessness of the NASA Task Load Index: A Level of Measurement Analysis
2023 · 78 citations
The development of a next-generation human reliability analysis: Systems analysis for formal pharmaceutical human reliability (SAFPH )
2020 · 34 citations
A formal method for assessing the impact of task-based erroneous human behavior on system safety
2019 · 23 citations
Extended SAFPH℞ (Systems Analysis for Formal Pharmaceutical Human Reliability): Two approaches based on extended CREAM and a comparative analysis
2020 · 21 citations
Works
5 shown
The Mathematical Meaninglessness of the NASA Task Load Index: A Level of Measurement Analysis
IEEE Transactions on Human-Machine Systems
·
2023
·
3 authors
78
citations
Extended SAFPH℞ (Systems Analysis for Formal Pharmaceutical Human Reliability): Two approaches based on extended CREAM and a comparative analysis
Safety Science
·
2020
·
3 authors
21
citations
The development of a next-generation human reliability analysis: Systems analysis for formal pharmaceutical human reliability (SAFPH )
Reliability Engineering & System Safety
·
2020
·
4 authors
34
citations
A formal method for assessing the impact of task-based erroneous human behavior on system safety
Reliability Engineering & System Safety
·
2019
·
3 authors
·
Open access
23
citations
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
IEEE Transactions on Systems Man and Cybernetics Systems
·
2013
·
3 authors
·
Open access
173
citations