Class information for:
Level 1: COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA

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
14302 1                   COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA 810

Terms with highest relevance score



rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 COALGEBRA authKW 1827024 13% 43% 109
2 CHAIR SOFTWARE TECHNOL address 659935 3% 81% 21
3 FINAL COALGEBRA authKW 362142 1% 85% 11
4 STOCHASTIC RELATIONS authKW 350174 1% 100% 9
5 PROBABILISTIC TRANSITION SYSTEMS authKW 324232 1% 83% 10
6 COVARIETY authKW 286503 1% 82% 9
7 COALGEBRAIC LOGIC authKW 249009 1% 80% 8
8 PROBABILISTIC PROCESSES authKW 242423 1% 69% 9
9 BISIMULATION authKW 238677 6% 14% 45
10 RELATION LIFTING authKW 194541 1% 100% 5

Web of Science journal categories



chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 54084 70% 0% 570
2 Logic 25433 12% 1% 100
3 Computer Science, Software Engineering 4785 18% 0% 146
4 Mathematics, Applied 1392 17% 0% 141
5 Computer Science, Hardware & Architecture 748 6% 0% 46
6 Computer Science, Information Systems 641 8% 0% 64
7 Mathematics 335 10% 0% 83
8 Computer Science, Artificial Intelligence 57 3% 0% 23
9 Mathematics, Interdisciplinary Applications 6 1% 0% 9
10 Operations Research & Management Science 0 1% 0% 5

Address terms



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 CHAIR SOFTWARE TECHNOL 659935 3% 81% 21
2 CENTRUM INFORMAT SPRACHVERARBEITUNG 77816 0% 100% 2
3 MODELS PLICAT DISTRIBUTED SYST 77816 0% 100% 2
4 LEHRSTUHL THEORET INFORMAT 71134 1% 23% 8
5 DFKI BREMEN 69166 0% 44% 4
6 HAS HIGH ASSURANCE SOFTWARE 51876 0% 67% 2
7 IST STI 51876 0% 67% 2
8 HAS INESC TEC 41496 0% 27% 4
9 ALGEGRA COMP MATH 38908 0% 100% 1
10 AUTON ROBOT AREA 38908 0% 100% 1

Journals



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 81124 4% 6% 34
2 THEORETICAL COMPUTER SCIENCE 75242 18% 1% 145
3 LOGICAL METHODS IN COMPUTER SCIENCE 72040 4% 5% 35
4 INFORMATION AND COMPUTATION 56094 7% 3% 56
5 JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 33328 1% 7% 12
6 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 19841 2% 4% 13
7 LECTURE NOTES IN COMPUTER SCIENCE 16284 24% 0% 193
8 JOURNAL OF LOGIC AND COMPUTATION 12336 2% 2% 18
9 JOURNAL OF COMPUTER AND SYSTEM SCIENCES 10816 3% 1% 25
10 RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS 10772 1% 2% 12

Author Key Words



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 COALGEBRA 1827024 13% 43% 109 Search COALGEBRA Search COALGEBRA
2 FINAL COALGEBRA 362142 1% 85% 11 Search FINAL+COALGEBRA Search FINAL+COALGEBRA
3 STOCHASTIC RELATIONS 350174 1% 100% 9 Search STOCHASTIC+RELATIONS Search STOCHASTIC+RELATIONS
4 PROBABILISTIC TRANSITION SYSTEMS 324232 1% 83% 10 Search PROBABILISTIC+TRANSITION+SYSTEMS Search PROBABILISTIC+TRANSITION+SYSTEMS
5 COVARIETY 286503 1% 82% 9 Search COVARIETY Search COVARIETY
6 COALGEBRAIC LOGIC 249009 1% 80% 8 Search COALGEBRAIC+LOGIC Search COALGEBRAIC+LOGIC
7 PROBABILISTIC PROCESSES 242423 1% 69% 9 Search PROBABILISTIC+PROCESSES Search PROBABILISTIC+PROCESSES
8 BISIMULATION 238677 6% 14% 45 Search BISIMULATION Search BISIMULATION
9 RELATION LIFTING 194541 1% 100% 5 Search RELATION+LIFTING Search RELATION+LIFTING
10 COINDUCTION 175670 2% 27% 17 Search COINDUCTION Search COINDUCTION

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 7234 PROCESS ALGEBRA//PROGRAMMING GRP//MU CRL
2 6466 PARITY GAMES//TEMPORAL LOGIC//MODAL MU CALCULUS
3 20578 FUZZY LANGUAGE//FUZZY AUTOMATA//FUZZY AUTOMATON
4 9739 FORMAL ASPECTS OF COMPUTING//EVENT B//KLEENE ALGEBRA
5 10650 PERFORMABILITY//STOCHASTIC PETRI NETS//STOCHASTIC AUTOMATA NETWORKS
6 33262 CONGRUENCE SIMPLE SEMIRINGS//SEMIMODULES//CONGRUENCE SIMPLE
7 8458 PI CALCULUS//PROCESS CALCULI//SESSION TYPES
8 3042 LINEAR LOGIC//LAMBDA CALCULUS//GAME SEMANTICS
9 3717 TIMED AUTOMATA//TIME PETRI NETS//HYBRID SYSTEMS
10 10214 ALGEBRAIC SPECIFICATION//REWRITING LOGIC//CAFEOBJ

Go to start page