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 | MODEL CHECKING | authKW | 587651 | 21% | 9% | 140 |
| 2 | PROMELA | authKW | 296706 | 2% | 52% | 12 |
| 3 | PARAMETERIZED SYSTEMS | authKW | 236952 | 2% | 50% | 10 |
| 4 | PARTIAL ORDER REDUCTION | authKW | 189554 | 2% | 33% | 12 |
| 5 | COLOURED PETRI NETS | authKW | 183801 | 2% | 24% | 16 |
| 6 | FORMAL METHODS IN SYSTEM DESIGN | journal | 148028 | 6% | 8% | 40 |
| 7 | PARAMETERISED VERIFICATION | authKW | 142177 | 0% | 100% | 3 |
| 8 | SWEEP LINE METHOD | authKW | 142177 | 0% | 100% | 3 |
| 9 | STATE EXPLOSION | authKW | 119949 | 1% | 28% | 9 |
| 10 | COUNTER ABSTRACTION | authKW | 106631 | 0% | 75% | 3 |
Web of Science journal categories |
| chi_square_rank | Category | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | Computer Science, Theory & Methods | 38663 | 66% | 0% | 437 |
| 2 | Computer Science, Software Engineering | 24137 | 44% | 0% | 292 |
| 3 | Computer Science, Hardware & Architecture | 2779 | 12% | 0% | 78 |
| 4 | Computer Science, Information Systems | 2031 | 15% | 0% | 99 |
| 5 | Logic | 235 | 1% | 0% | 9 |
| 6 | Computer Science, Artificial Intelligence | 224 | 5% | 0% | 36 |
| 7 | Engineering, Electrical & Electronic | 99 | 10% | 0% | 65 |
| 8 | Telecommunications | 51 | 3% | 0% | 20 |
| 9 | Mathematics, Applied | 37 | 4% | 0% | 29 |
| 10 | Computer Science, Cybernetics | 10 | 0% | 0% | 3 |
Address terms |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | CPN GRP | 47392 | 0% | 100% | 1 |
| 2 | DIPARTIMENTO AUTOMAT | 47392 | 0% | 100% | 1 |
| 3 | ERS 587 | 47392 | 0% | 100% | 1 |
| 4 | FORE SYST UNIV | 47392 | 0% | 100% | 1 |
| 5 | FORMAL METHODS SYST ENGN | 47392 | 0% | 100% | 1 |
| 6 | GRP INGN SISTEMAS TELEMATICOS | 47392 | 0% | 100% | 1 |
| 7 | GRP TECNOL INFORMAT | 47392 | 0% | 100% | 1 |
| 8 | INITIAT COMPLEX NAT SOCIAL ENGN SYST | 47392 | 0% | 100% | 1 |
| 9 | INRIA SACLAY ILE DE FRANCE SUD | 47392 | 0% | 100% | 1 |
| 10 | JOINT CNRS UJF INPG | 47392 | 0% | 100% | 1 |
Journals |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | FORMAL METHODS IN SYSTEM DESIGN | 148028 | 6% | 8% | 40 |
| 2 | LECTURE NOTES IN COMPUTER SCIENCE | 54484 | 48% | 0% | 318 |
| 3 | INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER | 8514 | 1% | 4% | 5 |
| 4 | SCIENCE OF COMPUTER PROGRAMMING | 8359 | 3% | 1% | 17 |
| 5 | FORMAL ASPECTS OF COMPUTING | 7364 | 1% | 2% | 8 |
| 6 | ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY | 5370 | 1% | 2% | 6 |
| 7 | SOFTWARE TESTING VERIFICATION & RELIABILITY | 2977 | 1% | 2% | 4 |
| 8 | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 2751 | 2% | 0% | 13 |
| 9 | LOGICAL METHODS IN COMPUTER SCIENCE | 2569 | 1% | 1% | 6 |
| 10 | INFORMATION AND COMPUTATION | 2163 | 2% | 0% | 10 |
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 |