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 |