Class information for: |
Basic class information |
| Class id | #P | Avg. number of references |
Database coverage of references |
|---|---|---|---|
| 28815 | 199 | 28.7 | 22% |
Hierarchy of classes |
The table includes all classes above and classes immediately below the current class. |
| Cluster id | Level | Cluster label | #P |
|---|---|---|---|
| 1 | 4 | ECONOMICS//EDUCATION & EDUCATIONAL RESEARCH//PSYCHOL | 3876184 |
| 421 | 3 | ERGONOMICS//HUMAN FACTORS//IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS | 28487 |
| 2079 | 2 | ERGONOMICS//COMPUTER SCIENCE, CYBERNETICS//BEHAVIOUR & INFORMATION TECHNOLOGY | 5231 |
| 28815 | 1 | AUTOMATION SURPRISES//LIIHS//MODE CONFUSION | 199 |
Terms with highest relevance score |
| rank | Term | termType | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|---|
| 1 | AUTOMATION SURPRISES | authKW | 835416 | 4% | 78% | 7 |
| 2 | LIIHS | address | 751873 | 4% | 70% | 7 |
| 3 | MODE CONFUSION | authKW | 690497 | 3% | 75% | 6 |
| 4 | HUMAN AUTOMATION INTERACTION HAI | authKW | 460333 | 2% | 100% | 3 |
| 5 | LIHS | address | 350727 | 2% | 57% | 4 |
| 6 | FROGIS | address | 306889 | 1% | 100% | 2 |
| 7 | INTERACTIVE SYSTEMS ENGINEERING | authKW | 306889 | 1% | 100% | 2 |
| 8 | SAFETY CRITICAL INTERACTIVE SYSTEMS | authKW | 306889 | 1% | 100% | 2 |
| 9 | SAFETY DRIVEN DESIGN | authKW | 306889 | 1% | 100% | 2 |
| 10 | KRIPKE MODELLING | authKW | 204591 | 1% | 67% | 2 |
Web of Science journal categories |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|
| 1 | Computer Science, Cybernetics | 7416 | 18% | 0% | 36 |
| 2 | Computer Science, Software Engineering | 3249 | 30% | 0% | 59 |
| 3 | Ergonomics | 2259 | 10% | 0% | 20 |
| 4 | Computer Science, Theory & Methods | 1622 | 25% | 0% | 50 |
| 5 | Engineering, Industrial | 1021 | 13% | 0% | 25 |
| 6 | Engineering, Aerospace | 405 | 7% | 0% | 14 |
| 7 | Automation & Control Systems | 277 | 8% | 0% | 16 |
| 8 | Computer Science, Information Systems | 270 | 10% | 0% | 20 |
| 9 | Operations Research & Management Science | 226 | 8% | 0% | 16 |
| 10 | Computer Science, Artificial Intelligence | 212 | 9% | 0% | 18 |
Address terms |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|
| 1 | LIIHS | 751873 | 4% | 70% | 7 |
| 2 | LIHS | 350727 | 2% | 57% | 4 |
| 3 | FROGIS | 306889 | 1% | 100% | 2 |
| 4 | BECKINGTON CASTLE | 153444 | 1% | 100% | 1 |
| 5 | CODE 580 | 153444 | 1% | 100% | 1 |
| 6 | ETIC INTERPSY EA 4432 | 153444 | 1% | 100% | 1 |
| 7 | GE AFTSBEREICH AUTOMAT TECH | 153444 | 1% | 100% | 1 |
| 8 | INFORMAT LERIA | 153444 | 1% | 100% | 1 |
| 9 | INTERACT COMP COMMUN | 153444 | 1% | 100% | 1 |
| 10 | LMA SCI EXACTES | 153444 | 1% | 100% | 1 |
Journals |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|
| 1 | IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS | 35183 | 4% | 3% | 8 |
| 2 | FORMAL ASPECTS OF COMPUTING | 14336 | 3% | 2% | 6 |
| 3 | JOURNAL OF AEROSPACE INFORMATION SYSTEMS | 14021 | 2% | 2% | 4 |
| 4 | AVIATION WEEK & SPACE TECHNOLOGY | 4307 | 2% | 1% | 4 |
| 5 | INTERACTING WITH COMPUTERS | 4248 | 3% | 1% | 5 |
| 6 | BRENNSTOFF-WARME-KRAFT | 3529 | 3% | 0% | 5 |
| 7 | INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES | 3451 | 3% | 0% | 6 |
| 8 | DIGITAL CREATIVITY | 2412 | 1% | 1% | 2 |
| 9 | RELIABILITY ENGINEERING & SYSTEM SAFETY | 2323 | 4% | 0% | 8 |
| 10 | JOURNAL OF VISUAL LANGUAGES AND COMPUTING | 2125 | 2% | 0% | 3 |
Author Key Words |
Core articles |
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c: (1) Number of references referring to publications in the class. (2) Share of total number of active references referring to publications in the class. (3) Age of the article. New articles get higher score than old articles. (4) Citation rate, normalized to year. |
| Rank | Reference | # ref. in cl. |
Shr. of ref. in cl. |
Citations |
|---|---|---|---|---|
| 1 | BOLTON, ML , BASS, EJ , (2013) GENERATING ERRONEOUS HUMAN BEHAVIOR FROM STRATEGIC KNOWLEDGE IN TASK MODELS AND EVALUATING ITS IMPACT ON SYSTEM SAFETY WITH MODEL CHECKING.IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS. VOL. 43. ISSUE 6. P. 1314 -1327 | 20 | 74% | 3 |
| 2 | BOLTON, ML , BASS, EJ , SIMINICEANU, RI , (2012) GENERATING PHENOTYPICAL ERRONEOUS HUMAN BEHAVIOR TO EVALUATE HUMAN-AUTOMATION INTERACTION USING MODEL CHECKING.INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES. VOL. 70. ISSUE 11. P. 888 -906 | 19 | 66% | 8 |
| 3 | COMBEFIS, S , GIANNAKOPOULOU, D , PECHEUR, C , (2016) AUTOMATIC DETECTION OF POTENTIAL AUTOMATION SURPRISES FOR ADEPT MODELS.IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS. VOL. 46. ISSUE 2. P. 267 -278 | 11 | 100% | 0 |
| 4 | BOLTON, ML , JIMENEZ, N , VAN PAASSEN, MM , TRUJILLO, M , (2014) AUTOMATICALLY GENERATING SPECIFICATION PROPERTIES FROM TASK MODELS FOR THE FORMAL VERIFICATION OF HUMAN-AUTOMATION INTERACTION.IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS. VOL. 44. ISSUE 5. P. 561 -575 | 16 | 64% | 5 |
| 5 | BOLTON, ML , BASS, EJ , SIMINICEANU, RI , (2013) USING FORMAL VERIFICATION TO EVALUATE HUMAN-AUTOMATION INTERACTION: A REVIEW.IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS. VOL. 43. ISSUE 3. P. 488 -503 | 23 | 42% | 19 |
| 6 | CAMPOS, JC , SOUSA, M , ALVES, MCB , HARRISON, MD , (2016) FORMAL VERIFICATION OF A SPACE SYSTEM'S USER INTERFACE WITH THE IVY WORKBENCH.IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS. VOL. 46. ISSUE 2. P. 303 -316 | 11 | 73% | 0 |
| 7 | NIEZEN, G , ESLAMBOLCHILAR, P , (2016) A HUMAN OPERATOR MODEL FOR MEDICAL DEVICE INTERACTION USING BEHAVIOR-BASED HYBRID AUTOMATA.IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS. VOL. 46. ISSUE 2. P. 291 -302 | 10 | 67% | 0 |
| 8 | CURZON, P , RUKSENAS, R , BLANDFORD, A , (2007) AN APPROACH TO FORMAL VERIFICATION OF HUMAN-COMPUTER INTERACTION.FORMAL ASPECTS OF COMPUTING. VOL. 19. ISSUE 4. P. 513 -550 | 9 | 60% | 18 |
| 9 | BOLTON, ML , (2015) MODEL CHECKING HUMAN-HUMAN COMMUNICATION PROTOCOLS USING TASK MODELS AND MISCOMMUNICATION GENERATION.JOURNAL OF AEROSPACE INFORMATION SYSTEMS. VOL. 12. ISSUE 7. P. 476 -489 | 7 | 64% | 0 |
| 10 | MALOTT, L , PALANGPOUR, P , PERNICKA, H , CHELLAPPAN, S , (2014) SMALL SPACECRAFT SOFTWARE MODELING: A PETRI NET-BASED APPROACH.JOURNAL OF AEROSPACE INFORMATION SYSTEMS. VOL. 11. ISSUE 10. P. 679 -690 | 4 | 100% | 0 |
Classes with closest relation at Level 1 |