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

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
17598 591 24.7 28%


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
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
708 2             COMPUTER SCIENCE, THEORY & METHODS//JOURNAL OF AUTOMATED REASONING//LAMBDA CALCULUS 12890
17598 1                   COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA 591

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 COALGEBRA authKW 2623761 19% 45% 112
2 CHAIR SOFTWARE TECHNOL address 1000250 4% 88% 22
3 FINAL COALGEBRA authKW 480888 2% 85% 11
4 STOCHASTIC RELATIONS authKW 464995 2% 100% 9
5 COVARIETY authKW 380447 2% 82% 9
6 COALGEBRAIC LOGIC authKW 316453 1% 88% 7
7 COINDUCTION authKW 278972 3% 30% 18
8 RELATION LIFTING authKW 258330 1% 100% 5
9 COVER MODALITY authKW 206664 1% 100% 4
10 PROBABILISTIC RELATIONS authKW 206664 1% 100% 4

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 Computer Science, Theory & Methods 37578 69% 0% 407
2 Logic 24109 14% 1% 83
3 Mathematics, Applied 1472 21% 0% 122
4 Computer Science, Software Engineering 1290 11% 0% 66
5 Mathematics 635 15% 0% 91
6 Computer Science, Information Systems 398 7% 0% 43
7 Computer Science, Hardware & Architecture 373 5% 0% 28
8 Computer Science, Artificial Intelligence 114 4% 0% 25
9 Philosophy 5 1% 0% 4
10 Mathematics, Interdisciplinary Applications 1 1% 0% 5

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 CHAIR SOFTWARE TECHNOL 1000250 4% 88% 22
2 CENTRUM INFORMAT SPRACHVERARBEITUNG 103332 0% 100% 2
3 MODELS PLICAT DISTRIBUTED SYST 103332 0% 100% 2
4 LEHRSTUHL THEORET INFORMAT 94463 1% 23% 8
5 DFKI BREMEN 91846 1% 44% 4
6 HAS HIGH ASSURANCE SOFTWARE 68887 0% 67% 2
7 HAS INESC TEC 55105 1% 27% 4
8 ALGEGRA COMP MATH 51666 0% 100% 1
9 CARL FRIEDRICH GAUSS FAK MATH INFORMAT 51666 0% 100% 1
10 CONSULTORIA INFORMAT SA 51666 0% 100% 1

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 88514 5% 6% 30
2 THEORETICAL COMPUTER SCIENCE 61624 19% 1% 113
3 LOGICAL METHODS IN COMPUTER SCIENCE 51046 4% 4% 25
4 JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 46288 2% 8% 11
5 INFORMATION AND COMPUTATION 37238 7% 2% 39
6 JOURNAL OF COMPUTER AND SYSTEM SCIENCES 14777 4% 1% 25
7 JOURNAL OF LOGIC AND COMPUTATION 12130 3% 2% 15
8 RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS 12024 2% 2% 11
9 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 9974 1% 2% 8
10 LECTURE NOTES IN COMPUTER SCIENCE 7237 19% 0% 112

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 COALGEBRA 2623761 19% 45% 112 Search COALGEBRA Search COALGEBRA
2 FINAL COALGEBRA 480888 2% 85% 11 Search FINAL+COALGEBRA Search FINAL+COALGEBRA
3 STOCHASTIC RELATIONS 464995 2% 100% 9 Search STOCHASTIC+RELATIONS Search STOCHASTIC+RELATIONS
4 COVARIETY 380447 2% 82% 9 Search COVARIETY Search COVARIETY
5 COALGEBRAIC LOGIC 316453 1% 88% 7 Search COALGEBRAIC+LOGIC Search COALGEBRAIC+LOGIC
6 COINDUCTION 278972 3% 30% 18 Search COINDUCTION Search COINDUCTION
7 RELATION LIFTING 258330 1% 100% 5 Search RELATION+LIFTING Search RELATION+LIFTING
8 COVER MODALITY 206664 1% 100% 4 Search COVER+MODALITY Search COVER+MODALITY
9 PROBABILISTIC RELATIONS 206664 1% 100% 4 Search PROBABILISTIC+RELATIONS Search PROBABILISTIC+RELATIONS
10 BISIMULATION 196493 6% 11% 35 Search BISIMULATION Search BISIMULATION

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.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 KUPKE, C , PATTINSON, D , (2011) COALGEBRAIC SEMANTICS OF MODAL LOGICS: AN OVERVIEW.THEORETICAL COMPUTER SCIENCE. VOL. 412. ISSUE 38. P. 5070 -5094 27 77% 7
2 JACOBS, B , SOKOLOVA, A , (2010) EXEMPLARIC EXPRESSIVITY OF MODAL LOGICS.JOURNAL OF LOGIC AND COMPUTATION. VOL. 20. ISSUE 5. P. 1041 -1068 18 90% 10
3 SOKOLOVA, A , (2011) PROBABILISTIC SYSTEMS COALGEBRAICALLY: A SURVEY.THEORETICAL COMPUTER SCIENCE. VOL. 412. ISSUE 38. P. 5095 -5110 21 75% 7
4 SCHRODER, L , PATTINSON, D , (2010) RANK-1 MODAL LOGICS ARE COALGEBRAIC.JOURNAL OF LOGIC AND COMPUTATION. VOL. 20. ISSUE 5. P. 1113 -1147 17 89% 3
5 KUPKE, C , KURZ, A , VENEMA, Y , (2012) COMPLETENESS FOR THE COALGEBRAIC COVER MODALITY.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 8. ISSUE 3. P. - 16 89% 2
6 KURZ, A , ROSICKY, J , (2012) STRONGLY COMPLETE LOGICS FOR COALGEBRAS.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 8. ISSUE 3. P. - 17 81% 1
7 ZHOU, XC , LI, YJ , LI, WJ , QIAO, HY , SHU, ZM , (2015) BISIMULATION PROOF METHODS IN A PATH-BASED SPECIFICATION LANGUAGE FOR POLYNOMIAL COALGEBRAS.MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. VOL. 25. ISSUE 4. P. 765 -804 13 93% 0
8 BLOOM, SL , ESIK, ZS , (1997) THE EQUATIONAL LOGIC OF FIXED POINTS.THEORETICAL COMPUTER SCIENCE. VOL. 179. ISSUE 1-2. P. 1 -60 30 61% 19
9 SCHRODER, L , (2008) EXPRESSIVITY OF COALGEBRAIC MODAL LOGIC: THE LIMITS AND BEYOND.THEORETICAL COMPUTER SCIENCE. VOL. 390. ISSUE 2-3. P. 230-247 16 80% 20
10 DOBERKAT, EE , SCHUBERT, C , (2011) COALGEBRAIC LOGIC OVER GENERAL MEASURABLE SPACES - A SURVEY.MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. VOL. 21. ISSUE 2. P. 175 -234 14 88% 2

Classes with closest relation at Level 1


Rank Class id link
1 2581 PROCESS ALGEBRA//PROGRAMMING GRP//EVENT STRUCTURES
2 37103 PARTIAL ENUMERATED SET//ACCEPTABLE NUMERATION//CONSTRUCTIVE FUNCTOR
3 16131 FUZZY LANGUAGE//TREE TRANSDUCER//FUZZY AUTOMATA
4 10757 ALGEBRAIC SPECIFICATION//CAFEOBJ//BISS
5 5729 LAMBDA CALCULUS//GAME SEMANTICS//INTERSECTION TYPES
6 7299 FORMAL ASPECTS OF COMPUTING//KLEENE ALGEBRA//EVENT B
7 8988 JOURNAL OF FUNCTIONAL PROGRAMMING//ACM SIGPLAN NOTICES//HASKELL
8 29138 CONGRUENCE SIMPLE SEMIRINGS//SEMIMODULES//ALGEBRA OF FRACTIONS
9 13313 PUSHDOWN SYSTEMS//PARITY GAMES//AUTOMATIC STRUCTURES
10 12527 ADMISSIBLE RULES//CYLINDRIC ALGEBRAS//ALGEBRAIC LOGIC

Go to start page