Class information for: |
Basic class information |
| ID | Publications | Average number of references |
Avg. shr. active ref. in WoS |
|---|---|---|---|
| 22472 | 324 | 19.7 | 17% |
Classes in level above (level 2) |
| ID, lev. above |
Publications | Label for level above |
|---|---|---|
| 216 | 20103 | FORMAL METHODS IN SYSTEM DESIGN//MODEL CHECKING//LECTURE NOTES IN COMPUTER SCIENCE |
Terms with highest relevance score |
| Rank | Term | Type of term | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
|---|---|---|---|---|---|---|
| 1 | ABT PROGRAMMIERMETHOD | Address | 1 | 50% | 0% | 1 |
| 2 | ACKERMANN FUNCTIONS | Author keyword | 1 | 50% | 0% | 1 |
| 3 | COMPUTATION ON ABSTRACT DATA TYPES | Author keyword | 1 | 50% | 0% | 1 |
| 4 | IMPRECISE COMPUTATION TECHNIQUES AND RESULTING ERRORS | Author keyword | 1 | 50% | 0% | 1 |
| 5 | INFORMAT PROGRAMAC | Address | 1 | 50% | 0% | 1 |
| 6 | LOOP PROGRAMS | Author keyword | 1 | 50% | 0% | 1 |
| 7 | REFINEMENT OF PARAMETERIZED SPECIFICATIONS | Author keyword | 1 | 50% | 0% | 1 |
| 8 | SPECIFICATION DESIGN | Author keyword | 1 | 50% | 0% | 1 |
| 9 | CLOSURE THEORY | Author keyword | 0 | 33% | 0% | 1 |
| 10 | ITERATION OPERATOR | Author keyword | 0 | 33% | 0% | 1 |
Web of Science journal categories |
Author Key Words |
Key Words Plus |
| Rank | Web of Science journal category | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
|---|---|---|---|---|---|
| 1 | NONSTANDARD MODEL THEORY | 2 | 43% | 1% | 3 |
| 2 | UNARY FUNCTIONS | 1 | 100% | 1% | 2 |
| 3 | COMPLETE LOGIC | 1 | 50% | 0% | 1 |
| 4 | MODULA | 0 | 33% | 0% | 1 |
| 5 | TOTAL CORRECTNESS | 0 | 25% | 0% | 1 |
| 6 | CONCURRENT ENGINEERING DESIGN | 0 | 14% | 0% | 1 |
| 7 | DYNAMIC LOGICS | 0 | 100% | 0% | 1 |
| 8 | HOARE LOGICS | 0 | 100% | 0% | 1 |
| 9 | PROGRAM MEMORY | 0 | 100% | 0% | 1 |
| 10 | RECURSION SCHEME | 0 | 100% | 0% | 1 |
Journals |
Reviews |
Address terms |
| Rank | Address term | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
|---|---|---|---|---|---|
| 1 | ABT PROGRAMMIERMETHOD | 1 | 50% | 0.3% | 1 |
| 2 | INFORMAT PROGRAMAC | 1 | 50% | 0.3% | 1 |
| 3 | DIPARTIMENTO ARTI DISEGNO IND | 0 | 20% | 0.3% | 1 |
| 4 | SOFTWARE DEV TEAM | 0 | 11% | 0.3% | 1 |
| 5 | PROC CONTROL REAL TIME SYST | 0 | 100% | 0.3% | 1 |
Related classes at same level (level 1) |
| Rank | Relatedness score | Related classes |
|---|---|---|
| 1 | 0.0000146406 | TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING |
| 2 | 0.0000117962 | FORMAL ASPECTS OF COMPUTING//REFINEMENT CALCULUS//VERIFIED SOFTWARE REPOSITORY |
| 3 | 0.0000102905 | ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ |
| 4 | 0.0000084095 | MULTIPARADIGM//GOAL DIRECTED EVALUATION//PARALLEL PROCESSOR SIMULATION |
| 5 | 0.0000082654 | FINITE MODEL THEORY//DEPENDENCE LOGIC//DESCRIPTIVE COMPLEXITY |
| 6 | 0.0000080170 | AUTOMATIC STRUCTURES//BOREL HIERARCHY//INFINITARY RATIONAL RELATIONS |
| 7 | 0.0000073463 | MODAL MU CALCULUS//PARITY GAMES//TEMPORAL LOGIC |
| 8 | 0.0000068392 | ALGEBRAIC SPECIFICATION//REWRITING LOGIC//EQUIVALENT DEDUCTIVE SYSTEMS |
| 9 | 0.0000065553 | TECHNOL MANAGEMENT POLICY PROGRAMME//TECHM P//PERVAS ICT |
| 10 | 0.0000061052 | BYTECODE VERIFICATION//PREVENT INFORMATION LEAKAGE//SEPARATION LOGIC |