Class information for: |
Basic class information |
| ID | Publications | Average number of references |
Avg. shr. active ref. in WoS |
|---|---|---|---|
| 29781 | 147 | 24.9 | 24% |
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 | STOP AND WAIT PROTOCOLS | Author keyword | 4 | 75% | 2% | 3 |
| 2 | SWEEP LINE METHOD | Author keyword | 3 | 100% | 2% | 3 |
| 3 | STATE EXPLOSION | Author keyword | 1 | 17% | 5% | 8 |
| 4 | HIGHER LEVEL NET MODELS | Author keyword | 1 | 33% | 2% | 3 |
| 5 | PROMELA SPIN | Author keyword | 1 | 33% | 1% | 2 |
| 6 | THE ISING MODEL | Author keyword | 1 | 33% | 1% | 2 |
| 7 | COMP EMBEDDED SYST | Address | 1 | 50% | 1% | 1 |
| 8 | CONCURRRENT SYSTEMS | Author keyword | 1 | 50% | 1% | 1 |
| 9 | EXPERIENCE WITH USING NETS CASE STUDIES | Author keyword | 1 | 50% | 1% | 1 |
| 10 | EXPLICIT STATE SPACE EXPLORATION | Author keyword | 1 | 50% | 1% | 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 | EQUIVALENCE REDUCTION | 1 | 50% | 1% | 1 |
| 2 | HASH COMPACTION | 0 | 33% | 1% | 1 |
| 3 | PROTOCOL VERIFICATION | 0 | 18% | 1% | 2 |
| 4 | CONNECTION MANAGEMENT | 0 | 25% | 1% | 1 |
| 5 | EXPLOITING SYMMETRY | 0 | 25% | 1% | 1 |
| 6 | CONCURRENT SHAPE ANALYSIS | 0 | 17% | 1% | 1 |
| 7 | LINE METHOD | 0 | 14% | 1% | 1 |
| 8 | OPEN TRADING PROTOCOL | 0 | 100% | 1% | 1 |
| 9 | PARAMETRIC AUTOMATA | 0 | 100% | 1% | 1 |
| 10 | PROVING LINEARIZABILITY | 0 | 100% | 1% | 1 |
Journals |
Reviews |
| Title | Publ. year | Cit. | Active references |
% act. ref. to same field |
|---|---|---|---|---|
| Symmetry in temporal logic model checking | 2006 | 15 | 49 | 43% |
| Model Checking: Algorithmic Verification and Debugging | 2009 | 1 | 22 | 14% |
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 | COMP EMBEDDED SYST | 1 | 50% | 0.7% | 1 |
| 2 | URA 825 | 1 | 50% | 0.7% | 1 |
| 3 | COMP MATH PHYS | 0 | 15% | 1.4% | 2 |
| 4 | OPERATING SYST GRP | 0 | 20% | 0.7% | 1 |
| 5 | DESENVOLVIMENTO NOVAS TECNOL | 0 | 14% | 0.7% | 1 |
| 6 | CPN GRP | 0 | 100% | 0.7% | 1 |
| 7 | ERS 587 | 0 | 100% | 0.7% | 1 |
| 8 | FORE SYST UNIV | 0 | 100% | 0.7% | 1 |
| 9 | MICROSOFT ASIA PACIFIC RD GRP HEADQUARTERS | 0 | 100% | 0.7% | 1 |
| 10 | NETWORKING DISTRIBUTED COMP SYSCOM ENIT | 0 | 100% | 0.7% | 1 |
Related classes at same level (level 1) |
| Rank | Relatedness score | Related classes |
|---|---|---|
| 1 | 0.0000267514 | WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//VERIFICATION OF INFINITE STATE SYSTEMS |
| 2 | 0.0000254798 | MODAL MU CALCULUS//PARITY GAMES//TEMPORAL LOGIC |
| 3 | 0.0000191323 | TIMED AUTOMATA//TIME PETRI NETS//DURATION CALCULUS |
| 4 | 0.0000173294 | PROTOCOL SYNTHESIS//ESTELLE//PROTOCOL VALIDATION |
| 5 | 0.0000164965 | READ ONCE BRANCHING PROGRAMS//ORDERED BINARY DECISION DIAGRAMS//INFORMAT LS2 |
| 6 | 0.0000151242 | PARTIAL ORDER SEMANTICS//MAZURKIEWICZ TRACES//LEHRSTUHL ANGEW INFORMAT |
| 7 | 0.0000137508 | MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2 |
| 8 | 0.0000124596 | ABSTRACT INTERPRETATION//PREDICATE ABSTRACTION//SATISFIABILITY MODULO THEORIES |
| 9 | 0.0000115563 | PETRI NETS//DEADLOCK PREVENTION//DEADLOCK AVOIDANCE |
| 10 | 0.0000091847 | STOCHASTIC AUTOMATA NETWORKS//LUMPABILITY//WEAK LUMPABILITY |