Class information for:
Level 1: WELL STRUCTURED TRANSITION SYSTEMS//NETS WITHIN NETS//LSV

Basic class information

Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes

The table includes all classes above and classes immediately below the current class.



Cluster id Level Cluster label #P
12 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 1181119
149 3       COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 65076
176 2             COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 21406
16565 1                   WELL STRUCTURED TRANSITION SYSTEMS//NETS WITHIN NETS//LSV 674

Terms with highest relevance score



rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 WELL STRUCTURED TRANSITION SYSTEMS authKW 564453 2% 93% 13
2 NETS WITHIN NETS authKW 493893 2% 81% 13
3 LSV address 455429 8% 19% 51
4 INFINITE STATE SYSTEMS authKW 443732 3% 43% 22
5 LOSSY CHANNEL SYSTEMS authKW 280557 1% 100% 6
6 UMR 8643 address 203271 3% 22% 20
7 PURE NAMES authKW 187038 1% 100% 4
8 RENEW authKW 163651 1% 50% 7
9 MULAN authKW 153026 1% 55% 6
10 DATA WORDS authKW 149629 1% 80% 4

Web of Science journal categories



chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 39561 66% 0% 445
2 Logic 10970 9% 0% 60
3 Computer Science, Software Engineering 10821 29% 0% 198
4 Computer Science, Information Systems 2836 17% 0% 117
5 Mathematics, Applied 1195 18% 0% 119
6 Computer Science, Hardware & Architecture 1091 7% 0% 50
7 Computer Science, Artificial Intelligence 249 6% 0% 38
8 Mathematics 28 4% 0% 30
9 Literature, Romance 19 0% 0% 3
10 Automation & Control Systems 6 1% 0% 7

Address terms



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 LSV 455429 8% 19% 51
2 UMR 8643 203271 3% 22% 20
3 SPECIFICAT VERIFICAT 127319 2% 17% 16
4 VERTECS PROJECT 93519 0% 100% 2
5 URA 2236 74810 1% 40% 4
6 PROGRAM SYST 59103 2% 9% 14
7 EQUAT 51366 1% 11% 10
8 ABT INFORMAT ANGEW KONITIONSWISSEN 46760 0% 100% 1
9 ANGEW INFORMAT 7 46760 0% 100% 1
10 ARBEITSBEREICH TGI 46760 0% 100% 1

Journals



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 FUNDAMENTA INFORMATICAE 57451 8% 2% 54
2 LOGICAL METHODS IN COMPUTER SCIENCE 44165 4% 4% 25
3 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 26158 2% 4% 14
4 LECTURE NOTES IN COMPUTER SCIENCE 24660 32% 0% 216
5 FORMAL METHODS IN SYSTEM DESIGN 20520 2% 3% 15
6 INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE 17152 3% 2% 19
7 THEORETICAL COMPUTER SCIENCE 17010 9% 1% 63
8 INFORMATION AND COMPUTATION 15648 4% 1% 27
9 ACTA INFORMATICA 11883 3% 1% 17
10 INFORMATION PROCESSING LETTERS 8900 5% 1% 35

Author Key Words



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 WELL STRUCTURED TRANSITION SYSTEMS 564453 2% 93% 13 Search WELL+STRUCTURED+TRANSITION+SYSTEMS Search WELL+STRUCTURED+TRANSITION+SYSTEMS
2 NETS WITHIN NETS 493893 2% 81% 13 Search NETS+WITHIN+NETS Search NETS+WITHIN+NETS
3 INFINITE STATE SYSTEMS 443732 3% 43% 22 Search INFINITE+STATE+SYSTEMS Search INFINITE+STATE+SYSTEMS
4 LOSSY CHANNEL SYSTEMS 280557 1% 100% 6 Search LOSSY+CHANNEL+SYSTEMS Search LOSSY+CHANNEL+SYSTEMS
5 PURE NAMES 187038 1% 100% 4 Search PURE+NAMES Search PURE+NAMES
6 RENEW 163651 1% 50% 7 Search RENEW Search RENEW
7 MULAN 153026 1% 55% 6 Search MULAN Search MULAN
8 DATA WORDS 149629 1% 80% 4 Search DATA+WORDS Search DATA+WORDS
9 COVERABILITY 146120 1% 63% 5 Search COVERABILITY Search COVERABILITY
10 DATA AUTOMATA 140279 0% 100% 3 Search DATA+AUTOMATA Search DATA+AUTOMATA

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



rank cluster_id2 link
1 16703 MODEL CHECKING//PROMELA//PARAMETERIZED SYSTEMS
2 6466 PARITY GAMES//TEMPORAL LOGIC//MODAL MU CALCULUS
3 7503 PARTIAL ORDER SEMANTICS//MAZURKIEWICZ TRACES//MESSAGE SEQUENCE CHARTS
4 3717 TIMED AUTOMATA//TIME PETRI NETS//HYBRID SYSTEMS
5 7234 PROCESS ALGEBRA//PROGRAMMING GRP//MU CRL
6 12098 CONFORMANCE TESTING//ESTELLE//FINITE STATE MACHINE
7 3342 PETRI NETS//DEADLOCK PREVENTION//SIPHON
8 8458 PI CALCULUS//PROCESS CALCULI//SESSION TYPES
9 37615 RELATIONAL TRANSDUCER//CLOUD PROGRAMMING//INTERNET BASED COMMERCE
10 13265 TRANSACTIONAL MEMORY//DATA RACES//CONCURRENCY BUGS

Go to start page