Class information for:
Level 1: WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//VERIFICATION OF INFINITE STATE SYSTEMS

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
12216 859 23.2 32%


Bar chart of Publication_year

Last years might be incomplete

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 WELL STRUCTURED TRANSITION SYSTEMS Author keyword 31 92% 1% 12
2 INFINITE STATE SYSTEMS Author keyword 31 62% 4% 32
3 VERIFICATION OF INFINITE STATE SYSTEMS Author keyword 12 86% 1% 6
4 LSV Address 10 20% 5% 45
5 LOSSY CHANNEL SYSTEMS Author keyword 8 75% 1% 6
6 UMR 8643 Address 7 25% 3% 23
7 COMPLETE FORMAL SYSTEMS Author keyword 6 80% 0% 4
8 DETERMINISTIC PUSHDOWN AUTOMATON Author keyword 6 80% 0% 4
9 NETS WITHIN NETS Author keyword 6 45% 1% 10
10 PURE NAMES Author keyword 6 100% 0% 4

Web of Science journal categories

Author Key Words


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		 LCSH search Wikipedia search
1 WELL STRUCTURED TRANSITION SYSTEMS 31 92% 1% 12 Search WELL+STRUCTURED+TRANSITION+SYSTEMS Search WELL+STRUCTURED+TRANSITION+SYSTEMS
2 INFINITE STATE SYSTEMS 31 62% 4% 32 Search INFINITE+STATE+SYSTEMS Search INFINITE+STATE+SYSTEMS
3 VERIFICATION OF INFINITE STATE SYSTEMS 12 86% 1% 6 Search VERIFICATION+OF+INFINITE+STATE+SYSTEMS Search VERIFICATION+OF+INFINITE+STATE+SYSTEMS
4 LOSSY CHANNEL SYSTEMS 8 75% 1% 6 Search LOSSY+CHANNEL+SYSTEMS Search LOSSY+CHANNEL+SYSTEMS
5 COMPLETE FORMAL SYSTEMS 6 80% 0% 4 Search COMPLETE+FORMAL+SYSTEMS Search COMPLETE+FORMAL+SYSTEMS
6 DETERMINISTIC PUSHDOWN AUTOMATON 6 80% 0% 4 Search DETERMINISTIC+PUSHDOWN+AUTOMATON Search DETERMINISTIC+PUSHDOWN+AUTOMATON
7 NETS WITHIN NETS 6 45% 1% 10 Search NETS+WITHIN+NETS Search NETS+WITHIN+NETS
8 PURE NAMES 6 100% 0% 4 Search PURE+NAMES Search PURE+NAMES
9 BASIC PROCESS ALGEBRA 4 67% 0% 4 Search BASIC+PROCESS+ALGEBRA Search BASIC+PROCESS+ALGEBRA
10 REGULAR MODEL CHECKING 4 67% 0% 4 Search REGULAR+MODEL+CHECKING Search REGULAR+MODEL+CHECKING

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 UNRELIABLE CHANNELS 43 68% 4% 38
2 CONTEXT FREE PROCESSES 24 67% 3% 22
3 BISIMULATION EQUIVALENCE 13 49% 2% 19
4 DECIDABILITY 12 18% 7% 61
5 INFINITE STATE SYSTEMS 12 56% 2% 15
6 ONE COUNTER PROCESSES 12 86% 1% 6
7 COUNTERS AUTOMATA 11 100% 1% 6
8 BISIMILARITY 10 47% 2% 16
9 VECTOR ADDITION SYSTEMS 9 59% 1% 10
10 CONFLICT FREE 8 60% 1% 9

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 LSV 10 20% 5.2% 45
2 UMR 8643 7 25% 2.7% 23
3 SPECIFICAT VERIFICAT 5 22% 2.3% 20
4 EQUAT 3 17% 1.7% 15
5 URA 1787 2 67% 0.2% 2
6 URA 2236 2 40% 0.5% 4
7 LINFI 1 50% 0.2% 2
8 VERTECS PROJECT 1 100% 0.2% 2
9 ANGEW MATH INFORMAT 1 40% 0.2% 2
10 ABORAT TEAM VERIFICAT SPECIFICAT 1 50% 0.1% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000267514 STOP AND WAIT PROTOCOLS//SWEEP LINE METHOD//STATE EXPLOSION
2 0.0000199950 MODAL MU CALCULUS//PARITY GAMES//TEMPORAL LOGIC
3 0.0000175674 ABSTRACT INTERPRETATION//PREDICATE ABSTRACTION//SATISFIABILITY MODULO THEORIES
4 0.0000154338 TIMED AUTOMATA//TIME PETRI NETS//DURATION CALCULUS
5 0.0000137548 PROTOCOL SYNTHESIS//ESTELLE//PROTOCOL VALIDATION
6 0.0000128671 AUTOMATIC STRUCTURES//BOREL HIERARCHY//INFINITARY RATIONAL RELATIONS
7 0.0000125839 PROCESS ALGEBRA//THREAD ALGEBRA//PROGRAMMING GRP
8 0.0000121404 PARTIAL ORDER SEMANTICS//MAZURKIEWICZ TRACES//LEHRSTUHL ANGEW INFORMAT
9 0.0000118569 DATA WORDS//INFINITE ALPHABETS//REGISTER AUTOMATA
10 0.0000102535 POST CORRESPONDENCE PROBLEM//WATSON CRICK COMPLEMENTARITY//D0L SYSTEM