Class information for:
Level 1: PARITY GAMES//TEMPORAL LOGIC//MODAL MU CALCULUS

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
6466 1                   PARITY GAMES//TEMPORAL LOGIC//MODAL MU CALCULUS 1509

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 PARITY GAMES authKW 466720 2% 72% 31
2 TEMPORAL LOGIC authKW 321860 7% 15% 103
3 MODAL MU CALCULUS authKW 306865 2% 64% 23
4 MODEL CHECKING authKW 289256 10% 9% 148
5 MU CALCULUS authKW 214397 2% 38% 27
6 BOREL HIERARCHY authKW 195778 1% 63% 15
7 BUCHI AUTOMATA authKW 167636 1% 47% 17
8 INFINITARY RATIONAL RELATIONS authKW 146189 0% 100% 7
9 OMEGA AUTOMATA authKW 141165 1% 52% 13
10 ALTERNATING TIME TEMPORAL LOGIC authKW 140964 1% 75% 9

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 87800 66% 0% 992
2 Logic 53004 13% 1% 197
3 Computer Science, Software Engineering 9815 19% 0% 285
4 Computer Science, Information Systems 3028 12% 0% 184
5 Computer Science, Hardware & Architecture 2585 8% 0% 115
6 Mathematics, Applied 1755 15% 0% 220
7 Computer Science, Artificial Intelligence 1222 8% 0% 121
8 Mathematics 448 9% 0% 135
9 COMPUTER APPLICATIONS & CYBERNETICS 189 0% 0% 5
10 Philosophy 55 1% 0% 18

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 EQUIPE LOG MATH 120437 2% 19% 30
2 REACT SYST GRP 93025 0% 64% 7
3 LIAFA 85154 4% 7% 55
4 LEHRSTUHL INFORMAT 7 49281 1% 20% 12
5 LUFG MATH GRUNDLAGEN INFORMAT 46988 0% 75% 3
6 CHAIR INFORMAT DISCRETE MATH 41768 0% 100% 2
7 EQUIP LOG MATH 41768 0% 100% 2
8 ERSHOV INFORMAT SYST 39194 1% 14% 13
9 PARLEVINK GRP 37589 0% 60% 3
10 LFCS 31774 1% 12% 13

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 LOGICAL METHODS IN COMPUTER SCIENCE 63896 3% 7% 45
2 INFORMATION AND COMPUTATION 58375 5% 4% 78
3 LECTURE NOTES IN COMPUTER SCIENCE 58341 33% 1% 497
4 FORMAL METHODS IN SYSTEM DESIGN 49902 2% 7% 35
5 THEORETICAL COMPUTER SCIENCE 47824 10% 1% 158
6 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 31522 2% 7% 23
7 JOURNAL OF LOGIC AND COMPUTATION 25039 2% 3% 35
8 RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS 22757 1% 5% 21
9 RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS 11596 1% 3% 17
10 INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE 10250 1% 2% 22

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 PARITY GAMES 466720 2% 72% 31 Search PARITY+GAMES Search PARITY+GAMES
2 TEMPORAL LOGIC 321860 7% 15% 103 Search TEMPORAL+LOGIC Search TEMPORAL+LOGIC
3 MODAL MU CALCULUS 306865 2% 64% 23 Search MODAL+MU+CALCULUS Search MODAL+MU+CALCULUS
4 MODEL CHECKING 289256 10% 9% 148 Search MODEL+CHECKING Search MODEL+CHECKING
5 MU CALCULUS 214397 2% 38% 27 Search MU+CALCULUS Search MU+CALCULUS
6 BOREL HIERARCHY 195778 1% 63% 15 Search BOREL+HIERARCHY Search BOREL+HIERARCHY
7 BUCHI AUTOMATA 167636 1% 47% 17 Search BUCHI+AUTOMATA Search BUCHI+AUTOMATA
8 INFINITARY RATIONAL RELATIONS 146189 0% 100% 7 Search INFINITARY+RATIONAL+RELATIONS Search INFINITARY+RATIONAL+RELATIONS
9 OMEGA AUTOMATA 141165 1% 52% 13 Search OMEGA+AUTOMATA Search OMEGA+AUTOMATA
10 ALTERNATING TIME TEMPORAL LOGIC 140964 1% 75% 9 Search ALTERNATING+TIME+TEMPORAL+LOGIC Search ALTERNATING+TIME+TEMPORAL+LOGIC

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 15347 TEMPORAL LOGIC OF ACTIONS//COMMITTEE COORDINATION//INVARIANCE UNDER STUTTERING
3 31065 TEMPORAL LOGIC PROGRAMMING//COMP THEORY TECHNOL//CARD BASED PROTOCOLS
4 7234 PROCESS ALGEBRA//PROGRAMMING GRP//MU CRL
5 16565 WELL STRUCTURED TRANSITION SYSTEMS//NETS WITHIN NETS//LSV
6 14051 ORDERED BINARY DECISION DIAGRAMS//BINARY DECISION DIAGRAMS//BDDS
7 3717 TIMED AUTOMATA//TIME PETRI NETS//HYBRID SYSTEMS
8 14302 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
9 24707 BRANCHING SPACE TIMES//STIT//DEONTIC LOGIC
10 26527 RUNTIME VERIFICATION//RUNTIME ENFORCEMENT//RUNTIME MONITORING

Go to start page