Class information for: |
Basic class information |
Hierarchy of classes |
The table includes all classes above and classes immediately below the current class. |
Terms with highest relevance score |
| rank | Category | termType | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|---|
| 1 | RUNTIME VERIFICATION | authKW | 2873881 | 17% | 54% | 46 |
| 2 | RUNTIME ENFORCEMENT | authKW | 1074531 | 4% | 85% | 11 |
| 3 | RUNTIME MONITORING | authKW | 912284 | 7% | 44% | 18 |
| 4 | SECURITY AUTOMATA | authKW | 481023 | 2% | 83% | 5 |
| 5 | EDIT AUTOMATA | authKW | 369425 | 1% | 80% | 4 |
| 6 | MONITOR SYNTHESIS | authKW | 259752 | 1% | 75% | 3 |
| 7 | SOFTWARE ENGN PROGRAMMING LANGUAGES | address | 259752 | 1% | 75% | 3 |
| 8 | EXECUTION BASED MODEL CHECKING | authKW | 230892 | 1% | 100% | 2 |
| 9 | MONITOR CORRECTNESS | authKW | 230892 | 1% | 100% | 2 |
| 10 | PROGRAM MONITORS | authKW | 230892 | 1% | 100% | 2 |
Web of Science journal categories |
| chi_square_rank | Category | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | Computer Science, Software Engineering | 10960 | 46% | 0% | 126 |
| 2 | Computer Science, Theory & Methods | 6103 | 41% | 0% | 112 |
| 3 | Computer Science, Information Systems | 1624 | 21% | 0% | 56 |
| 4 | Computer Science, Hardware & Architecture | 1139 | 12% | 0% | 32 |
| 5 | Logic | 1071 | 4% | 0% | 12 |
| 6 | Computer Science, Artificial Intelligence | 126 | 6% | 0% | 17 |
| 7 | Operations Research & Management Science | 68 | 4% | 0% | 11 |
| 8 | Telecommunications | 65 | 5% | 0% | 13 |
| 9 | Management | 60 | 4% | 0% | 10 |
| 10 | Planning & Development | 41 | 2% | 0% | 5 |
Address terms |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | SOFTWARE ENGN PROGRAMMING LANGUAGES | 259752 | 1% | 75% | 3 |
| 2 | TECHM P | 173166 | 1% | 50% | 3 |
| 3 | TECHNOL MANAGEMENT POLICY PROGRAMME | 153927 | 1% | 67% | 2 |
| 4 | KESTREL TECHNOL | 153923 | 1% | 33% | 4 |
| 5 | ADV PROGRAMS ANAL | 115446 | 0% | 100% | 1 |
| 6 | ARCHITECTURE CENTR ENGN INITIAT | 115446 | 0% | 100% | 1 |
| 7 | AVIAT MISSILE COMMANDS DEV ENGN | 115446 | 0% | 100% | 1 |
| 8 | CATEDRA SOC ANONIMA ELECT SUBMARINA SAES S | 115446 | 0% | 100% | 1 |
| 9 | CHAIR COMP SYST | 115446 | 0% | 100% | 1 |
| 10 | COMP SCI P MATH | 115446 | 0% | 100% | 1 |
Journals |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | FORMAL METHODS IN SYSTEM DESIGN | 129831 | 9% | 5% | 24 |
| 2 | INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER | 67257 | 3% | 6% | 9 |
| 3 | ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY | 9765 | 1% | 2% | 4 |
| 4 | INTERNATIONAL JOURNAL OF INFORMATION SECURITY | 5893 | 1% | 1% | 4 |
| 5 | JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING | 5573 | 1% | 1% | 4 |
| 6 | ACM SIGPLAN NOTICES | 5334 | 5% | 0% | 15 |
| 7 | ACM TRANSACTIONS ON PRIVACY AND SECURITY | 5017 | 0% | 4% | 1 |
| 8 | IRANIAN JOURNAL OF SCIENCE AND TECHNOLOGY TRANSACTION B-ENGINEERING | 3745 | 1% | 1% | 3 |
| 9 | LECTURE NOTES IN COMPUTER SCIENCE | 3091 | 18% | 0% | 49 |
| 10 | IET SOFTWARE | 3068 | 1% | 1% | 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. |
Classes with closest relation at Level 1 |