Class information for:
Level 3: COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING

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
704 2             ACM SIGPLAN NOTICES//COMPUTER SCIENCE, SOFTWARE ENGINEERING//LANGUAGES 13317
1649 2             THEORETICAL COMPUTER SCIENCE//FORMAL LANGUAGES//DESCRIPTIONAL COMPLEXITY 7191
1846 2             MV ALGEBRA//LOGIC//EFFECT ALGEBRA 6458
2106 2             SEMIGROUP FORUM//SOFT SET//SOFT SETS 5502
2527 2             CONSTRAINTS//PROOF COMPLEXITY//BOUNDED ARITHMETIC 4040
2531 2             JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//TERM REWRITING 4027
2869 2             ALGEBRA UNIVERSALIS//NATURAL DUALITY//CONGRUENCE LATTICE 3135

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 COMPUTER SCIENCE, THEORY & METHODS WoSSC 1422791 41% 12% 26407
2 LECTURE NOTES IN COMPUTER SCIENCE journal 848755 19% 14% 12524
3 COMPUTER SCIENCE, SOFTWARE ENGINEERING WoSSC 792348 26% 10% 16692
4 ACM SIGPLAN NOTICES journal 715585 4% 55% 2685
5 LOGIC WoSSC 701379 7% 31% 4720
6 THEORETICAL COMPUTER SCIENCE journal 663361 6% 36% 3874
7 ALGEBRA UNIVERSALIS journal 486676 2% 75% 1352
8 LANGUAGES authKW 320135 2% 50% 1344
9 INFORMATION AND COMPUTATION journal 294781 2% 53% 1154
10 VERIFICATION authKW 268650 2% 40% 1414

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 1422791 41% 12% 26407
2 Computer Science, Software Engineering 792348 26% 10% 16692
3 Logic 701379 7% 31% 4720
4 Mathematics 125507 20% 2% 13079
5 Computer Science, Information Systems 78584 10% 3% 6252
6 Computer Science, Artificial Intelligence 74165 9% 3% 6110
7 Computer Science, Hardware & Architecture 69542 6% 4% 3960
8 Mathematics, Applied 55370 13% 2% 8255
9 Philosophy 25081 3% 3% 2165
10 COMPUTER APPLICATIONS & CYBERNETICS 2599 0% 5% 124

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 COMP SCI 258205 14% 6% 9413
2 INFORMAT 82813 4% 7% 2530
3 DIPARTIMENTO INFORMAT 76650 1% 23% 705
4 LSV 68585 0% 73% 195
5 LIAFA 57447 0% 40% 298
6 PROGRAMMING GRP 44287 0% 88% 105
7 COMP 40748 2% 6% 1498
8 DIPARTIMENTO SCI INFORMAZ 36038 0% 33% 230
9 FDN COMP SCI 32113 0% 56% 119
10 MATH 29247 9% 1% 5894

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 LECTURE NOTES IN COMPUTER SCIENCE 848755 19% 14% 12524
2 ACM SIGPLAN NOTICES 715585 4% 55% 2685
3 THEORETICAL COMPUTER SCIENCE 663361 6% 36% 3874
4 ALGEBRA UNIVERSALIS 486676 2% 75% 1352
5 INFORMATION AND COMPUTATION 294781 2% 53% 1154
6 SEMIGROUP FORUM 257335 2% 48% 1123
7 SCIENCE OF COMPUTER PROGRAMMING 215739 1% 52% 856
8 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 199157 1% 66% 623
9 JOURNAL OF AUTOMATED REASONING 185015 1% 73% 523
10 LOGICAL METHODS IN COMPUTER SCIENCE 171381 1% 73% 485

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 LANGUAGES 320135 2% 50% 1344 Search LANGUAGES Search LANGUAGES
2 VERIFICATION 268650 2% 40% 1414 Search VERIFICATION Search VERIFICATION
3 MODEL CHECKING 235082 1% 56% 879 Search MODEL+CHECKING Search MODEL+CHECKING
4 ABSTRACT INTERPRETATION 146266 1% 88% 344 Search ABSTRACT+INTERPRETATION Search ABSTRACT+INTERPRETATION
5 TEMPORAL LOGIC 139762 1% 65% 447 Search TEMPORAL+LOGIC Search TEMPORAL+LOGIC
6 MV ALGEBRA 135216 0% 89% 316 Search MV+ALGEBRA Search MV+ALGEBRA
7 SOFTWARE TESTING 133037 1% 63% 439 Search SOFTWARE+TESTING Search SOFTWARE+TESTING
8 CONCURRENCY 130498 1% 52% 518 Search CONCURRENCY Search CONCURRENCY
9 FORMAL LANGUAGES 122809 1% 67% 379 Search FORMAL+LANGUAGES Search FORMAL+LANGUAGES
10 LAMBDA CALCULUS 113096 0% 87% 271 Search LAMBDA+CALCULUS Search LAMBDA+CALCULUS

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 3


rank cluster_id2 link
1 31 COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
2 458 LOGIC//JOURNAL OF SYMBOLIC LOGIC//TOPOLOGY AND ITS APPLICATIONS
3 295 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE//IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS//IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
4 216 DISCRETE MATHEMATICS//JOURNAL OF GRAPH THEORY//MATHEMATICS
5 36 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, HARDWARE & ARCHITECTURE//COMPUTER SCIENCE, INFORMATION SYSTEMS
6 524 IEEE TRANSACTIONS ON RELIABILITY//RELIABILITY ENGINEERING & SYSTEM SAFETY//MICROELECTRONICS AND RELIABILITY
7 449 CRYPTOGRAPHY//COMPUTER SCIENCE, THEORY & METHODS//DIGITAL SIGNATURE
8 229 FUZZY SETS AND SYSTEMS//JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT//JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT-ASCE
9 653 INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION//IEEE TRANSACTIONS ON EDUCATION//COMPUTER APPLICATIONS IN ENGINEERING EDUCATION
10 223 PHILOSOPHY//PHILOSOPHICAL STUDIES//PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH

Go to start page