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 | TEMPORAL LOGIC OF ACTIONS | authKW | 271465 | 1% | 80% | 8 |
| 2 | COMMITTEE COORDINATION | authKW | 176736 | 1% | 83% | 5 |
| 3 | INVARIANCE UNDER STUTTERING | authKW | 169668 | 1% | 100% | 4 |
| 4 | MULTIPARTY INTERACTION | authKW | 163598 | 1% | 43% | 9 |
| 5 | COMPOSITIONAL REASONING | authKW | 132539 | 1% | 31% | 10 |
| 6 | ASSUME GUARANTEE REASONING | authKW | 118019 | 1% | 35% | 8 |
| 7 | RELY GUARANTEE | authKW | 101793 | 1% | 40% | 6 |
| 8 | TEMPORAL INTERPRETATIONS | authKW | 95437 | 0% | 75% | 3 |
| 9 | LIVENESS PROPERTIES | authKW | 95431 | 1% | 38% | 6 |
| 10 | ASSUMPTION COMMITMENT | authKW | 84834 | 0% | 100% | 2 |
Web of Science journal categories |
| chi_square_rank | Category | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | Computer Science, Theory & Methods | 33561 | 58% | 0% | 431 |
| 2 | Computer Science, Software Engineering | 22449 | 40% | 0% | 298 |
| 3 | Computer Science, Information Systems | 2929 | 17% | 0% | 125 |
| 4 | Computer Science, Hardware & Architecture | 2095 | 10% | 0% | 72 |
| 5 | Logic | 260 | 1% | 0% | 10 |
| 6 | COMPUTER APPLICATIONS & CYBERNETICS | 140 | 0% | 0% | 3 |
| 7 | Computer Science, Artificial Intelligence | 81 | 3% | 0% | 25 |
| 8 | Engineering, Electrical & Electronic | 62 | 8% | 0% | 60 |
| 9 | Mathematics, Applied | 40 | 4% | 0% | 32 |
| 10 | Computer Science, Cybernetics | 8 | 0% | 0% | 3 |
Address terms |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | TELECOMMUN NETWORKS SECUR GRP | 84834 | 0% | 100% | 2 |
| 2 | CHAIR PRACT COMP SCI 2 | 42417 | 0% | 100% | 1 |
| 3 | CUPERTINO SYST | 42417 | 0% | 100% | 1 |
| 4 | CYBERNET COMP RD | 42417 | 0% | 100% | 1 |
| 5 | DCST | 42417 | 0% | 100% | 1 |
| 6 | DISTRIBUTED GRP | 42417 | 0% | 100% | 1 |
| 7 | ESI MEXICO | 42417 | 0% | 100% | 1 |
| 8 | HUELVA LA RABIDA | 42417 | 0% | 100% | 1 |
| 9 | INFORMAT LA SALLE | 42417 | 0% | 100% | 1 |
| 10 | INFORMAT PRAKT INFORMAT | 42417 | 0% | 100% | 1 |
Journals |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 72276 | 5% | 4% | 40 |
| 2 | SCIENCE OF COMPUTER PROGRAMMING | 45766 | 6% | 3% | 42 |
| 3 | DISTRIBUTED COMPUTING | 45192 | 3% | 4% | 25 |
| 4 | LECTURE NOTES IN COMPUTER SCIENCE | 31958 | 35% | 0% | 258 |
| 5 | FORMAL METHODS IN SYSTEM DESIGN | 18611 | 2% | 3% | 15 |
| 6 | ACTA INFORMATICA | 10776 | 2% | 1% | 17 |
| 7 | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 9143 | 3% | 1% | 25 |
| 8 | INFORMATION PROCESSING LETTERS | 7168 | 4% | 1% | 33 |
| 9 | CHICAGO JOURNAL OF THEORETICAL COMPUTER SCIENCE | 5652 | 0% | 7% | 2 |
| 10 | THEORETICAL COMPUTER SCIENCE | 4728 | 5% | 0% | 35 |
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 |