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

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
21338 364 24.7 27%


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 CHAIR SOFTWARE TECHNOL Address 55 92% 6% 22
2 COALGEBRA Author keyword 49 45% 23% 83
3 FINAL COALGEBRA Author keyword 17 79% 3% 11
4 COVARIETY Author keyword 15 82% 2% 9
5 STOCHASTIC RELATIONS Author keyword 15 82% 2% 9
6 PROBABILISTIC RELATIONS Author keyword 6 80% 1% 4
7 RELATION LIFTING Author keyword 6 80% 1% 4
8 COALGEBRAIC LOGIC Author keyword 6 71% 1% 5
9 COVER MODALITY Author keyword 6 100% 1% 4
10 COALGEBRAS Author keyword 5 25% 4% 16

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 COALGEBRA 49 45% 23% 83 Search COALGEBRA Search COALGEBRA
2 FINAL COALGEBRA 17 79% 3% 11 Search FINAL+COALGEBRA Search FINAL+COALGEBRA
3 COVARIETY 15 82% 2% 9 Search COVARIETY Search COVARIETY
4 STOCHASTIC RELATIONS 15 82% 2% 9 Search STOCHASTIC+RELATIONS Search STOCHASTIC+RELATIONS
5 PROBABILISTIC RELATIONS 6 80% 1% 4 Search PROBABILISTIC+RELATIONS Search PROBABILISTIC+RELATIONS
6 RELATION LIFTING 6 80% 1% 4 Search RELATION+LIFTING Search RELATION+LIFTING
7 COALGEBRAIC LOGIC 6 71% 1% 5 Search COALGEBRAIC+LOGIC Search COALGEBRAIC+LOGIC
8 COVER MODALITY 6 100% 1% 4 Search COVER+MODALITY Search COVER+MODALITY
9 COALGEBRAS 5 25% 4% 16 Search COALGEBRAS Search COALGEBRAS
10 COINDUCTION 3 21% 4% 14 Search COINDUCTION Search COINDUCTION

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 TERMINAL COALGEBRAS 17 100% 2% 8
2 COEQUALIZERS 11 100% 2% 6
3 FINAL COALGEBRAS 8 100% 1% 5
4 MEASURABLE SPACES 6 80% 1% 4
5 COALGEBRA 6 34% 4% 14
6 ITERATIVE ALGEBRAS 5 63% 1% 5
7 CORECURSION 4 75% 1% 3
8 SET FUNCTOR 4 75% 1% 3
9 STOCHASTIC RELATIONS 4 75% 1% 3
10 COALGEBRAS 3 17% 5% 19

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 CHAIR SOFTWARE TECHNOL 55 92% 6.0% 22
2 DFKI BREMEN 3 50% 1.1% 4
3 LEHRSTUHL THEORET INFORMAT 1 20% 1.6% 6
4 HAS INESC TEC 1 33% 0.8% 3
5 DI CCTC 1 40% 0.5% 2
6 CNRSUMR 5668UCBLINRIA 1 50% 0.3% 1
7 LOGIC LANGUAGE COMP 1 50% 0.3% 1
8 MATH COMP SCI FB 3 1 50% 0.3% 1
9 P TO PROMOT PROGRAM 1 50% 0.3% 1
10 STATE INTELLIGENT SYST TECHNOL 1 50% 0.3% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000274060 PROCESS ALGEBRA//THREAD ALGEBRA//PROGRAMMING GRP
2 0.0000213360 KLEENE ALGEBRA//RELATION ALGEBRA//JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
3 0.0000151880 ALGEBRAIC SPECIFICATION//REWRITING LOGIC//EQUIVALENT DEDUCTIVE SYSTEMS
4 0.0000130705 APPLIED CATEGORICAL STRUCTURES//THEORY AND APPLICATIONS OF CATEGORIES//APPROACH SPACE
5 0.0000128524 LAMBDA CALCULUS//INTERSECTION TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING
6 0.0000117864 LINEAR LOGIC//COMPUTABILITY LOGIC//PROOF NETS
7 0.0000091634 PROCESS CALCULI//PI CALCULUS//THE PI CALCULUS
8 0.0000078839 AUTOMATIC STRUCTURES//BOREL HIERARCHY//INFINITARY RATIONAL RELATIONS
9 0.0000074911 LAWSON COMPACT//LOCALLY CONVEX CONES//CONTINUOUS POSET
10 0.0000072435 CYLINDRIC ALGEBRAS//NEAT REDUCTS//ALGEBRAIC LOGIC